TAILIEUCHUNG - Chapter 7: First order logic
Chapter 7: First order logic presents Why FOL? Syntax and semantics of FOL, Using FOL, Wumpus world in FOL, Knowledge engineering in FOL, First-Order Logic, First-Order Logic - FOL, First-Order Logic Syntax. | First-Order Logic Chapter 7 9/6/2005 1 Outline Why FOL? Syntax and semantics of FOL Using FOL Wumpus world in FOL Knowledge engineering in FOL 9/6/2005 2 First-Order Logic Nhắc lại: Logics are characterized by what they commit to as "primitives". Logic What Exists in World Knowledge States Propositional facts true/false/unknown First-Order facts, objects, relations true/false/unknown Temporal facts, objects, relations, times true/false/unknown Probability Theory facts degree of belief 01 Fuzzy degree of truth degree of belief 01 9/6/2005 3 Logic vị từ cấp một First-Order Logic - FOL Khả năng biểu diễn của logic mệnh đề (Propositional Logic) rất hạn chế: PL chỉ biểu diễn các sự kiện (facts) trong thế giới thực Ngoài các sự kiện, trong thế giới thực còn có: Các đối tượng với các thuộc tính và các quan hệ của chúng. FOL là mở rộng của PL và cho phép mô tả thế giới chứa: Đối tượng (Objects): people, houses, numbers, colors, wars, Quan hệ (Relations): red, round, brother of, bigger than, part of, between, Hàm (Functions): father of, best friend, one more than, plus, 9/6/2005 4 First-Order Logic Syntax What does the following FOL sentence mean? x [Person(x) t (Time(t) Fool(x,t))] t [Time(t) x (Person(x) Fool(x,t))] t,x [Time(t) Person(x) Fool(x,t)] Abraham Lincoln: "If you once forfeit the confidence of your fellow citizens, you can never regain their respect and esteem. It is true that you may fool some of the people all of the time; you can even fool all of the people some of the time, but you can’t fool all of the people all of the .
đang nạp các trang xem trước
