tailieunhanh - Artificial Intelligence - Lecturer 10 – First Order Logic

Objects are things with individual identities and properties to distinguish them. Various relations hold among objects. Some of these relations are functional. Every fact involving objects and their relations are either true or false. | 5 18 2014 Artificial Intelligence For HEDSPI Project Lecturer 10 - First Order Logic Lecturers Dr. Le Thanh Huong Dr. Tran Duc Khanh Dr. Hai V. Pham HUST First Order Logic Syntax Semantic Inference Resolution 1 5 18 2014 First Order Logic FOL First Order Logic is about Objects Relations Facts The world is made of objects Objects are things with individual identities and properties to distinguish them Various relations hold among objects. Some of these relations are functional Every fact involving objects and their relations are either true or false FOL Syntax Semantic Inference Resolution 2 5 18 2014 FOL Syntax Symbols Variables x y z . Constants a b c . Function symbols with arities f g h . Relation symbols with arities p r r Logical connectives I A V Quantifiers 3 V FOL Syntax Variables constants and function symbols are used to build terms X Bill FatherOf X . Relations and terms are used to build predicates Tall FatherOf Bill Odd X Married Tom Marry Loves Y MotherOf Y . Predicates and logical connective are used to build sentences Even 4 VX. Even X Odd X 1 3 X. X 0