Oubli de littéraux avec symboles propositionnels variables

Yves Moinard 1
1 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Résumé : Récemment, la notion d'oubli de symboles propositionnels (réduction du vocabulaire) a été généralisée en une notion plus fine d'oubli de littéraux. Le but est de fournir des méthodes constructives facilitant le calcul effectif de divers formalismes de représentation des connaissances. La notion est encore étendue ici, de façon à permettre à des symboles propositionnels de varier. Les définitions (syntaxiques et sémantiques) constituent une extension naturelle des notions précédentes. L'application au calcul effectif de la circonscription est détaillée. L'apport des symboles autorisés à varier est clair dans ce cas: les deux étapes des méthodes antérieures sont réduites à une seule. Cela permet de réexaminer un résultat vieux de quinze ans, et de fournir des points de départ en vue d'une extension à d'autres formalismes connus.
Type de document :
Communication dans un congrès
Patrick Bouthemy and Yves Demazeau. RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle), 2006, Tours, France. AFRIF-AFIA, pp.120 (1-10), 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00463800
Contributeur : René Quiniou <>
Soumis le : lundi 15 mars 2010 - 10:33:52
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

  • HAL Id : inria-00463800, version 1

Citation

Yves Moinard. Oubli de littéraux avec symboles propositionnels variables. Patrick Bouthemy and Yves Demazeau. RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle), 2006, Tours, France. AFRIF-AFIA, pp.120 (1-10), 2006. 〈inria-00463800〉

Partager

Métriques

Consultations de la notice

224