人工智能7课题课件.pptVIP

人工智能——一种现代方法第三部分知识和推理命题逻辑谓词逻辑知识表示方法§信息学院05三月2024

人工智能——一种现代方法第七章逻辑智能体7.1基于知识的智能体7.2wumpus世界7.3逻辑7.4命题逻辑7.5命题逻辑的推理模式7.6基于命题逻辑的智能体§信息学院05三月2024

人工智能——一种现代方法基于知识的智能体知识库(Knowledgebase，KB)：语句的集合TELL：将新语句添加到知识库，告诉知识库感知的信息记录选择的行动ASK：查询知识库，以获得应该执行的行动§信息学院05三月2024

人工智能——一种现代方法Wumpus世界性能度量：金子+1000，死亡-1000每次行动-1，用掉箭-10环境：4*4网格，金子、陷阱、wumpus传感器：Stench,Breeze,Glitter,Bump,Scream部分可观察、确定性的、延续式的、静态的、离散的、单智能体环境。执行器：向前移动，左、右转90度，Grab，shoot，§信息学院05三月2024

人工智能——一种现代方法[None,None,None,None,None]§信息学院05三月2024

人工智能——一种现代方法§信息学院05三月2024

人工智能——一种现代方法[None,Breeze,None,None,None]§信息学院05三月2024

人工智能——一种现代方法§信息学院05三月2024

人工智能——一种现代方法[Stench,None,None,None,None]§信息学院05三月2024

人工智能——一种现代方法§信息学院05三月2024

人工智能——一种现代方法[None,None,None,None,None]§信息学院05三月2024

人工智能——一种现代方法[Stench,Breeze,Glitter,None,None]§信息学院05三月2024

人工智能——一种现代方法逻辑逻辑的历史Aristotle：逻辑学Leibnitz：数理逻辑Gottlobfrege:一阶谓词演算系统，《符号论》(19世纪)20世纪30年代，数理逻辑广泛发展§信息学院05三月2024

人工智能——一种现代方法逻辑系统一个逻辑系统是定义语言和它的含义的方法。逻辑符号集合：在所有该逻辑的逻辑理论中均出现的符号非逻辑符号集合：不同的逻辑理论中出现的不同的符号语句规则：定义什么样的符号串是有意义的语义规则：定义符号串的语义推理规则、公理和证明§信息学院05三月2024

人工智能——一种现代方法逻辑和程序语言的对比逻辑系统逻辑符号非逻辑符号程序语言保留字或符号用户自定义的符号(变量名，函数名等)语句规则构造一个程序的语句规则定义程序做什么的规则无语义规则推理规则、公理和证明§信息学院05三月2024

人工智能——一种现代方法语义§x+2≥y在x=7,y=1的世界中为真§x+2≥y在x=0,y=6§的世界中为假可能世界—模型m是α的一个模型，表示α在模型m中真§信息学院05三月2024

人工智能——一种现代方法逻辑推理--蕴含关系（entailment）一个语句逻辑上跟随另一个语句而出现α╞β，当且当在α真的模型中，β也真（当α真，β必定真）即β的真包含α的真中例如：x+y=4蕴含4=x+yKB╞α§信息学院05三月2024

人工智能——一种现代方法模型检验3个方格中的每个可能包含或不包含陷阱，则存在8个可能的模型§信息学院05三月2024

人工智能——一种现代方法模型检验与智能体所知内容相矛盾的模型中，KB为假。根据[1,1]无微风，则在任意[1,2]有陷阱的模型中，KB为假仅3个模型使得KB为真。α：[1,2]无陷阱，α：[2,2]无陷阱12§信息学院05三月2024

人工智能——一种现代方法模型检验α：[1,2]无陷阱1KB╞α1§信息学院05三月2024

人工智能——一种现代方法模型检验α：[2,2]无陷阱2KB╞α2模型检验:枚举出所有可能的模型用于检验在KB中为真的所有模型中α为真。§信息学院05三月2024

人工智能——一种现代方法推理的可靠性和完备性KB├α：α通过推理算法i从KB中导出，i推理算法i从KB中导出α推理算法i是可靠的：如果KB├α，则KB╞αi推理算法i是完备的：如果KB╞α，则KB├αi§信息学院05三