|
Yves moinard
About the computation of forgetting symbols and literals
, NMR 2006 ( 11th Workshop on Non-monotonic Reasoning)
, Institut für Informatik, Technische Universität Clausthal, Germany (http://cig.in.tu-clausthal.de/)
, Lake District
, 209--217
, june
, 2006
, Document
|
|
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.
|
|