原创力文档1;第3章知识表示与推理;3.1.1知识的概念;4;3.1.2知识的特性;6;7;第3章知识表示与推理;3.2一阶谓词逻辑表示法;3.2一阶谓词逻辑表示法;命题逻辑：研究命题及命题之间关系的符号逻辑系统。
命题逻辑表示法：无法把它所描述的事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。;12;3.2.2谓词;14;3.2.3谓词公式;16;17;3.2.3谓词公式;3.2.3谓词公式;3.2.3谓词公式;3.2.4自然语言命题的谓词形式表示;例3-3设有命题：对于所有的自然数x,y，均有x+yx。用谓词公式表示之
文档评论（0）