Fear of Formal Reasoning.
Pat FungPamela O'SheaRichard BornatSteve ReevesDoug GoldsonPublished in: PPIG (2) (1992)
Keyphrases
- formal models
- logical reasoning
- meta level
- knowledge base
- reasoning systems
- automated reasoning
- reasoning tasks
- knowledge representation
- spatial reasoning
- formal model
- legal argument
- formal ontologies
- reasoning engine
- resource bounded
- reasoning problems
- model based reasoning
- knowledge representation and reasoning
- legal reasoning
- qualitative reasoning
- consistency checking
- mathematical theory
- reasoning process
- reasoning processes
- formal specification
- expert systems
- case study
- artificial intelligence