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

From Semantic Portal Wiki

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: