Game Playing ics游戏集成电路.uci.pptVIP

Knowledge Representation using First-Order Logic CS 271: Fall 2007 Instructor: Padhraic Smyth Logistics Midterm results Graded, solutions mailed out Extra-credit projects Treated as 2 additional homeworks Lowest 2 scoring homeworks dropped, rest averaged no- extra-credit project Single lowest homework score dropped, rest averaged More information on the Web site (if not now, then soon) Homework 3 Should be graded by Thursday Homework 4 Up on the Web shortly Outline What is First-Order Logic (FOL)? Syntax and semantics Using FOL Wumpus world in FOL Knowledge engineering in FOL Requ