10 Mar 2005
CS 3243 - FOL and Prolog
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