Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
WVPub97
Abstract We develop a semantic framework that exten
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.
ecessary and weakest sufficient condition.  +
Author Christoph Wernhard +
BibTex
@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}
}
Bibtype Article  +
DOI Name 10.1016/j.jsc.2011.12.034  +
ErsterAutorNachname Wernhard  +
ErsterAutorVorname Christoph  +
Forschungsgruppe Wissensverarbeitung +
Journal Journal of Symbolic Computation  +
Note (preprint: http://cs.christophwernhard.com/papers/projcirc.pdf)  +
Pages 1089-1108  +
Publication text Christoph Wernhard<br/> '''[[WVPub97
Christoph Wernhard<br/> '''[[WVPub97|Projection and Scope-Determined Circumscription]]''' <br/>__NOTOC__Journal of Symbolic Computation, 47:1089-1108, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub97|Details]]
5%;" ></span> [[WVPub97|Details]]  +
Publication text en Christoph Wernhard<br/> '''[[WVPub97
Christoph Wernhard<br/> '''[[WVPub97/en|Projection and Scope-Determined Circumscription]]''' <br/>__NOTOC__Journal of Symbolic Computation, 47:1089-1108, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[WVPub97|Details]]
5%;" ></span> [[WVPub97|Details]]  +
Referiert 1  +
Title Projection and Scope-Determined Circumscription  +
To appear 0  +
Type article  +
Volume 47  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
WVPub97 + , WVPub97 + , WVPub97 + , WVPub97 + , WVPub97 +
Kategorien Article , Publications without download , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
13 April 2015 13:07:35  +
verstecke Attribute die hierhin verlinken 
WVPub97/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.