Using situation calculus for e-business agents.
Conan C. AlbrechtDouglas L. DeanJames V. HansenPublished in: Expert Syst. Appl. (2003)
Keyphrases
- situation calculus
- agent programming
- sensing actions
- multi agent systems
- event calculus
- multi agent
- concurrent actions
- action theories
- reasoning about actions
- initial state
- multiagent systems
- dynamic logic
- intelligent agents
- reasoning tasks
- autonomous agents
- modal logic
- provably correct
- fluent calculus
- logical language
- software agents
- incomplete information
- agent systems
- blocks world
- dynamic environments
- taxonomic reasoning
- general purpose
- modal operators
- agent communication
- mobile agents