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
![[thumbnail of Navarro_iberamia04.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
Navarro_iberamia04.pdf Download (196kB) |
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 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 |
Archive Staff Only
 |
View Item |
