Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions.
Quan YuXiming WenYongmei LiuPublished in: IJCAI (2013)
Keyphrases
- reasoning about actions
- multi agent
- propositional dynamic logic
- logic programming
- situation calculus
- action language
- dynamic logic
- model based diagnosis
- fault diagnosis
- multi agent systems
- cooperative
- minimal change
- action theories
- logic programs
- fluent calculus
- medical diagnosis
- reinforcement learning
- kripke models
- knowledge representation
- answer set programming
- indirect effects
- epistemic logic
- database
- belief revision
- domain specific
- web services