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

[thumbnail of Navarro_iberamia04.pdf]

Download (196kB)


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
UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/1361365
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item