基于数理逻辑的知识表示.pdfVIP

2008年7月 榆林学院学报 July．2008 COU正CE V01．18No．4 第18卷第4期 JOURNALOFYULIN 基于数理逻辑的知识表示 王青海 (青海师范大学计算机系，青海西宁810008) 摘要：数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重 要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手，提出了 基于数理逻辑的知识表示方法与实例，并提出谓词逻辑的局限与应当进一步研究的问题。 关键词：数理逻辑；谓词逻辑；知识表示 ． 中图分类号i0158文献标识码：A文章编号：1008—3871(2008)04—0097-03 l 引言 分析：可将题目中语句符号化，求其真值表或求 在现实生活中，人类的智能活动过程主要是一 其主析取范式¨o即可。 个获得并运用知识的过程，知识是智能的基础。在 解：设命题A为：甲说真话；命题B为：乙说真 计算机科学中，解决实际问题的一种好的策略往往 话；命题C为：丙说真话。根据题意可知，推理前提 依赖于一种好的知识表示的方法。 为：P1=(AH-1B)^(B一_1C)^(CH，A^， 知识表示作为人工智能研究的热点和核心，已 B)。作出的真值表如表l所示。 成为人们对智能模拟的数学模型。本文从命题逻辑 故其对应极小项为，A^B^，C，原公式P的 与谓词逻辑人手，利用符号化命题公式和谓词公式， 主析取范式是，A^B^一、C，也即甲、丙说假话，乙 给出常见逻辑推理、自然语言形式化、数学命题形式 说真话。 化及动态系统行为描述，从而给出了最基本的知识 3谓词逻辑 表示方法。 谓词用于刻画个体的性质或个体之间关系模 2命题逻辑 式，因而谓词逻辑较命题逻辑具有较强的表示知识 2．1命题符号化例l：将命题“如果你来了，那 的能力，使用谓词进行符号化时，应首先确定个体 么他唱不唱歌将看你是否伴奏而定”符号化。 域，一般使用全总个体域；然后分析命题的个体以及 分析：“如果——那么——”显然是蕴涵联结， 各个个体间的关系，确定谓词；根据表示数量的词决 “他唱不唱歌将看你是否伴奏而定”可看作是“你伴 定量词，用联结词将整个命题符号化【2】。 奏”与“他唱歌”同真假，也即为：“如果你伴奏，则他 3．1 自然语言符号化例3：用谓词公式表示下列 唱歌，如果你不伴奏，则他不唱歌”。 语句。①所有的运动员都敬佩某些教练员；②季红 解：设P：你来了；Q：他唱歌；R：你伴奏，则命题 是美术系的一名学生，但她不喜欢画画。 可符号化为：P++(Qc=R) 2．2逻辑推理问题符号化逻辑推理是一类智力 游戏及竞赛中常见的问题，题目涉及变元繁多，若采 全称量词与存在量词，则可表示为：。 用命题符号化可使推理过程简明、直观。 Respect(x， 例2：有甲乙丙三人，甲说乙在说谎，乙说丙在 y)))。 说谎，丙说甲、乙都在说谎，问甲、乙、丙三人到底谁 在说谎? 收稿日期：2∞8—∞—10 作者简介：王青海(19醴一)，男，陕西蒲城人，硬士。剐教授，主爱研究方向；神经网络，信息处理、离散数学。E—trail：wqlnmee@163．m 万方数据 ·98