FirstOrder Logic 朝陽科技大學一阶逻辑朝陽科技大學.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 powe