Pros 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 A 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 口◆4日1三1，是90C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Pros 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