CINECA IRIS Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.
AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.
EnglishIn 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 |
File in questo prodotto:
http://hdl.handle.net/2318/103399
Copyright © 2020