FirstOrder Logic Better choice for Wumpus World一阶逻辑的更好的选择狮头象世界.pptVIP

First-Order Logic: Better choice for Wumpus World Propositional logic represents facts First-order logic gives us Objects Relations: how objects relate to each other Properties: features of an object Functions: output an object, given others Syntax and Semantics Propositional logic has the following: Constant symbols: book, A, cs327 Predicate symbols: specify that a given relation holds Example: Teacher(CS327sec1, Dave) Teacher(CS327sec2, Dave) “Teacher” is a predicate symbol For a given set of constant symbols, relation may or may not hold Syntax and Semantics Function Symbols FatherOf(Luke)