syllogism

Terms from Artificial Intelligence: humans at the heart of algorithms

The glossary is being gradually proof checked, but currently has many typos and misspellings.

A syllogism is a formal rule to combine logical premises. The classic is Aristotle's:
      FROM "all men are mortal
      AND "Socrates is a man"
      CONCLUDE: "Socrates is mortal".
This is using a general syllogism of the form:
      FROM "all members of CLASS(x) HAS_PROPERTY(y)
      AND "ENTITY(z) is of CLASS(x)"
      CONCLUDE: "ENTITY(z) HAS_PROPERTY(y)"

Used in Chap. 3: page 26