高级人工智能逻辑教程.pptVIP

;第二章 人工智能逻辑; 逻辑的历史;重要的形式工具──逻辑;关于知识的表示与推理;关于知识的表示与推理;关于知识的表示与推理;关于知识的表示与推理;关于知识的表示与推理; 逻辑系统;逻辑;在语法上，如果存在一个从假设?到?的证明， 则记为? ?? ，称?由?可推导出的，或可证明的。 如果在没有任何假设下?是可推导出的，则记为 ?? ，称?为可证明的。 称一个假设?是不协调的，如果存在一个语句? 使得?和?的否定均可由?推导得出。 称一个逻辑系统是一致的，或相容的(consistent)， 如果不存在逻辑系统的公式A，使得?A与??A同时成 立。;一个证明是一个语法结构，它由符号串根据一定 的规则组成。它包括假设和结论。 在公理化逻辑中，逻辑给出一个逻辑公理和推理 规则的集合。推理规则是可以从一个语句的集合得到 另一语句的集合。 公理化逻辑中的证明就是一个语句序列，使得 其中的每个语句要么是逻辑公理，要么是一个假设， 要么是由前面的语句通过推理规则得到的。;语言的解释是在某个论语(domain)中定义非逻辑 符号。语句的语义是在解释下定义出语言L的真假值。 如果I是L的一个解释，且?在I中为真，则记为 I ?? ，称作I满足? ，或者I 是?的一个模型。 类似地，给定一个语句?和一个语句? ，如果对 每个解释I ，有I ?? 蕴含I ??