Active logic semantics for a single agent in a static world.
Michael L. AndersonWalid E. GomaaJohn GrantDonald PerlisPublished in: Artif. Intell. (2008)
Keyphrases
- single agent
- multi agent
- multi agent systems
- multiple agents
- logic programming
- epistemic logic
- proof theory
- sound and complete axiomatization
- decision problems
- multi agent coordination
- dynamic environments
- propositional dynamic logic
- active rules
- multi agent environment
- path finding
- modal operators
- window search
- reinforcement learning
- active databases
- modal logic
- dec pomdps
- semantic information
- logic programs
- cooperative
- efficient computation
- nonmonotonic reasoning