Abstract
The process of explaining a piece of evidence by constructing a set of assumptions that are a good explanation for that evidence is ubiquitous in real-life (e.g. in legal systems). In this paper, we introduce, discuss, and formalise the notion of stable explanations in a non-monotonic setting. We show how, while applying it to the process of (1) computing a set of literals able to (2) derive a conclusion (3) from a set of defeasible rules, we obtain a restricted version of the notion of abduction. This is both interesting and useful: when an explanation for a given conclusion is stable, it can, in fact, be used to infer the same conclusion independently of other pieces of evidence that are found afterwards.
| Original language | English |
|---|---|
| Title of host publication | Logic Programming and Nonmonotonic Reasoning |
| Subtitle of host publication | 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings |
| Editors | Georg Gottlob, Daniela Inclezan, Marco Maratea |
| Place of Publication | Cham, Switzerland |
| Publisher | Springer |
| Pages | 245-258 |
| Number of pages | 14 |
| Volume | 13416 |
| ISBN (Electronic) | 9783031157073 |
| ISBN (Print) | 9783031157066 |
| DOIs | |
| Publication status | Published - 2022 |
| Event | 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022 - Collegio Emiliani, Genova, Italy Duration: 05 Sept 2022 → 09 Sept 2022 http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154227 (Call for papers) https://sites.google.com/view/lpnmr2022 (Conference website) |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 13416 LNAI |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022 |
|---|---|
| Country/Territory | Italy |
| City | Genova |
| Period | 05/09/22 → 09/09/22 |
| Other | LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program. LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. |
| Internet address |
|