Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics

Abdallah Arioua 1, 2 Nouredine Tamani 1 Madalina Croitoru 1 Jérôme Fortin 1, 2 Patrice Buche 1, 2
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : The paper investigates the relation between inconsistencytolerant semantics (AR-semantics and Brave-semantics) and a class of default theories in Reiter’s Default Logic called semi-monotonic default theories. We show that any inconsistent knowledge base can be interpreted as a normal closed default theory by means of a polynomial mapping that maps every fact to a default. As result we prove a relation between inference in Reiter’s Default Logic (sceptical and credulous entailment) and inconsistency-tolerant semantics (AR and Brave entailment). In addition, by means of such relation we prove certain properties that will serve as a basis for an anytime algorithm that provides an approximate solution to AR-entailment whenever interrupted.
Document type :
Conference papers
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01164696
Contributor : Abdallah Arioua <>
Submitted on : Wednesday, June 17, 2015 - 3:29:05 PM
Last modification on : Friday, March 29, 2019 - 9:12:10 AM

Identifiers

Collections

Citation

Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Jérôme Fortin, Patrice Buche. Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics. ICAISC: International Conference on Artificial Intelligence and Soft Computing, Jun 2015, Zakopane, Poland. pp.554-564, ⟨10.1007/978-3-319-19369-4_49⟩. ⟨lirmm-01164696⟩

Share

Metrics

Record views

223