Exploring a wumpus world P? B OK 部 S OK W
Exploring a wumpus world
Exploring a wumpus world P? B OK S OK W
Exploring a wumpus world
Exploring a wumpus world ? OK P B OK OK S OK 回 W
Exploring a wumpus world
Exploring a wumpus world OK P B OK BGS OK S OK W
Exploring a wumpus world
Logic in general Logics are formal languages for representing information such that conclusions can be drawn ● ● Syntax defines the sentences in the language ● Semantics define the "meaning"of sentences; i.e.,define truth of a sentence in a world E.g.,the language of arithmetic -x+2 2y is a sentence;x2+y >{is not a sentence
Logic in general • Logics are formal languages for representing information such that conclusions can be drawn • • Syntax defines the sentences in the language • • Semantics define the "meaning" of sentences; • – i.e., define truth of a sentence in a world – • E.g., the language of arithmetic • – x+2 ≥ y is a sentence; x2+y > {} is not a sentence – – x+2 ≥ y is true iff the number x+2 is no less than the number y