Forgetting literals with varying propositional symbols

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. We extend here this notion, by allowing propositional symbols to vary while forgetting literals. The definitions are not really more complex than for literal forgetting without variation. We describe the new notion, on the syntactical and the semantical side. Then, we show how to apply it to the computation of circumscription. This computation has been done before with standard literal forgetting, but here we show how introducing varying propositional symbols simplifies significantly the computation. We revisit a fifteen years old result about computing circumscription, showing that it can be improved in the same way. We provide hints in order to apply this forgetting method also to other logical formalisms.
Type de document :
Communication dans un congrès
Sheila McIlraith and Pavlos Peppas and Michael Thielscher. Common Sense 2005 (7th Int. Symp. on Logical Formalization of Common Sense Reasoning), 2005, Corfu, Greece, Greece. Technische Universitat Dresden, pp.169-176, 2005
Liste complète des métadonnées

https://hal.inria.fr/inria-00511103
Contributeur : René Quiniou <>
Soumis le : lundi 23 août 2010 - 17:36:56
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

  • HAL Id : inria-00511103, version 1

Citation

Yves Moinard. Forgetting literals with varying propositional symbols. Sheila McIlraith and Pavlos Peppas and Michael Thielscher. Common Sense 2005 (7th Int. Symp. on Logical Formalization of Common Sense Reasoning), 2005, Corfu, Greece, Greece. Technische Universitat Dresden, pp.169-176, 2005. 〈inria-00511103〉

Partager

Métriques

Consultations de la notice

208