Introducing reactive Kripke semantics and arc accessibility.
Dov M. GabbayPublished in: Ann. Math. Artif. Intell. (2012)
Keyphrases
- kripke models
- modal logic
- logic programming
- formal semantics
- action theories
- temporal logic
- multi agent
- inference rules
- logical language
- active rules
- semantic information
- database
- agent architecture
- desirable properties
- specification language
- conceptual model
- nonmonotonic logics
- learning algorithm
- update semantics
- neural network