Presentation is loading. Please wait.

Presentation is loading. Please wait.

First Order Logic: Logical Inference

Published byHendri Setiawan Modified over 6 years ago

Similar presentations

Presentation on theme: "First Order Logic: Logical Inference"— Presentation transcript:

1 First Order Logic: Logical Inference
CHAPTER 12 First Order Logic: Logical Inference

2 Propositional Resolution

3 Propositional Resolution (cont)

4 Soundness and Completeness
Soundness: if a sound procedure derives a sentence β from α, it must actually be entailed by α Completeness: if a sentence β is actually entailed by α, then it will eventually be derived from α by a complete procedure

5 Universal instantiation (UI)

6 Existential instantiation (EI)

7 Reduction to prop. inference

8 Problems with propositionalizati

9 Unification

10 Properties of forward chaining

11 Efficiency of forward chaining

12 Properties of backward chaining

13 Logic programming: Prolog

14 Resolution: brief summary

15 Conversion to CNF

16 Conversion to CNF contd.

Download ppt "First Order Logic: Logical Inference"

Similar presentations

Inference in first-order logic

Inference in first-order logic
Inference in First-Order Logic

Inference in First-Order Logic
Artificial Intelligence 8. The Resolution Method

Artificial Intelligence 8. The Resolution Method
Some Prolog Prolog is a logic programming language

Some Prolog Prolog is a logic programming language
Inference in first-order logic

Inference in first-order logic
First-Order Logic.

First-Order Logic.
Inference Rules Universal Instantiation Existential Generalization

Inference Rules Universal Instantiation Existential Generalization
Inference in first-order logic Chapter 9. Outline Reducing first-order inference to propositional inference Unification Generalized Modus Ponens Forward.

Inference in first-order logic Chapter 9. Outline Reducing first-order inference to propositional inference Unification Generalized Modus Ponens Forward.
Methods of Proof Chapter 7, second half.. Proof methods Proof methods divide into (roughly) two kinds: Application of inference rules: Legitimate (sound)

Methods of Proof Chapter 7, second half.. Proof methods Proof methods divide into (roughly) two kinds: Application of inference rules: Legitimate (sound)
For Friday No reading Homework: –Chapter 9, exercise 4 (This is VERY short – do it while you’re running your tests) Make sure you keep variables and constants.

For Friday No reading Homework: –Chapter 9, exercise 4 (This is VERY short – do it while you’re running your tests) Make sure you keep variables and constants.
Logical Inference 1 introduction Chapter 9 Some material adopted from notes by Andreas Geyer-Schulz,, Chuck Dyer, and Mary Getoor.

Logical Inference 1 introduction Chapter 9 Some material adopted from notes by Andreas Geyer-Schulz,, Chuck Dyer, and Mary Getoor.
13 Automated Reasoning 13.0 Introduction to Weak Methods in Theorem Proving 13.1 The General Problem Solver and Difference Tables 13.2 Resolution.

13 Automated Reasoning 13.0 Introduction to Weak Methods in Theorem Proving 13.1 The General Problem Solver and Difference Tables 13.2 Resolution.
Methods of Proof Chapter 7, Part II. Proof methods Proof methods divide into (roughly) two kinds: Application of inference rules: Legitimate (sound) generation.

Methods of Proof Chapter 7, Part II. Proof methods Proof methods divide into (roughly) two kinds: Application of inference rules: Legitimate (sound) generation.
Propositional Logic Reading: C. 7.4-7.8, C. 8. 2 Logic: Outline Propositional Logic Inference in Propositional Logic First-order logic.

Propositional Logic Reading: C , C Logic: Outline Propositional Logic Inference in Propositional Logic First-order logic.
Logic.

Logic.
Predicate Calculus Russell and Norvig: Chapter 8,9.

Predicate Calculus Russell and Norvig: Chapter 8,9.
Outline Recap Knowledge Representation I Textbook: Chapters 6, 7, 9 and 10.

Outline Recap Knowledge Representation I Textbook: Chapters 6, 7, 9 and 10.
Proof methods Proof methods divide into (roughly) two kinds: –Application of inference rules Legitimate (sound) generation of new sentences from old Proof.

Proof methods Proof methods divide into (roughly) two kinds: –Application of inference rules Legitimate (sound) generation of new sentences from old Proof.
Inference in FOL Copyright, 1996 © Dale Carnegie & Associates, Inc. Chapter 9 Spring 2004.

Inference in FOL Copyright, 1996 © Dale Carnegie & Associates, Inc. Chapter 9 Spring 2004.
1 Automated Reasoning 13 13.0Introduction to Weak Methods in Theorem Proving 13.1The General Problem Solver and Difference Tables 13.2Resolution Theorem.

1 Automated Reasoning Introduction to Weak Methods in Theorem Proving 13.1The General Problem Solver and Difference Tables 13.2Resolution Theorem.

Similar presentations

Ads by Google