7 - Inference FOL Flashcards
1
Q
Datalog is a ________.
A
Datalog is a DECLARATIVE LOGIC PROGRAMMING LANGUAGE.
2
Q
Backward Chaining
A
Depth-first recursive proof search
3
Q
Disadvantages of Backward Chaining
A
Incompleteness (Infinite Loops) & Inefficiency (Repeated Subgoals)
4
Q
Advantage of Backward Chaining
A
Uses less rules than forward chaining (Linear Space Efficiency)
5
Q
Generalized Modus Ponens
A
Enables forward/backward chaining of Horn clauses in FOL
6
Q
Propositionalization
A
Enables inference rules from prop. logic in FOL
7
Q
Disadvantage of Forward Chaining
A
FC may not terminate (Peano Axiom for natural numbers)
8
Q
Logic programming is based on ________.
A
BACKWARD CHAINING
9
Q
PROLOG
A
Language based on BC with Horn clauses
10
Q
Prolog: a => b
A
b:-a
