Reasoning about Actions with Bidirectional Approach BI-STRIPS.
Lan-di ShanTadashi NagataPublished in: IWAR (1992)
Keyphrases
- reasoning about actions
- situation calculus
- business intelligence
- action theories
- action language
- logic programming
- event calculus
- fluent calculus
- dynamic logic
- propositional dynamic logic
- domain independent
- modal logic
- initial state
- planning problems
- ai planning
- reasoning tasks
- action sequences
- knowledge management
- data model
- logic programs
- domain specific
- minimal change
- expert systems
- search algorithm
- databases