Linux 公社(www.linuxidc.com)
知识的分类:1、按知识的作用范围:常识性知识(通用性知识),领域性知识(专业
性知识)(如:一个字节由 8 个位构成) 2、按知识的作用及表示:事实性知识(如:糖
是甜的),过程性知识(如:乘火车),控制性知识(如:乘飞机较快,较贵) 3、按知
识的结构及表现形式:逻辑性知识,形象性知识(如:什么是树?) 4、按知识的确定性:
确定性知识,不确定性知识(给出知识,判断是以上哪种知识)
知识表示:将人类知识形式化或者模型化
一阶谓词逻辑表示法:
命题:一个非真即假的陈述句
命题逻辑:研究命题及命题之间关系的符号逻辑系统
谓词的一般形式:P (x1, x2,…, xn) 个体 x1, x2,…, xn :某个独立存在的事物或者某个
抽象的概念; 谓词名 P:刻画个体的性质、状态或个体间的关系
(1)个体是常量:一个或者一组指定的个体
例:“老张是一个教师”:一元谓词 Teacher (Zhang) ;“ 5>3” :二元谓词 Greater (5, 3)
“Smith 作为一个工程师为 IBM 工作”: 三元谓词 Works (Smith, IBM, engineer)
(2)个体是变元(变量):没有指定的一个或者一组个体
例:“x<5” :Less(x, 5)
(3)个体是函数:一个个体到另一个个体的映射
例:“小李的父亲是教师”:Teacher (father (Li) )
(4)个体是谓词
例:“Smith 作为一个工程师为 IBM 工作”:
二阶谓词 Works (Engineer (Smith), IBM)
谓词公式:1、连接词(连词)(1)﹁: “否定”或 “非” eg:“机器人不在 2 号房间”:
﹁ Inroom (robot, r2) (2)∨: “析取”——或 eg:“李明打篮球或踢足球”: Plays (Liming,
basketball) ∨ Plays (Liming, football)(3)∧: “合取”——与 eg:“我喜欢音乐和绘画”:
Like (I, music) ∧ Like (I, painting) (4)→:“蕴含”或 “条件”(condition) eg:“如果刘华跑得
最快,那么他取得冠军。”:RUNS (Liuhua,faster)→WINS (Liuhua ,champion) (5)
:“等价”或“双条件” :“ P 当且仅当 Q”
评论0
最新资源