当前位置:文档之家› 人工智能专家系统

人工智能专家系统

谓词中包含的个体数目称为谓词的元数。 P (x)是一元谓词 P (x, y)是二元谓词 P (x1, x2, …, xn)是n元谓词
2.1 一阶谓词逻辑表示法 14
(2)谓词
谓词个体 可以是常量
例如 ① 老张是教师
Teacher (Zhang) ②5>3
Greater (5,3) 一个命题的谓词表示 不是唯一的。
2.1 一阶谓词逻辑表示法 15
(2)谓词
谓词个体 可以是常量, 也可以是变元
例如 ① x是整数 I (x) ②x<5 Less (x, 5) 当变元用特定个体取
代时,谓词才有真值。
2.1 一阶谓词逻辑表示法 16
(2)谓词
谓词个体 可以是常量, 也可以是变元, 还可以是一个函数。
例如 ① 小李的父亲是教师
其作用是否定位于后
面的命题。
例题
当P为真时,﹁P为假; 当P为假时,﹁P为真。
机器人不在二号房间 ﹁Inroom (Robor, R2)
2.1 一阶谓词逻辑表示法 21
(3)连词
② “析取”∨ 表示被它连接的两个命题具有“或”关系。
例题 我打篮球或踢足球 Play (I, Basketball) ∨ Play (I, Football)
同特征表述出来。
2.1 一阶谓词逻辑表示法 12
(2)谓词
一个谓词可分为个体、
谓词名两部分。
谓词名:用于刻画个
体的性质、状态或个体
个体:独立存在的事 间的关系。
物或者抽象的概念。
2.1 一阶谓词逻辑表示法 13
(2)谓词
谓词的一般形式: P (x1, x2, …, xn)
其中,P是谓词名,xi是个体。
谓词的真值是“真” 或“假”;
函数无真值可言,它 是从一个体到另一个体 的映射。
2.1 一阶谓词逻辑表示法 18
(2)谓词
规定 ① 谓词名是人为定义
的,通常用首字母大写 的英文单词 或 大写的 英文字母表示
如:谓词S(x) 表示x是一个学生; 也可表示x是一台电脑。
② 项中常量的首字母 大写
③ 项中变元、函数都 用小写单词 或字母表示
2.1 一阶谓词逻辑表示法 22
(3)连词
③ “合取”∧ 表示被它连接的两个命题具有“与”关系。
例题 我喜爱音乐和绘画 Like (I, Music) ∧ Like (I, Painting)
Teacher (father (Li)) ② 小李的祖父是教师 Teacher (father (father (Li))) 函数可以递归调用。
2.1 一阶谓词逻辑表示法 17
(2)谓词
谓词个体 可以是常量, 也可以是变元, 还可以是一个函数。
个体常量、变元、函 数统称为“项”。
谓词与函数是完全不 同的两个概念。
2.1 一阶谓词逻辑表示法 9
(1)命题逻辑表示法
例题 判断是否为命题。若为命题,判断真假。 ① 你明白了吗? ② 禁止吸烟! ③3>5 ④ 中国的首都是北京。 ⑤ 太阳从西边升起。
2.1 一阶谓词逻辑表示法 10
(1)命题逻辑表示法
⑥ 明天是星期五。
⑦ 1+1=10。
在星期四是真命题, 在二进制情况下是真4(2)知识表示
知识表示的定义 将人类知识形式化或
者模型化。
其实质就是对知识的 一种描述,或者说是一 组约定,一种计算机可 以接受的用于描述知识 的数据结构。
常用的知识表示方法 ① 一阶谓词逻辑表示法 ② 产生式表示法 ③ 框架表示法 ④ 语义网络表示法
…………
2. 知识表示
5
(3)知识分类
按内容来分,知识可分为陈述性知识、程序性 性知识、策略性知识。
策略性知识:也称控制性知识,是关于如何使 用前两种知识,去学习和解决问题的知识。
例如,“如何进行学习?”“如何进行推理?” 等都属策略性知识。
2. 知识表示
7
(3)知识分类
就确定性而言,知识可分为确定性知识和不确 定性知识。
例如:命题“如果直角三角形两直角边为a和b, 斜边为c,那么a2 + b2 = c2 ”是一条确定性知识。
命题“如果天阴,那么今天可能下雨”就是一 条不确定性知识。
2.1 一阶谓词逻辑表示法 8
(1)命题逻辑表示法
谓词逻辑表示法是在
命题逻辑表示法的基础 命题:是一个非真即
上发展起来的。
假的陈述句。
命题逻辑可看做是谓 若命题意义为真,则
词逻辑的一种特殊形式。 其真值为真,记为T;
若命题意义为假,则 其真值为假,记为F。
第 2 章 人工智能与专家系统 1
主要内容
1. 概述 2. 知识表示 3. 确定性推理 4. 状态空间搜索 5. 机器学习 6. 专家系统 7. 神经网络
2. 知识表示
2
知识是一切智能活动 的基础。要使机器(计 算机)具备智能,就先 必须使它具有知识。
知识需用适当的模式 表示出来才能存储到计 算机中去,即首先要解 决知识表示的问题。
陈述性知识:也称为事实性知识,是关于事物 及其关系的知识,主要回答“是什么”、“为什 么” 、“怎么样”等问题。
程序性知识:也称为过程性知识,是关于完成 某项任务的行为或操作步骤的知识,主要回答“怎 么做”、“做什么”的问题。
2. 知识表示
6
(3)知识分类
按内容来分,知识可分为陈述性知识、程序性 性知识、策略性知识。
在其他时间是假命题。 命题,在十进制情况下
是假命题。
一个命题不能同时既为真又为假; 但可在一定条件下为真,在另一条件下为假。
2.1 一阶谓词逻辑表示法 11
(1)命题逻辑表示法
在命题逻辑表示法中,
命题通常用大写的英文
字母表示。
局限性
① 无法描述客观事物
如:可用字母P表示 命题“西安是个古城”
的结构和逻辑特征; ② 无法把事物间的共
2.1 一阶谓词逻辑表示法 19
(2)谓词
一阶谓词
在谓词P (x1, …, xn)中,
若个体xi (i=1, …, n)都是 二阶谓词
常量、变元或函数,则
若 某 个 体 xi 本 身 也 是
称它为一阶谓词。
一阶谓词,则称P为二
阶谓词。
以此类推……
2.1 一阶谓词逻辑表示法 20
(3)连词
① “非”﹁
2. 知识表示
3
(1)知识
知识的概念
人们在社会实践、科 学研究中积累起来的对客 观世界的认识与经验。
知识的特性
相对正确性、不确定 性、可表示性与可利用性
知识的分类 ① 常识性知识、领域性
知识 ② 事实性知识、过程性
知识、控制性知识 ③ 逻辑性与形象性知识 ④ 确定性知识、不确定
性知识
2. 知识表示
相关主题