Logic-based reasoning about actions and plans in artificial intelligence.
Huaming LeeJames TannockJon Sims WilliamsPublished in: Knowl. Eng. Rev. (1993)
Keyphrases
- reasoning about actions
- artificial intelligence
- knowledge representation
- logic programming
- action sequences
- situation calculus
- action language
- action theories
- initial state
- dynamic logic
- expert systems
- fluent calculus
- computational intelligence
- cognitive science
- knowledge representation and reasoning
- planning problems
- indirect effects
- propositional dynamic logic
- plan recognition
- intelligent systems
- logic programs
- dynamic programming
- computer science
- reasoning tasks
- database
- intelligent agents
- natural language processing
- machine learning