A Unified Approach to Inductive Logic and Case-Based Reasoning (Extended Abstract).
Michael M. RichterPublished in: AII/ALT (1994)
Keyphrases
- extended abstract
- case based reasoning
- deductive reasoning
- case base
- functional programs
- expert systems
- logic programming
- machine learning
- modal logic
- knowledge representation
- inductive reasoning
- case based reasoning systems
- epistemic logic
- multi valued
- knowledge engineering
- concept learning
- inductive learning
- classical logic
- cbr systems
- predicate logic
- artificial intelligence
- neural network
- inductive inference
- rule learning
- decision support system
- natural deduction
- proof theory
- search engine
- data sets
- database