3 Mar 2004
CS 3243 - Chapter 8
27
Summary
nFirst-order
logic:
¡objects and relations are semantic primitives
¡syntax:
constants, functions, predicates, equality, quantifiers
nIncreased
expressive power: sufficient to define wumpus world