Chapter 3
First-Order Logic
All fish are mortal.
I am mortal.
Therefore, I am a fish???
Chapter 2 started with a variation of a classic example concerning Socrates.
Traditionally, the example actually proceeds as follows:
All humans are mortal.
Socrates is a human.
Therefore, Socrates is mortal.
The reasoning here is that every entity in the set of humans is mortal, Socrates
is in that set, and so Socrates is mortal. Propositional logic is only concerned
with propositions that are true or false; it does not address properties of sets of
objects. First-order logic, also called predicate calculus, models reasoning with
sets of objects.
Section 3.1 discusses ...
Get Contemporary Artificial Intelligence now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
