|
Yves Moinard
Oubli de littéraux avec symboles propositionnels variables
, RFIA 2006 (Congrès Reconnaissance des Formes et Intelligence Artificielle)
, AFRIF-AFIA
, Tours
, 120 (1-10)
, jan
, 2006
, Document
|
|
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.
|
|