In this paper we propose a modal approach for reasoning about actions in a logic programming framework. We introduce a modal language which makes use of abductive assumptions to deal with persistency, and provides a solution to the ramification problem, by allowing one-way ldquocausal rulesrdquo to be defined among fluents. We define the abductive semantics of the language and a goal directed abductive proof procedure to compute abductive solutions for a goal from a given domain description. Both the semantics and the procedure are defined within the argumentation framework. In particular, we focus on a specific semantics, which is essentially an extension of Dung's admissibility semantics to a modal setting. The proof procedure is proved to be sound with respect to this semantics.
Titolo: | An Abductive Procedure for Reasoning about Actions in Modal Logic Programming | |
Autori Riconosciuti: | ||
Autori: | M. Baldoni; L. Giordano; A. Martelli; V. Patti | |
Data di pubblicazione: | 1997 | |
Abstract: | In this paper we propose a modal approach for reasoning about actions in a logic programming framework. We introduce a modal language which makes use of abductive assumptions to deal with persistency, and provides a solution to the ramification problem, by allowing one-way ldquocausal rulesrdquo to be defined among fluents. We define the abductive semantics of the language and a goal directed abductive proof procedure to compute abductive solutions for a goal from a given domain description. Both the semantics and the procedure are defined within the argumentation framework. In particular, we focus on a specific semantics, which is essentially an extension of Dung's admissibility semantics to a modal setting. The proof procedure is proved to be sound with respect to this semantics. | |
Editore: | Springer | |
Titolo del libro: | Post-Proc. of Non-Monotonic Extensions of Logic Programming Second International Workshop, NMELP '96, Selected Papers | |
Volume: | 1216 | |
Pagina iniziale: | 132 | |
Pagina finale: | 150 | |
Digital Object Identifier (DOI): | 10.1007/BFb0023805 | |
ISBN: | 978-3-540-62843-9 978-3-540-68702-3 | |
Appare nelle tipologie: | 02A-Contributo in volume |