人工智能的逻辑基础初探何华灿西北大学学习教案

1、会计学1人工智能的逻辑基础人工智能的逻辑基础(jch)初探何华灿西初探何华灿西北大学北大学第一页，共47页。 第1页/共47页第二页，共47页。第2页/共47页第三页，共47页。第3页/共47页第四页，共47页。第4页/共47页第五页，共47页。第5页/共47页第六页，共47页。 第6页/共47页第七页，共47页。第7页/共47页第八页，共47页。第8页/共47页第九页，共47页。 第9页/共47页第十页，共47页。什么是广义逻辑观什么是广义逻辑观逻辑是自然界一切事物及其变化的一般逻辑是自然界一切事物及其变化的一般规则和规范。（何华灿）规则和规范。（何华灿）逻辑和具体科学及哲学的关系与区别逻辑

2、和具体科学及哲学的关系与区别 科学科学 具体研究某类对象具体研究某类对象(duxing)(duxing)的的变化规律变化规律 哲学哲学 抽象研究整个自然的变化规律抽象研究整个自然的变化规律 逻辑逻辑 抽象研究自然变化的规则和规范抽象研究自然变化的规则和规范逻辑侧重规则和规范，科学侧重原理逻辑侧重规则和规范，科学侧重原理第10页/共47页第十一页，共47页。第11页/共47页第十二页，共47页。第12页/共47页第十三页，共47页。第13页/共47页第十四页，共47页。 第14页/共47页第十五页，共47页。第15页/共47页第十六页，共47页。刚性刚性(n xn)逻辑学和柔性逻逻辑学和柔性逻辑

3、学辑学辨证逻辑的数学化得到非经典(jngdin)数理逻辑，它是 柔性逻辑学 (Flexibility logics)形式逻辑的数学化得到经典(jngdin)数理逻辑，它是 刚性逻辑学 (Rigid logics)第16页/共47页第十七页，共47页。 第17页/共47页第十八页，共47页。 第18页/共47页第十九页，共47页。第19页/共47页第二十页，共47页。第20页/共47页第二十一页，共47页。 信息不全：全信息逻辑信息不全：全信息逻辑非全信息逻辑非全信息逻辑关键关键(gunjin)1(gunjin)1：如何补充和修正：如何补充和修正假设命题假设命题关键关键(gunjin)2(gun

4、jin)2：如何处理假设命：如何处理假设命题带来的各种问题题带来的各种问题第21页/共47页第二十二页，共47页。第22页/共47页第二十三页，共47页。 动态变化：一维逻辑动态变化：一维逻辑高维逻辑高维逻辑关键关键1 1：伪偏序逻辑的蕴涵：伪偏序逻辑的蕴涵(ynhn)(ynhn)如何如何定义？定义？关键关键2 2：从整数维实数维可能吗？：从整数维实数维可能吗？第23页/共47页第二十四页，共47页。第24页/共47页第二十五页，共47页。第25页/共47页第二十六页，共47页。第26页/共47页第二十七页，共47页。 第27页/共47页第二十八页，共47页。 第28页/共47页第二十九页，共

5、47页。第29页/共47页第三十页，共47页。第30页/共47页第三十一页，共47页。第31页/共47页第三十二页，共47页。第32页/共47页第三十三页，共47页。第33页/共47页第三十四页，共47页。第34页/共47页第三十五页，共47页。第35页/共47页第三十六页，共47页。第36页/共47页第三十七页，共47页。第37页/共47页第三十八页，共47页。第38页/共47页第三十九页，共47页。(jch)(jch)上，引入柔性参数和自适上，引入柔性参数和自适应调整机制，建立了柔性命题逻辑应调整机制，建立了柔性命题逻辑学学第39页/共47页第四十页，共47页。第40页/共47页第四十一页，共47页。 第41页/共47页第四十二页，共47页。第42页/共47页第四十三页，共47页。 第43页/共47页第四十四页，共47页。第44页/共47页第四十五页，共47页。MLML代数代数(dish)(dish)（剩余格）（剩余格） MTLMTL 代代 数数WNMWNM代数代数(dish(dish) )IMTLIMTL代数代数(dish)(dish)MTLMTL代数代数 BLBL代代数数乘积代数乘积代数(h=0.75)MV代数代数(正规正规FI代数代数)(h=0.5)GodelGodel代数代数(h=1)Boole Boole 代数代数L