Consistency checking of binary categorical relationships in a medical knowledge base.
Wolfgang MoserKlaus-Peter AdlassnigPublished in: Artif. Intell. Medicine (1992)
Keyphrases
- consistency checking
- knowledge base
- stochastic search
- query answering
- knowledge representation
- knowledge acquisition
- temporal reasoning
- knowledge based systems
- temporal constraints
- query processing
- description logics
- categorical data
- cardinal directions
- path consistency
- constraint networks
- databases
- arc consistency
- medical diagnosis
- incomplete information
- constraint satisfaction problems
- end users
- dynamic programming
- expert systems