Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning.
Yuejun JiangPublished in: ECAI (1990)
Keyphrases
- nonmonotonic reasoning
- epistemic logic
- multi agent
- multi agent systems
- modal logic
- default logic
- belief revision
- logic programming
- logical framework
- default reasoning
- model checking
- commonsense reasoning
- nonmonotonic inference
- autoepistemic logic
- dynamic epistemic logic
- inference rules
- temporal logic
- cooperative
- formal semantics
- possibility theory
- probability distribution
- defeasible logic
- mathematical theory
- multiple agents
- multi faceted
- conditional probabilities
- logic programs
- machine learning
- relational databases
- autonomous agents