知识表示方法资料.pptVIP

* * * * * * * * 状态图示法是指用图来表示一个问题的求解过程。 * * * * * * * * Machine Intelligence 梵塔问题归约图（与或图） 问题归法——与或图表示 Machine Intelligence 命题逻辑 命题逻辑 命题：具有真假意义的陈述句。如：“今天下雨”，“雪是黑的”； 命题总是具有一个值，称为真值。真值只有“真”和“假”两种，一般分别用符号T和F表示。 原子命题：不能分解成更简单的陈述语句。 复合命题：由连接词、标点符号和原子命题等复合构成的命题 。 命题逻辑：研究命题和命题之间关系的符号逻辑系统。 Machine Intelligence 命题逻辑 命题逻辑语法 逻辑常量：True(T)和False(F)。 命题符号：P、Q、R等。 连接词：命题逻辑主要使用5个连接词，通过这些连接词，可以由简单的命题构成复杂的复合命题： ﹁:否定(not), ﹁P称为句子P的否定； ∧：合取(Conjunction)，复合命题P ∧Q表示P和Q的合取； ∨：析取(Disjunction),复合命题P∨Q表示P和Q的析取； →：蕴涵(Implies)，复合命题P →Q蕴涵或条件句，表示命题P蕴涵命题Q，或者说是命题P是命题Q的条件，即“如果P，那么Q”； -:等价(Equivalent)，复合命题P-Q称为P和Q等价，即“如果P，那么Q；如