Can OpenCyc reason about beliefs and other propositional attitudes?
The full Cyc knowledge base contains various general rules about #$beliefs, #$knows, and similar predicates (see #$PropositionalAttitudeSlot), some of which will certainly be included in future versions of OpenCyc. By and large, these rules are not meant to explicate any particular psychological or epistemic “theory”, but (like the Cyc ontology generally) are meant to represent commonsense understanding of the notions in question.
The full Cyc knowledge base contains various general rules about #$beliefs, #$knows, and similar predicates (see #$PropositionalAttitudeSlot), some of which will certainly be included in future versions of OpenCyc. By and large, these rules are not meant to explicate any particular psychological or epistemic “theory”, but (like the Cyc ontology generally) are meant to represent commonsense understanding of the notions in question.
