FirstOrder Logic Columbia University一阶逻辑哥伦比亚大学.pptVIP

First-Order Logic Chapter 8 Outline Why FOL? Syntax and semantics of FOL Using FOL Wumpus world in FOL Knowledge engineering in FOL Pros and cons of propositional logic ? Propositional logic is declarative ? Propositional logic allows partial/disjunctive/negated information (unlike most data structures and databases) Propositional logic is compositional: meaning of B1,1 ? P1,2 is derived from meaning of B1,1 and of P1,2 ? Meaning in propositional logic is context-independent (unlike natural language, where meaning depends on context) ? Propositional logic has very limited expressive power (unl