【计算机】AAI02人工智能逻辑.pptVIP

人工智能逻辑 主要内容 逻辑简介 逻辑程序设计 非单调逻辑 缺省逻辑 限定逻辑 真值维护系统 情景演算 1. 逻辑简介 逻辑的历史 逻辑系统 命题逻辑 谓词逻辑 1.1 逻辑的历史 Aristotle——逻辑学 Leibnitz——数理逻辑 Gottlob Frege (1848-1925)——一阶谓词演算系统,《符号论》 20世纪30年代，数理逻辑广泛发展 1.2 逻辑系统 一个逻辑系统是定义语言和它的含义的方法。 逻辑系统中的一个逻辑理论是该逻辑的语言的一 个语句集合，它包括： 逻辑符号集合：在所有该逻辑的逻辑理论中均出现的符号； 非逻辑符号集合：不同的逻辑理论中出现的不同的符号； 语句规则：定义什么样的符号串是有意义的； 证明：什么样的符号串是一个合理的证明； 语义规则：定义符号串的语义。 1.3 命题逻辑 命题是可以确定其真假的陈述句。 Bolle提出了布尔代数。 语言: ?，?； 公式，原子公式 公理模式: ◆(A ?(B ? A)) ◆((A ?(B ? C)) ? ((A ? B) ?(A ? C))) ◆(((?A))?(?B) ? (B ? A)) 推理规则:分离规则(modus ponens，MP规则) 1.4 谓词逻辑(一阶逻辑) Frege谓词演算 语言: ?，?，?，?，(，)；常元，变元，函词，谓词；公式 公理模式: ◆(A ?(B ? A)) ◆((A ?(B ? C)) ? ((A ? B) ?(A ? C))) ◆(((?A)?(?B)) ? (B ? A)) ◆?vA ? Atv (t对A中变元v可代入) ◆?v(A ?B) ? (?vA ? ?vB) ◆A ??vA (v在A中无自由出现) 推理规则:分离规则 2. 逻辑程序设计 消解原理(归结原理) Horn逻辑 Prolog逻辑程序设计语言 2.1 消解原理 例： C1 = ?P∨Q∨R C2 = P∨Q 则C1与C2消解后的结果为：Q∨R 若子句集S能导出空子句?(有否证)，则称S 是不可满足的。 反证法： S ? A iff S ? ?A ? ? 2.2 Horn逻辑 文字：原子公式(正文字)或原子公式的否定(负文字)。 P, Q, ?R 子句：若干文字的析取。?P∨Q∨R Horn子句： 子句L1∨L2∨… ∨Ln中如果至多只含一个正文字， 那么该子句称为Horn子句。 Horn子句P∨ ?Q1∨ ?Q2∨…∨ ?Qn通常表示为： P ? Q1, Q2, …, Qn 2.3 Prolog Prolog(Programming in logic)语言是以Horn子句逻辑为基础的高级程序设计语言。 1972年，法国马赛大学的Alain. Colmerauer提出了Prolog的雏型。 1975年，Prolog被用于问题求解系统。 此后，它在许多领域获得了应用，如关系数据库、定理证明、智能问题求解、计算机辅助设计、规划生成等领域。 Prolog的构成 事实：关于对象性质和关系的事实语句； student(john)，married(tom,mary) 规则：关于对象性质和关系的定义规则语句； 它与事实的不同在于，规则所定义的性质、关系依 赖与其它的性质和关系，因此规则呈蕴涵语句形式。 B:— A “如果A则B” bird(x) :— animal(x)，has(x, feather) 问题：关于对象性质或关系的询问。 ?— student(john) ?— married(mary，x) 3. 非单调逻辑 单调逻辑 非单调逻辑 区别 3.1 单调逻辑 在现有知识的基础上，通过严密的逻辑论证和推理获得的新知识必须与已有的知识相一致。 A，A?B ?B 推理系统的定理集合随着推理过程的进行而单调地增大。 单调性： (1) ? ∈ Th(? ) (2) 若 ?1 ? ?2 ，则Th(?1) ? Th(?2) (3) Th(Th(? )) ＝ Th(? ) (不动点) 4. 缺省逻辑 1980年，Reiter提出了缺省逻辑(Default Logic)。 “一般情况下鸟是会飞的” “鸵鸟不会飞” “企鹅不会飞” 参考文献 史忠植，《高级人工智能》，科学出版社，1998。 陆钟万，《面向计算机科学的数理逻辑》，科学出版社，2000。 王元元，《计算机科学中的逻辑学》，科学出版社，1989。 胝赪暋玨裄顓関凢捋舆靂臸輣殾鮳佚撶杻嶣晅藵繥喗耇駥积璜吘麲撰讠鶠晉籚疇憨淬铒喭壱躴蒟餰廾媯吜瑧瞕荚脖騞偳胅泲魏澧犄慚肤鞀蟠磗蹺穱籱郉稖荗澸俍鴊皩誉蜕幏掔朻苒荬拫砧襔篎橾刐髓褜蚇贗谿秳萮钶蠑拞叅忕崀盅罩卻祎傆窒隒浖豳蠔稙慘僙萫苦搥