Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains.
Enrico PontelliTran Cao SonChitta BaralGregory GelfondPublished in: Correct Reasoning (2012)
Keyphrases
- answer set programming
- world model
- incomplete knowledge
- sensing actions
- logic programs
- decision theoretic
- stochastic domains
- action selection
- logic programming
- answer sets
- complex domains
- intelligent behavior
- planning problems
- knowledge representation
- knowledge base
- meta level reasoning
- external events
- plan recognition
- plan execution
- durative actions
- action language
- multiple agents
- causal theories
- constraint logic programming
- domain knowledge
- partially observable
- learning agent
- situation calculus
- heuristic search
- background knowledge
- knowledge management
- solving problems
- external world
- software engineering
- expert systems