Any ist-ao quantified context logic has a first-order semantics

From Semantic Portal Wiki

Jump to: navigation, search

{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}

Edit
[[abstract::Context logics of the $ist(c,\phi)$ type of Guha/McCarthy [] can be classified according to the distributivities of $ist$ over the logical connectives and quantifiers. We place subscripts on $ist$ according to the various distributivities; subscript $A$ stands for distributivity of $ist$ over conjunction and universal quantification, that is, $ist(c,\phi \wedge \psi) \leftrightarrow ist(c,\phi) \wedge ist(c,\psi)$ and $ist(c, \forall x \phi) \leftrightarrow \forall x ist(c,phi)$. Likewise $O$ stands for disjunction and existential quantification, and $N$ stands for negation.This work recounts a formal language discussed in [] for quantified context logic, and the formal semantics presented for it. In [], it was established that any $ist_{AON}$ quantified context logic has a first-order semantics. The current work improves upon that result, establishing that the characterization via a first-order semantics is possible even without the restriction of distributivity of $ist$ over negation -- that is -- first-order semantics can be given for any context logic that is merely $ist_{AO}$. This considerably broadens the applicability of the results, and should allow theories over many conceptions of context be treated via pre-compilation into a first-order form.|]]

Reference: {{#vardefine:pagename|any ist-ao quantified context logic has a first-order semantics }}

  1. [[]]

bibtex

{{#vardefine:pagename|Any ist-ao quantified context logic has a first-order semantics }}{{#vardefine:key| }}

abstract: Context logics of the $ist(c,\phi)$ type of Guha/McCarthy [] can be classified according to the distributivities of $ist$ over the logical connectives and quantifiers. We place subscripts on $ist$ according to the various distributivities; subscript $A$ stands for distributivity of $ist$ over conjunction and universal quantification, that is, $ist(c,\phi \wedge \psi) \leftrightarrow ist(c,\phi) \wedge ist(c,\psi)$ and $ist(c, \forall x \phi) \leftrightarrow \forall x ist(c,phi)$. Likewise $O$ stands for disjunction and existential quantification, and $N$ stands for negation.This work recounts a formal language discussed in [] for quantified context logic, and the formal semantics presented for it. In [], it was established that any $ist_{AON}$ quantified context logic has a first-order semantics. The current work improves upon that result, establishing that the characterization via a first-order semantics is possible even without the restriction of distributivity of $ist$ over negation -- that is -- first-order semantics can be given for any context logic that is merely $ist_{AO}$. This considerably broadens the applicability of the results, and should allow theories over many conceptions of context be treated via pre-compilation into a first-order form.

download:

  • paper:
  • slides:
Facts about Any ist-ao quantified context logic has a first-order semanticsRDF feed
AuthorSelene Makarios  +, and Karl Heuer  +
Bibtypetechreport  +
InstitutionKnowledge Systems, AI Laboratory  +
KeyKSL-06-11  +
NumberKSL-06-11  +
TagComputer science  +
TitleAny ist-AO Quantified Context Logic has a First-Order Semantics  +
Tr idKSL-06-11  +
Year2006  +
Personal tools
Semantic Web Community
Tetherless World constellation
maintenance