Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge.
Mai AjspurValentin GorankoDmitry ShkatovPublished in: CoRR (2012)
Keyphrases
- multi agent
- epistemic logic
- dynamic epistemic logic
- cooperative
- multi agent systems
- knowledge acquisition
- modal logic
- decision making
- artificial intelligence
- knowledge representation
- decision makers
- knowledge based systems
- computation tree logic
- multiple agents
- inference rules
- distributed systems
- reinforcement learning