Sciweavers

Share
LOGCOM
2007

Epistemic Actions as Resources

9 years 11 months ago
Epistemic Actions as Resources
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate incomplete as well as wrong information e.g. deceit. We give a purely algebraic treatment of the muddy children puzzle, which moreover extends to situations where the children are allowed to lie and cheat. Epistemic actions, that is, information exchanges between agents A, B, . . . ∈ A, are modeled as elements of a quantale, hence conceiving them as resources. Indeed, quantales are to locales what monoidal closed categories are to Cartesian closed categories, respectively providing semantics for Intuitionistic Logic, and for non-commutative Intuitionistic Linear Logic, including Lambek calculus. The quantale (Q, , •) acts on an underlying Q-right module (M, ) of epistemic propositions and facts. The epistemic content is encoded by appearance maps, one pair fM A : M → M and fQ A : Q → Q of (lax) mor...
Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where LOGCOM
Authors Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Comments (0)
books