Projection and Scope-Determined Circumscription

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Projection and Scope-Determined Circumscription

Christoph WernhardChristoph Wernhard
Christoph Wernhard
Projection and Scope-Determined Circumscription
Journal of Symbolic Computation, 47:1089-1108, 2012
  • KurzfassungAbstract
    We develop a semantic framework that extends first-order logic by literal projection and a novel second semantically defined operator, ``raising, which is only slightly different from literal projection and can be used to define a generalization of parallel circumscription with varied predicates in a straightforward and compact way. We call this variant of circumscription ``scope-determined, since like literal projection and raising its effects are controlled by a so-called ``scope, that is, a set of literals, as parameter. We work out formally a toolkit of propositions about projection, raising and circumscription and their interaction. It reveals some refinements of and new views on previously known properties. In particular, we apply it to show that well-foundedness with respect to circumscription can be expressed in terms of projection, and that a characterization of the consequences of circumscribed propositional formulas in terms of literal projection can be generalized to first-order logic and expressed compactly in terms of new variants of the strongest necessary and weakest sufficient condition.
  • Bemerkung: Note: (preprint: http://cs.christophwernhard.com/papers/projcirc.pdf)
  • Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@article{W2012,
  author  = {Christoph Wernhard},
  title   = {Projection and Scope-Determined Circumscription},
  journal = {Journal of Symbolic Computation},
  volume  = {47},
  year    = {2012},
  pages   = {1089-1108},
  doi     = {10.1016/j.jsc.2011.12.034}
}