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

From Semantic Portal Wiki

Jump to: navigation, search

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:

  1. Selene Makarios, Karl Heuer. Any ist-AO Quantified Context Logic has a First-Order Semantics , Knowledge Systems, AI Laboratory (KSL-06-11), 2006

bibtex


@techreport { KSL-06-11 ,
author = "Selene Makarios, Karl Heuer",
institution = "Knowledge Systems, AI Laboratory",
number = "KSL-06-11",
title = "Any ist-AO Quantified Context Logic has a First-Order Semantics",
year = "2006",
}

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  +
Semantic Web Community
Tetherless World constellation
maintenance