1、谓词逻辑表示法。常用的联结词:否定、析取、合取、蕴涵、双条件。量词有全称量词和存在量词。联结词的优先级从高到低依次为否定、合取、析取、蕴含、双条件。
2、产生式表示法,表现形式P→Q或IF P THEN Q,其中P表示前提条件,Q表示得到的结论。一定要理解下图中的产生式系统的结构图以及运用它推理的方法。
3、语义网络表示法:语义网络是一种用语义和语义关系表示知识且带有方向的网络图。
(1)类属关系,具有继承性。ISA 是一个,AKO是“a kind of”,AMO是“a number of”
(2)包含关系,没有继承性。Partof是“是一部分“ (3)位置关系 (4)时间关系
(5)属性关系,Have有、Can能、Age年龄
(6) 相近关系,similar to,near to
(7)因果关系 ,if then
(8)组成关系,composed of
4、逻辑关系的表示:用语义网表示逻辑关系。
5、框架表示法:框架通常由若干个槽组成,每个槽用来表示事物的各个方面,其根据事实需要拥有若干个侧面,每一个侧面也可以拥有若干个值。