Reasoning about actions and knowledge in Answer-Set Programming

Stage M2R, Unversité Paul Sabatier, février-juin 2015

Encadrement : Luis Fariñas del Cerro, Andreas Herzig (IRIT-LILaC), David Pearce (Universidad Politecnica de Madrid)

Description

Answer-Set Programming (ASP) is a reasoning mechanism with manifold applications and efficient deduction mechanisms. The aim of the internship is to study how reasoning about actions and and reasoning about knowledge could be done within the ASP paradigm. While the non-monotonicity of ASP-based reasoning offers a natural solution to the frame problem in reason about actions, the existing approaches however have a somewhat ad-hoc nature. As far as reasoning about knowledge is concerned, almost no work exists up to now.

The approach to be followed will start from the intuitionistic logic of here-and-there and the equilibrium semantics of ASP [Pearce, 1996 ; Lifschitz et al., 2001], which provide a neat and clear-cut logical basis of ASP. The extension of that framework by epistemic and dynamic operators should provide a basis for ASP-based reasoning about knowledge and action. First steps in order to combine equilibrium logic and dynamic logic were undertaken in [Fariñas del Cerro et al., 2013].

The internship will be supervised by Luis Fariñas del Cerro and Andreas Herzig from IRIT (www.irit.fr/~Andreas.Herzig) and David Pearce from Universidad Politecnica de Madrid (http://www.ia.urjc.es/~dpearce), in the framework of a Laboratoire Européen Associé (LEA) that is supported by the French CNRS and the Universidad Politecnica de Madrid. It will involve a stay in Madrid.

References

• David Pearce. A new logical characterisation of stable models and answer sets. In Jürgen Dix, Luis Moniz Pereira, and Teodor C. Przymusinski, editors, NMELP, volume 1216 of Lecture Notes in Computer Science, pages 57–70. Springer Verlag, 1996.
• Vladimir Lifschitz, David Pearce, and Agust´ın Valverde. Strongly equivalent logic programs. ACM Transactions on Computational Logic, 2(4):526–541, 2001.
• Luis Fariñas del Cerro, Andreas Herzig, and Ezgi Iraz Su. Combining equilibrium logic and dynamic logic. In Pedro Cabalar and Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings, volume 8148 of Lecture Notes in Computer Science, pages 304–316. Springer, 2013.