|
|
|
Logical Aspects of Inference |
|
Incompleteness in Searching |
|
Incompleteness from Resource Bounds and Continuable
Searches |
|
Efficiency through Heuristics |
|
Inference Features in Cyc |
|
|
|
|
|
|
|
“Rules” - general, variables |
|
(#$implies |
|
(#$mother ?PERSON ?MOTHER) |
|
(#$loves ?PERSON
?MOTHER)) |
|
|
|
|
|
|
|
“Facts” - specific, no variables, atomic |
|
(#$mother #$Hamlet #$Gertrude) |
|
|
|
|
|
“Non-atomic” terms are functional |
|
(#$BabyFn #$Jaguar) |
|
|
|
Predicates are true or false |
|
(#$mother #$Hamlet #$Gertrude) |
|
|
|
Functions denote a new term |
|
(#$BabyFn #$Jaguar) |
|
|
|
|
|
“Formula” - a relation applied to arguments |
|
(#$implies |
|
(#$mother ?PERSON ?MOTHER) |
|
(#$loves ?PERSON
?MOTHER)) |
|
|
|
Cyc’s Inference uses standard logical deductions |
|
All men are mortal. |
|
Socrates is a man. |
|
Socrates is mortal. |
|
|
|
|
|
Deduction - |
|
rule + fact(s) => new fact |
|
(#$loves #$Hamlet #$Gertrude) |
|
|
|
“Rules” - general, variables |
|
(#$implies |
|
(#$mother ?PERSON ?MOTHER) |
|
(#$loves ?PERSON
?MOTHER)) |
|
|
|
“Facts” - specific, no variables |
|
(#$mother #$Hamlet #$Gertrude) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Inference uses Deduction |
|
Facts + Rules => New Fact |
|
Rules vs. Facts |
|
Predicates vs. Functions |
|
Inference uses Resolution |
|
The Resolution Principle: Unify, Substitute,
Merge |
|
Resolving to #$True |
|
|
|
Notes