人工智能学科的体系精选.pptVIP

人工智能学斛体系 人工智能学科体系的层次 人工智能理论基础 数学基础:数理逻辑,计算的数学理论,离散数学,模糊数学 思维科学理论:认知心理学,逻辑或抽象思维学,形象或直感思维学 计算机工程技术:硬件,软件技术 人工智能原理 知识的表达,知识的处理,知识的获取与学习,利用知识求解问题 人工智能工程系统 专家咨询系统,专家系统开发工具与环境,自然语言理解系统,图像 理解与识别系统,智能机器人系统  數理逻 数理逻辑:用数学方法来研究推理的形式结构和 推理规律的数学学科 与数学其它分支、计算机科学、AI、语言学有密 切的联系 数理逻辑的内容 逻辑演算 命题逻辑 谓词逻辑 证明论 公理集合论 递归论 ②2008模型论  提纲 命氩逻辑:客观世界的各种事实 一阶谓闹逻辑:遭輯论证的符 号牝,能够森杀复杂的问題(具有 软颜的表达能力)  用形式逻辑(尤其是一阶谓词逻辑)表示知识是 AI研究中提出使用的一种普遍方法。 命题逻辑和谓词逻辑是最先应用于人工智能的两 种逻辑,谓词逻辑是在命题逻辑基础上发展起来 的,命题逻辑可以看作是谓词逻辑的一种特殊形 式 202068  命题逻 命题 定义:能够判断真假的陈述句 ≥真值 真:正确的判断:真值=1T 假:错误的判断P真值=0F 例子 2是素数 雪是黑色的 3能够被2整除 地球以外的星球上也有人 202068  些不是命题的句子 X+y5 Xy未知,真假不定 这朵花多美呀!感叹句 明天下午有会吗?疑问句 请你把门关上!祈使句 202068  判断是否萄命题的方法 陈述句 真值确定 真值是确定的 可以不知道  原子命题与命题符号化 原子命题(简单命题) 不能够再分解的命题 命题符号化 使用小写的字母表示命题 放在命题的前面 p,ar pl q, ri p:2是素数真命题 q:雪是黑的假命题 202068  命题常量和命题变量 命题常量:其真值是确定的简单命题 命题变量(命题变元) 定又:真值不确定的简单陈述句 表示:也用小写字母表示:pqr, Pir girl; 性质:命题变量不是命题 例子:X+y5 202068  复合命题 定义:由简单命题用联结词联结而成的命题 例子 3不是偶数 2是素数和偶数 林芳学过英语或日语 如果角A和角B是对顶角,则角A和角B相等 202068