High speed subsumption processing for hypothetical reasoning using inference-path networks.
Haruhiko KimuraSadaki HiroseKuniyasu TajimaPublished in: Systems and Computers in Japan (1997)
Keyphrases
- hypothetical reasoning
- high speed
- logic programs
- high speed networks
- cognitive science
- deductive databases
- low power
- real time
- path selection
- shortest path
- legal argument
- probabilistic networks
- information processing
- data processing
- network structure
- np complete
- efficient processing
- logic programming
- expert systems
- natural language
- artificial intelligence