Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming.
Phan Huy TuTran Cao SonChitta BaralPublished in: Theory Pract. Log. Program. (2007)
Keyphrases
- incomplete information
- answer set programming
- sensing actions
- partial information
- reasoning tasks
- causal theories
- event calculus
- logic programming
- open world
- knowledge representation and reasoning
- logic programs
- possibilistic networks
- answer sets
- situation calculus
- knowledge representation
- query answering
- autonomous agents
- planning problems
- possibility theory
- causal networks
- knowledge base
- first order logic
- stable models
- classical planning
- stable model semantics
- reasoning about actions
- heuristic search
- machine learning
- initial state
- belief state
- temporal information
- answer set semantics
- domain independent
- bayesian networks