A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems.
Lijun WuJinshu SuKaile SuXiangyu LuoZhihua YangPublished in: Knowl. Based Syst. (2010)
Keyphrases
- dynamic logic
- multi agent systems
- modal operators
- domain knowledge
- knowledge base
- knowledge acquisition
- autonomous agents
- knowledge management
- data mining techniques
- intelligent agents
- knowledge sharing
- modal logic
- propositional dynamic logic
- general purpose
- knowledge discovery
- belief revision
- knowledge representation
- expert systems