Simplicial Belief
By: Christian Cachin, David Lehnherr, Thomas Studer
Potential Business Impact:
Models how computers can "believe" things.
Recently, much work has been carried out to study simplicial interpretations of modal logic. While notions of (distributed) knowledge have been well investigated in this context, it has been open how to model belief in simplicial models. We introduce polychromatic simplicial complexes, which naturally impose a plausibility relation on states. From this, we can define various notions of belief.
Similar Papers
Belief in Simplicial Complexes
Logic in Computer Science
Makes computers understand what people believe.
Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
Logic in Computer Science
Lets computers understand what people know, even if they die.
Hypergraph Semantics for Doxastic Logics
Logic in Computer Science
Helps computers understand what others believe.