December 2012
Intermediate to advanced
407 pages
10h 18m
English
KEYWORDS
explanation-based generalization
goal concept
domain theory
operationality criterion
Horn clause logic
unification
analogy
learning by analogy
partial match
maximal partial match
nonmonotonic logic
default reasoning
truth maintenance system
belief
support list
justification
assumption-based truth maintenance system
set of hypotheses
Logical inference using knowledge represented by predicate logic and inference rules does not seem to generate any new information or have anything to do with learning. However, when we try to understand the structure that is buried in a large amount of complicated knowledge, we can regard a system for organizing knowledge by logical inference as generating new knowledge that ...
Read now
Unlock full access