18 and 25 Feb 2004
CS 3243 - Logical Agents
15
Logic in general
nLogics
are formal languages for representing information such that conclusions can be drawn
nSyntax defines the
sentences in the language
nSemantics define the
"meaning" of sentences;
ni.e., define truth of a
sentence in a world
nE.g., the language of arithmetic
nx+2 ≥ y is a sentence; x2+y > {} is not a
sentence
nx+2 ≥ y is true iff the number x+2 is no less than
the number y
nx+2 ≥ y is true in a world where x = 7, y = 1
nx+2 ≥ y is false in a world where x = 0, y =
6