Nonmonotonic temporal logics and autonomous agents: Each contributes to the rigorous basis for the other.
Erik SandewallPublished in: KI (1993)
Keyphrases
- autonomous agents
- temporal logic
- modal logic
- model checking
- dynamic environments
- multi agent systems
- mazurkiewicz traces
- incomplete information
- multiagent systems
- multi agent
- concurrent systems
- satisfiability problem
- open systems
- predicate logic
- nonmonotonic logics
- control architecture
- heterogeneous agents
- agent negotiation
- temporal knowledge
- verification method
- default logic
- bdi agents
- mental states
- complex environments
- cooperative
- inference rules
- belief revision
- temporal resolution
- intelligent behavior
- artificial intelligence
- reinforcement learning
- computational complexity
- logic programming
- distributed control
- petri net
- epistemic logic
- agent behavior
- situation calculus
- machine learning
- nonmonotonic reasoning