Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach).
Gennady ShtakserPublished in: Stud Logica (2019)
Keyphrases
- epistemic logic
- dynamic epistemic logic
- multi agent systems
- knowledge representation
- reasoning process
- coalition logic
- multi agent
- incomplete knowledge
- knowledge sources
- multiagent systems
- multiple agents
- expert systems
- first order logic
- modal logic
- agent architecture
- knowledge management
- knowledge base
- background knowledge
- expressive power
- dynamic environments
- inference rules
- logic programs
- partial knowledge
- domain knowledge