人工智能逻辑.pptxVIP

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