A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.
Alan M. FrischPublished in: KR (1989)
Keyphrases
- deductive reasoning
- intuitionistic logic
- knowledge base
- reasoning systems
- reasoning process
- qualitative reasoning
- spatial reasoning
- reasoning tasks
- inference rules
- website
- automated reasoning
- fuzzy reasoning
- computational properties
- rule based reasoning
- proof procedure
- knowledge based systems
- expert systems
- database
- natural language
- automated theorem proving
- hybrid approaches
- reasoning engine
- databases
- data sets