Cas décidables par marche arrière pour des règles existentielles

Michaël Thomazo 1
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
Résumé : Nous nous intéressons à un problème de décision consistant à savoir s'il est possible de trouver une réponse à une requête conjonctive dans une base de connaissances composée d'une base de données et d'une ontologie décrite par un ensemble de règles. Ce problème indécidable impacte de nombreux domaines (logiques de description, bases de données...). Dans cet article, nous prouvons qu'une adaptation des règles sticky (Calì et al. (2010)) sont à unification finie (une classe abstraite assurant l'arrêt du mécanisme de marche arrière) et généralisons ce cas aux frontier-sticky. Nous proposons également un panorama de toutes les classes à unification finie connues.
Type de document :
Communication dans un congrès
Journée d'Intelligence Artificielle Fondamentale, France. pp.011-021, 2010
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00551570
Contributeur : Thomazo Michaël <>
Soumis le : mardi 4 janvier 2011 - 10:08:38
Dernière modification le : jeudi 24 mai 2018 - 15:59:22

Identifiants

  • HAL Id : lirmm-00551570, version 1

Collections

Citation

Michaël Thomazo. Cas décidables par marche arrière pour des règles existentielles. Journée d'Intelligence Artificielle Fondamentale, France. pp.011-021, 2010. 〈lirmm-00551570〉

Partager

Métriques

Consultations de la notice

114