On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information.
Tran Cao SonPhan Huy TuPublished in: KR (2006)
Keyphrases
- incomplete information
- action theories
- domain description
- autonomous agents
- partial information
- heuristic search
- missing information
- situation calculus
- planning problems
- domain independent
- query answering
- first order logic
- initial state
- reasoning about actions
- possibility theory
- repeated games
- artificial intelligence
- dynamic environments
- cooperative
- database systems