Protocols for Consistency Checking in Expert System Knowledge Bases.
Marc AyelPublished in: ECAI (1988)
Keyphrases
- consistency checking
- expert systems
- knowledge base
- knowledge based systems
- inference engine
- knowledge acquisition
- stochastic search
- knowledge representation
- description logics
- query answering
- temporal reasoning
- knowledge sources
- knowledge engineering
- temporal constraints
- arc consistency
- knowledge engineers
- constraint satisfaction problems
- rule base
- domain experts
- search space
- artificial intelligence
- data sets
- mobile robot
- lower bound
- case study
- decision making