Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming
Phan Huy TuTran Cao SonChitta BaralPublished in: CoRR (2006)
Keyphrases
- incomplete information
- answer set programming
- sensing actions
- partial information
- reasoning tasks
- causal theories
- event calculus
- logic programming
- logic programs
- open world
- answer sets
- knowledge representation and reasoning
- possibilistic networks
- situation calculus
- knowledge representation
- planning problems
- stable model semantics
- knowledge base
- query answering
- autonomous agents
- stable models
- possibility theory
- answer set semantics
- first order logic
- belief state
- classical planning
- nonmonotonic reasoning
- automated reasoning
- planning domains
- reinforcement learning
- artificial intelligence