Using temporal logics to express search control knowledge for planning.
Fahiem BacchusFroduald KabanzaPublished in: Artif. Intell. (2000)
Keyphrases
- temporal logic
- search control knowledge
- model checking
- mazurkiewicz traces
- modal logic
- explanation based learning
- concurrent systems
- satisfiability problem
- planning problems
- predicate logic
- belief revision
- verification method
- temporal knowledge
- heuristic search
- transition systems
- temporal resolution
- planning domains
- natural language
- reactive systems
- neural network
- knowledge base
- expert systems
- linear temporal logic
- artificial intelligence
- machine learning