Firstorder logic Penn Engineering一阶逻辑潘工程.pptVIP

First-Order Logic Chapter 8.1-8.3 Outline First-order logic Properties, relations, functions, quantifiers, … Terms, sentences, axioms, theories, proofs, … Extensions to first-order logic Logical agents Reflex agents Representing change: situation calculus, frame problem Preferences on actions Goal-based agents First-order logic First-order logic (FOL) models the world in terms of Objects, which are things with individual identities Properties of objects that distinguish them from other objects Relations that hold among sets of objects Functions, which are a subset of relations where there is