{"type":"ScholarlyArticle","title":"Lossless Semantic Round-Tripping in PENG ASP","authors":[{"name":"Rolf Schwitter","slug":"rolf-schwitter","given":"Rolf","family":"Schwitter","affiliation":"Macquarie University , Sydney , Australia"}],"abstract":"The PENG ASP system supports the writing of textual specifications with the help of a smart text editor that possesses knowledge about the structure of the specification language. Specifications written in PENG ASP are incrementally translated into executable answer set programs and vice versa. That means the system allows for lossless semantic round-tripping between a human-readable specification and an answer set program. This functionality is achieved by a single bi-directional logic grammar that serves at the same time as a text processor and a text generator. We demonstrate that the PENG ASP system can be used to bridge the gap between a (seemingly) informal specification and an executable answer set program.","doi":"10.24963/ijcai.2020/773","url":"https://ijcai.org/proceedings/2020/773","pdf":"https://ijcai.org/proceedings/2020/0773.pdf","markdown":"https://ijcai.org/proceedings/2020/773.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/773","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Demos","track":"Demos","number":773,"pages":{"first":5291,"last":5293},"keywords":["Knowledge Representation and Reasoning: general","Human-Computer Interactive Systems: general","Natural Language Processing: general"],"videos":[],"references":[{"position":1,"raw":"[Berry and Kamsties, 2004] Daniel M. Berry and Erik Kam- sties. Ambiguity in requirements specification. In Per- spectives on Software Requirements, volume 753 of SECS, pages 7-44. Springer, 2004.","title":"Ambiguity in requirements specification","authors":"Daniel M Berry, Erik Kamsties","year":"2004","venue":"Perspectives on Software Requirements","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Bowen and Hinchey, 2006] Jonathan Bowen and Michael Hinchey. Ten commandments of formal methods ... ten years later. Computer, 39:40-48, 2006.","title":"Ten commandments of formal methods","authors":"Hinchey Bowen, Jonathan Bowen, Michael Hinchey","year":"2006","venue":"Computer","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Dalpiaz et al., 2018] Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, and Cristina Palomares. Natural language processing for requirements engineering: The best is yet to come. IEEE Software, 35(5):115-119, 2018.","title":"Natural language processing for requirements engineering: The best is yet to come","authors":"Fabiano Dalpiaz, Alessio Ferrari, Xavier Franch, Cristina Palomares","year":"2018","venue":"IEEE Software","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Fuchs et al., 2008] Norbert E. Fuchs, Kaarel Kaljurand, and Tobias Kuhn. Attempto Controlled English for knowledge representation. In Reasoning Web, volume 5224 of LNCS, pages 104-124. Springer, 2008.","title":"Attempto Controlled English for knowledge representation","authors":"Norbert E Fuchs, Kaarel Kaljurand, Tobias Kuhn","year":"2008","venue":"Reasoning Web","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Gebser et al., 2019] Martin Gebser, Roland Kaminski, Ben- jamin Kaufmann, Marius Lindauer, Max Ostrowski, Javier Romero, Torsten Schaub, Sven Thiele, and Philipp Wanko. Potassco User Guide, Version 2.2.0, 2019.","title":"Potassco User Guide","authors":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Marius Lindauer, Max Ostrowski, Javier Romero, Torsten Schaub, Sven Thiele, Philipp Wanko","year":"2019","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Guy and Schwitter, 2017] Stephen Guy and Rolf Schwitter. The PENG ASP system: Architecture, language and author- ing tool. Journal of Language Resources and Evaluation, Controlled Natural Language, 51:67-92, 2017.","title":"The PENG ASP system: Architecture, language and authoring tool","authors":"Schwitter ; Guy, Stephen Guy, Rolf Schwitter","year":"2017","venue":"Journal of Language Resources and Evaluation, Controlled Natural Language","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Kowalski and Sergot, 1986] Robert Kowalski and Marek Sergot. A logic-based calculus of events. New Genera- tion Computing, 4:67-94, 1986.","title":"A logic-based calculus of events","authors":"Robert Kowalski, Marek Sergot","year":"1986","venue":"New Generation Computing","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Kuhn, 2014] Tobias Kuhn. A survey and classification of controlled natural languages. Computational Linguistics, 40(1):121-170, 2014.","title":"A survey and classification of controlled natural languages","authors":"Tobias Kuhn, Kuhn","year":"2014","venue":"Computational Linguistics","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Lee and Palla, 2012] Joohyung Lee and Ravi Palla. Refor- mulating temporal action logics in answer set program- ming. In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI), pages 786-792, 2012.","title":"Joohyung Lee and Ravi Palla. Reformulating temporal action logics in answer set programming","authors":"Palla Lee","year":"2012","venue":"Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[McCain and Turner, 1995] Norman McCain and Hudson Turner. A causal theory of ramifications and qualifications. pages 1978-1984, 1995.","title":"Norman McCain and Hudson Turner. A causal theory of ramifications and qualifications","authors":"Turner Mccain","year":"1995","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Mueller, 2015] Erik T. Mueller. Commonsense Reasoning: An Event Calculus Based Approach. Morgan Kaufmann; Second Edition, 2015.","title":"Commonsense Reasoning: An Event Calculus Based Approach","authors":"Erik T Mueller","year":"2015","venue":null,"doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Parnas, 2010] David L. Parnas. Really rethinking 'formal methods'. Computer, 43:28-34, 2010.","title":"Really rethinking 'formal methods","authors":"L David, Parnas","year":"2010","venue":"Computer","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Schwitter, 2018] Rolf Schwitter. Specifying and verbalis- ing answer set programs in controlled natural language. Journal of Theory and Practice of Logic Programming, 18:691-705, 2018.","title":"Specifying and verbalising answer set programs in controlled natural language","authors":"Rolf Schwitter","year":"2018","venue":"Journal of Theory and Practice of Logic Programming","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Schwitter, 2019] Rolf Schwitter. Augmenting an answer set based controlled natural language with temporal expres- sions. In PRICAI 2019: Trends in Artificial Intelligence, volume 11670 of LNAI, pages 500-513. Springer, 2019.","title":"Augmenting an answer set based controlled natural language with temporal expressions","authors":"Rolf Schwitter","year":"2019","venue":"PRICAI 2019: Trends in Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Shanahan, 1999] Murray Shanahan. The ramification prob- lem in the event calculus. In IJCAI'99: Proceedings of the 16th International Joint Conference on Artifical Intel- ligence, volume 1, pages 140-146, July 1999.","title":"The ramification problem in the event calculus","authors":"Murray Shanahan, Shanahan","year":"1999","venue":"IJCAI'99: Proceedings of the 16th International Joint Conference on Artifical Intelligence","doi":null,"url":null,"internal_url":"/proceedings/1999/21"}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}