 Slide 14.1: Logic
Slide 14.2: First-order predicate calculus
Slide 14.3: An example of first-order predicate calculus
Slide 14.4: Inference rules
Slide 14.5: Horn clauses
Slide 14.6: Examples of Horn clauses
Slide 14.7: Examples of Horn clauses (cont.)
Slide 14.8: Resolution
Slide 14.9: Resolution (cont.)
Slide 14.10: Examples of resolution
Slide 14.11: Unification
Slide 14.12: An example of unification
Slide 14.13: Prolog
Slide 14.14: Using Prolog
Slide 14.15: Simple facts
Slide 14.16: Simple facts (cont.)
Slide 14.17: Facts with arguments
Slide 14.18: Facts with arguments (cont.)
Slide 14.19: Variables and unification
Slide 14.20: Variables and unification (cont.)
Slide 14.21: Variables and unification (cont.)
Slide 14.22: Rules
Slide 14.23: Rules (cont.)
Slide 14.24: Rules (cont.)
Slide 14.25: Rules (cont.)
Slide 14.26: Rules (cont.)
Slide 14.27: Search
Slide 14.28: Search (cont.)
Slide 14.29: Search (cont.)
Slide 14.30: Search (cont.)
Slide 14.31: Search (cont.)
Slide 14.32: Search (cont.)
Slide 14.33: Search (cont.)
|