Cas décidables par marche arrière pour des règles existentielles - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2010

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

Michaël Thomazo

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.
Fichier non déposé

Dates et versions

lirmm-00551570 , version 1 (04-01-2011)

Identifiants

  • HAL Id : lirmm-00551570 , version 1
  • PRODINRA : 246672

Citer

Michaël Thomazo. Cas décidables par marche arrière pour des règles existentielles. Journée d'Intelligence Artificielle Fondamentale, 2010, France. pp.011-021. ⟨lirmm-00551570⟩
101 Consultations
0 Téléchargements

Partager

More