Learning Based on Logic
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 ...
Get Pattern Recognition and Machine Learning now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
