UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Answer Set Programming and S4

Osorio, M; Pérez, JAN; (2004) Answer Set Programming and S4. In: Lemaître, C and García, CAR and González, JA, (eds.) Advances in Artificial Intelligence – IBERAMIA 2004. 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004. Proceedings. (353 - 363). Springer Berlin Heidelberg Green open access

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
192Kb

Abstract

We develop some ideas in order to obtain a nonmonotonic reasoning system based on the modal logic S4. As a consequence we show how to express the well known answer set semantics using a restricted fragment of modal formulas. Moreover, by considering the full set of modal formulas, we obtain an interesting generalization of answer sets for logic programs with modal connectives. We also depict, by the use of examples, possible applications of this inference system. It is also possible to replace the modal logic S4 with any other modal logic to obtain similar nonmonotonic systems. We even consider the use of multimodal logics in order to model the knowledge and beliefs of agents in a scenario where their ability to reason about each other’s knowledge is relevant. Our results clearly state interesting links between answer sets, modal logics and multi-agent systems.

Type:Book chapter
Title:Answer Set Programming and S4
ISBN-13:978-3-540-23806-5
Open access status:An open access version is available from UCL Discovery
DOI:10.1007/978-3-540-30498-2_36
Publisher version:http://dx.doi.org/10.1007/978-3-540-30498-2_36
Additional information:This is the authors' accepted version of this published article. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-30498-2_36
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

View download statistics for this item

Archive Staff Only: edit this record