人工智能第五章2010.docxVIP

2 2 7/21/2013 第三部分逻辑表示及推理方法 常用的知识表示方法： ?非结构化方法 逻輯表示法 QA3,STRIPS,DART,MOMO 产生式系统 DENDRAL, MYCIN ?结构化方法 -框架 -语义网络 ?过程式知识表示法^ 第五章谓词演算（复习） ?数理逻辑思想的起源：Leibnitz之梦 产生的历史：Boole的工作、Frege的工作 发展的现实：计算机学科的基础（软件到硬件〉 古典数理逻辑主要包括两部分：命题逻辑和谓词逻辑. 命题逻辑又是谓词逻辑的一种简单情形。 ?逻辑研究的基本内容 语法语言部分：基本符号集、公式形成规则 推理部分：公理集、推理规则 语义 语法和语义之间的关系：可靠性、完备性 ?基本问题 逻辑表示下的判定问题 PAGE PAGE #/21/2013 一.命题逻辑 —句有真假意义?的话。用大写英文字母 —句有真假意义?的话。 用大写英文字母P, Q, P〔，P2, ...?表示。 例： 上海是中国最大的城市。所有素数都是奇我不会解答这道题。今天是星期日。141=2 上海是中国最大的城市。 所有素数都是奇 我不会解答这道题。 今天是星期日。 141=2。别的星球上有生物。 长春今天下雪。 如果太阳从西方升起，你就可以长生不老。 严禁吸烟。 今天的温度有多少度？ 全体起立! 7/21/2013我iE在说谎。 7/21/2013 我iE在说谎。 今天好冷啊! 如果一个命题是真的，就说它的真值是T； 如果一个命题是假的，就说它的真值是F。 T和F统称为命题的真值。 也用T代表一个抽象的真命题，用F代表一个抽 象的假命题。 6 6 3联结词?.7、 f\、 ?设P是一个命题，命题“P是不对的”称为P的否定, 记以?P,读作非P。 例?Q:张三是好人。 ~Q：张三不是好人。 语义规定：?P是真的当且仅当P是假的。 ?设P, Q是两个命题，命题“P或者Q称为P, Q的析取，记以PvQ,读作P析取Q 例. P：今天下雪，Q：今天刮风， PvQ：今天下雪或者刮风。 语义规定：PvQ是耳卵為具仅当P,Q中至少有一个为真。 ?设P, Q是两个命题，命题“P并且Q称为P, Q的合 取，记以PaQ,读作P合取Q。 例. P： 2x2=5, Q：雪是黑的， PaQ： 2x2=5并且雪是黑的。 语义规定：PaQ是真的当且仅当P和Q都是真的。 ?设P?Q是两个命题，命题“如果P,则Q”称为P蕴涵 Q,记以P—Q。 例?P： f(x)是可微的， Q： f(x)是连续的， PtQ：若f(x)是可微的，则f(x)是连续的。 语义规定：PtQ是假的当且仅当P是真的而Q是假的。 7/21/2013 ? 设P, Q是两个命题，命题“P当几仅当Q”称 为P等价Q,记以P^Qo 语义规定：P-Q是真的当且仅当P, Q或者都是真的，或者都是假的。 例 P : a2+b2=a2, Q： b=0, PoQ: a2+b2=a2当且仅当b=0。 五种逻辑联结词的优先级按如下次序递增： -? —? A, V,? 例?符号串PaQvR^Qa?SvR 意味着：((Pa(QvR^(Qa((-S)vR))) 4复合命题 用联结词将简单命题连接的结果。 5原孑 命题的抽象。 用大写的英文字母P, Q, R,…等表示。 6文字 原子或原子的否定。 7子旬 有限个文字的析取式称为一个子句。 特别，没有文字的子句称为空子句，记为口。 只有一个文字的子句称为单元子句。 8知语 肴耐个文字的合取我称)为一个短语。 PAGE PAGE # 7/21/2013 9公式 公式的形成规则??是如下定义的一个符号串: 原子是公式； F、T是公式; 若G, H是公式,贝U(?G), (GvH),(GaH), (GtH), (GoH)是公式; 所有公式都是有限次使用(1), (2), (3) 得到的符号串。 9 9 10解释 设G是命题公式,A1，…,An是出现在G中的所有原子。指定 A1,...,An的一组真值，则这组真值称为G的一个解释。 ?设G是公式，I是G的一个解释，G在I下的真值记为「(G)。 ?例?G二PaQ,设解释I, I如下： i P Q 门 T T_ 则T, (G)=T, Tr (G)=F 注意：该例子中写成G二T或G二F是错误的 PAGE PAGE # 7/21/2013 -| ［真值表 公式G在其所有可能的解释下所取真值 的表，称另6时黃卷表。 有n个不同原子的公式，共有2个解释。 12恒真公式 公式G称为恒真的（或有效的），如果G在 它的所有解释下都是真的. 117/21/2013 11 如果G在它的所有解释下都是假的. 如果G在它的所有 解释下都是假的. 满足的，如果它不是恒假的。 G是恒真的iff ~ G是恒假的。