Semantics and Validation Procedures of a Multi-Modal Logic for Formalization of Multi-Agent Universes.
P. GaboritA. PotetClaudette SayettatPublished in: ECAI (1990)
Keyphrases
- modal logic
- kripke models
- multi agent
- epistemic logic
- nonmonotonic logics
- conditional logic
- autoepistemic logic
- dynamic logic
- temporal logic
- modal operators
- decision procedures
- logical language
- inference rules
- situation calculus
- operational semantics
- description logic alc
- classical logic
- cooperative
- default logic
- prime implicates
- model checking
- formal semantics
- model theoretic
- knowledge representation
- multi agent systems
- machine learning
- explanation based generalization
- logical framework
- default reasoning
- logic programs
- object oriented
- expert systems