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.
Type de document :
Communication dans un congrès
Rutkowski, L.; Korytkowski, M.; Scherer, R.; Tadeusiewicz, R.; Zadeh, L.A.; Zurada, J.M. ICAISC: International Conference on Artificial Intelligence and Soft Computing, Jun 2015, Zakopane, Poland. Springer, 14th International Conference on Artificial Intelligence and Soft Computing (ICAISC'2015), Lecture Notes in Computer Science (9120), pp.554-564, 2015, Artificial Intelligence and Soft Computing. 〈10.1007/978-3-319-19369-4_49〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01164696
Contributeur : Abdallah Arioua <>
Soumis le : mercredi 17 juin 2015 - 15:29:05
Dernière modification le : jeudi 11 janvier 2018 - 17:01:51

Identifiants

Citation

Abdallah Arioua, Nouredine Tamani, Madalina Croitoru, Jérôme Fortin, Patrice Buche. Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics. Rutkowski, L.; Korytkowski, M.; Scherer, R.; Tadeusiewicz, R.; Zadeh, L.A.; Zurada, J.M. ICAISC: International Conference on Artificial Intelligence and Soft Computing, Jun 2015, Zakopane, Poland. Springer, 14th International Conference on Artificial Intelligence and Soft Computing (ICAISC'2015), Lecture Notes in Computer Science (9120), pp.554-564, 2015, Artificial Intelligence and Soft Computing. 〈10.1007/978-3-319-19369-4_49〉. 〈lirmm-01164696〉

Partager

Métriques

Consultations de la notice

110