Keyphrases
- deductive reasoning
- logical inference
- knowledge representation
- knowledge base
- inference mechanism
- abductive reasoning
- classical logic
- machine learning
- inductive learning
- recursive programs
- logic programming
- multi valued
- predicate logic
- inference process
- domain theory
- logic programs
- probabilistic logic
- neural network
- analogical reasoning
- probabilistic reasoning
- concept learning
- modal logic
- structural descriptions
- artificial intelligence
- closed world assumptions