We describe a system that, given a theory of an answer-set programming (ASP) system psgrnd, generates its informal reading in natural language. That reading helps understand the psgrnd theory, and verify its correctness or identify programming errors. Similar tools can be developed for other ASP formalisms. To this end, the basic language used by the system has to be extended to allow the programmer provide (minimal) additional information on how to understand atomic concepts, of which the theory (program) is built.
展开▼