Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Denecker, M.: A knowledge base system project for FO(.). In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, p. 22. Springer, Heidelberg (2009)
Denecker, M., Ternovska, E.: A logic for non-monotone inductive definitions. ACM Transactions on Computational Logic 9(2) (2008)
East, D., Iakhiaev, M., Mikitiuk, A., Truszczyński, M.: Tools for modeling and solving search problems. AI Communications 19(4), 301–312 (2006)
East, D., Truszczyński, M.: Predicate-calculus based logics for modeling and solving search problems. ACM Transactions on Computational Logic 7, 38–83 (2006)
Febbraro, O., Reale, K., Ricca, F.: ASPIDE: Integrated development environment for answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 317–330. Springer, Heidelberg (2011)
Mikitiuk, A., Moseley, E., Truszczynski, M.: Towards debugging of answer-set programs in the language pspb. In: Proceedings of the 2007 International Conference on Artificial Intelligence, ICAI 2007, pp. 635–640 (2007)
Oetsch, J., Prischink, M., Pührer, J., Schwengerer, M., Tompits, H.: On the small-scope hypothesis for testing answer-set programs. In: Brewka, G., Eiter, T., McIlraith, S.A. (eds.) Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning, KR 2012. AAAI Press (2012)
Oetsch, J., Pührer, J., Tompits, H.: The sealion has landed: An ide for answer-set programming—preliminary report. CoRR abs/1109.3989 (2011)
Vos, M.D., Kisa, D.G., Oetsch, J., Pührer, J., Tompits, H.: Annotating answer-set programs in lana. Theory and Practice of Logic Programming 12(4-5), 619–637 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mikitiuk, A., Truszczynski, M. (2013). Implementing Informal Semantics of ASP. In: Cabalar, P., Son, T.C. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2013. Lecture Notes in Computer Science(), vol 8148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40564-8_43
Download citation
DOI: https://doi.org/10.1007/978-3-642-40564-8_43
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40563-1
Online ISBN: 978-3-642-40564-8
eBook Packages: Computer ScienceComputer Science (R0)