逻辑表示模式 将事实用“命题”和“谓词”两种方式表示; 命题:“真”、“假”两种可能的事实; 如:P命题“2980cm-1处有吸收”; Q命题“1719cm-1处有吸收 命题可以用逻辑关系词组合成“复合命题”; P^Q;化合物在两处均有吸收 谓词:描述实体的性质或关系; 如:P( acetone)表示“丙酮在1719cm-1处有吸收”; E(b,c)表示“b=c”;A(Z,X,Y)表示Z=X+Y; 知识表述:E(X,Y)^E(Y,Z)→E(X,Z 若X=Y且Y=Z,则X=Z(→为逻辑关系“蕴含”) 大量的知识描述(事实或规则)即构成知识库 00:03:2100:03:21 逻辑表示模式 将事实用“命题”和“谓词”两种方式表示； 命题：“真” 、 “假”两种可能的事实； 如：P命题“2980cm-1处有吸收” ； Q命题“1719cm-1处有吸收” 命题可以用逻辑关系词组合成“复合命题” ； P^Q；化合物在两处均有吸收 谓词：描述实体的性质或关系； 如：P(acetone)表示“丙酮在1719cm-1处有吸收” ； E(b,c)表示 “b=c” ； A(Z,X，Y)表示Z=X+Y； 知识表述： E(X,Y)^ E(Y,Z)→ E(X,Z) 若X=Y且Y=Z，则X=Z（→为逻辑关系“蕴含”） 大量的知识描述（事实或规则）即构成知识库