About the computation of forgetting symbols and literals

Yves Moinard 1
1 DREAM - Diagnosing, Recommending Actions and Modelling
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : Recently, the old logical notion of forgetting propositional symbols (or reducing the logical vocabulary) has been generalized to a new notion: forgetting literals. The aim was to help the automatic computation of various formalisms which are currently used in knowledge representation, particularly for nonmonotonic reasoning. We develop here a further generalization, allowing propositional symbols to vary while forgetting literals. We describe the new notion, on the syntactical and the semantical side. We provide various manipulations over the basic definitions involved, including for the original version, which hopefully should help improving again the efficiency of the computation. This work concerns especially circumscription, since it is known that one way of computing circumscription uses the forgetting of literals.
Type de document :
Communication dans un congrès
NMR 2006 ( 11th Workshop on Non-monotonic Reasoning), 2006, Lake District, United Kingdom. Institut für Informatik, Technische Universität Clausthal, Germany (http://cig.in.tu-clausthal.de/), pp.209--217, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00463802
Contributeur : René Quiniou <>
Soumis le : lundi 15 mars 2010 - 10:33:53
Dernière modification le : mercredi 11 avril 2018 - 01:57:27

Identifiants

  • HAL Id : inria-00463802, version 1

Citation

Yves Moinard. About the computation of forgetting symbols and literals. NMR 2006 ( 11th Workshop on Non-monotonic Reasoning), 2006, Lake District, United Kingdom. Institut für Informatik, Technische Universität Clausthal, Germany (http://cig.in.tu-clausthal.de/), pp.209--217, 2006. 〈inria-00463802〉

Partager

Métriques

Consultations de la notice

224