Lossless Semantic Round-Tripping in PENG ASP

Rolf Schwitter
2020 Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence  
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
more » ... 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 dblp:conf/ijcai/Schwitter20 fatcat:dtnq6wujpzgftb3ub2mgox4vcm