Propositional Epistemic Logics with Quantification Over Agents of Knowledge.
Gennady ShtakserPublished in: Stud Logica (2018)
Keyphrases
- epistemic logic
- dynamic epistemic logic
- multi agent systems
- multi agent
- domain knowledge
- knowledge management
- incomplete knowledge
- coalition logic
- reasoning process
- multiple agents
- knowledge base
- propositional variables
- partial knowledge
- modal logic
- knowledge sources
- expert systems
- knowledge representation
- knowledge based systems
- complex domains
- decision making
- knowledge acquisition
- learned knowledge
- logical framework
- mobile agents
- default logic
- first order logic
- expressive power
- software agents
- intelligent agents
- knowledge sharing
- agent model
- agent architecture
- modal operators
- incomplete information
- cooperative