Abstract
Defeasible logic (DL) promotes enthymemic, argumentative reasoning on incomplete set of premisses retracted on the presence of contrary information. Defeasible Prolog (d-Prolog) is a Prolog metainterpreter to implement DL. We give proof conditions for the even-if clauses of DL with the pre-emption of defeaters to prevent rules from rebutting more specific rules, implemented in d-Prolog.
| Original language | English |
|---|---|
| Title of host publication | ECAI 2004 - 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems, PAIS 2004 - Proceedings |
| Editors | Ramon Lopez de Mantaras, Lorenza Saitta |
| Publisher | IOS Press |
| Pages | 1075-1076 |
| Number of pages | 2 |
| ISBN (Print) | 9781586034528 |
| Publication status | Published - 22 Aug 2004 |
| Event | 16th European Conference on Artificial Intelligence, ECAI 2004 - Valencia, Spain Duration: 22 Aug 2004 → 27 Aug 2004 https://dl.acm.org/doi/proceedings/10.5555/3000001 |
Publication series
| Name | Frontiers in Artificial Intelligence and Applications |
|---|---|
| Volume | 110 |
| ISSN (Print) | 0922-6389 |
| ISSN (Electronic) | 1879-8314 |
Conference
| Conference | 16th European Conference on Artificial Intelligence, ECAI 2004 |
|---|---|
| Country/Territory | Spain |
| City | Valencia |
| Period | 22/08/04 → 27/08/04 |
| Internet address |