This document summarizes chapter 2 from George F Luger's book "Artificial Intelligence 6th edition" which discusses predicate logic and the predicate calculus. The chapter introduces predicates and functions, how to represent relationships between objects using predicates, and how to combine predicates using logical connectives and quantifiers. It also provides examples of using predicate logic to represent real-world scenarios like a blocks world and the unification process used in logical reasoning.

1. George F Luger
ARTIFICIAL INTELLIGENCE 6th edition
Structures and Strategies for Complex Problem Solving
The Predicate Calculus
Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
2.0 Introduction
2.1 The Propositional Calculus
2.2 The Predicate Calculus
2.3 Using Inference Rules to Produce
Predicate Calculus Expressions
2.4 Application: A Logic-Based
Financial Advisor
2.5 Epilogue and References
2.6 Exercises
1

2. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
2

3. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
3

4. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
4

5. For propositional expressions P, Q and R:
Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
5

6. Figure 2.1: Truth table for the operator ∧.
Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
6

7. Figure 2.2: Truth table demonstrating the equivalence of P Æ Q and ÿ P ⁄ Q.
Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
7

8. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
8

9. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
9

10. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
10

11. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
11

12. verify_sentence algorithm
Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
12

13. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
13

14. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
14

15. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
15

16. Figure 2.3: A blocks world with its predicate calculate description.
Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
16

17. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
17

18. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
18

19. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
19

20. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
20

21. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
21

22. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
22

23. Figure 2.5: Further steps in the unification of (parents X (father X) (mother
bill)) and (parents bill (father bill) Y).
Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
23

24. Figure 2.6: Final trace of the unification of (parents X (father X)
(mother bill)) and (parents bill (father bill) Y).
Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
24

25. Luger: Artificial Intelligence, 6th edition. © Pearson Education Limited, 2009
25