The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity.
Max I. KanovichJacqueline VauzeillesPublished in: Math. Struct. Comput. Sci. (2001)
Keyphrases
- planning problems
- linear logic
- planning systems
- ai planning
- causal graph
- proof theoretic
- logic programming
- domain independent
- heuristic search
- logical framework
- state space
- conformant planning
- planning domains
- artificial intelligence
- solving planning problems
- fixed point
- np hard
- sequent calculus
- machine learning
- computational complexity
- htn planning
- knowledge representation
- model theoretic
- expert systems
- inference rules
- programming language
- initial state
- partial observability
- logic programs
- symbolic model checking
- decision problems
- search algorithm
- temporal reasoning