Formal Analysis of Epistemic Modalities and Conditionals Based on Logic of Belief Structures.
Yasuo NakayamaPublished in: JSAI-isAI Workshops (2014)
Keyphrases
- formal analysis
- modal operators
- modal logic
- belief revision
- belief change
- conditional logic
- epistemic logic
- belief set
- probability theory
- logical framework
- temporal logic
- nonmonotonic logics
- formal methods
- default reasoning
- epistemic states
- classical logic
- propositional logic
- truth values
- inference rules
- dynamic epistemic logic
- agent model
- situation calculus
- propositional dynamic logic
- belief functions
- description logics
- ban logic
- artificial intelligence
- proof theoretic
- nonmonotonic reasoning
- software development
- knowledge representation