A Declarative Agent Programming Language Based on Action Theories.
Conrad DrescherStephan SchiffelMichael ThielscherPublished in: FroCoS (2009)
Keyphrases
- action theories
- situation calculus
- initial state
- reasoning about actions
- action descriptions
- incomplete information
- deterministic finite state automata
- minimal change
- knowledge representation
- action language
- domain description
- highly expressive
- logic programming
- learning algorithm
- domain independent
- markov chain
- domain specific