Checking depth-limited consistency and inconsistency in knowledge-based systems.
Laure BrisouxÉric GrégoireLakhdar SaisPublished in: Int. J. Intell. Syst. (2001)
Keyphrases
- knowledge based systems
- consistency checking
- knowledge acquisition
- expert systems
- knowledge base
- knowledge representation
- knowledge engineering
- knowledge sources
- integrity checking
- production rules
- civil engineering
- artificial intelligence
- inference engine
- knowledge structures
- knowledge representation scheme
- deep knowledge
- rule based systems
- semi automatic
- blackboard architecture
- bayesian networks
- inconsistent knowledge