A hypothetical reasoning for knowledge bases with preferentially ordered hypotheses.
Yasuyuki WatanabeIkuo TaharaPublished in: Systems and Computers in Japan (1997)
Keyphrases
- hypothetical reasoning
- knowledge base
- logic programs
- description logics
- cognitive science
- logic programming
- knowledge based systems
- knowledge sources
- hypothesis testing
- knowledge acquisition
- ordered sets
- supreme court
- databases
- meta knowledge
- deductive databases
- knowledge representation
- partially ordered
- expert systems
- multiple hypotheses
- domain experts
- natural language processing
- inference engine
- possibilistic logic
- formal representation
- case study
- genetic algorithm
- hypothesis formation
- legal argument
- neural network