格值一阶逻辑系统LF（X）中带广义量词的α-归结原理.pdfVIP

第 22卷第 5期 模 糊 系 统 与 数 学 V0L22．No．5 2OO8年 10月 FuzzySystemsandMathematics Oct．，2008 文章编号：1001—7402(2008)05—0010—06 格值一阶逻辑系统LF(X)中带广义量词的 一归结原理 周 平 ，姜 明 ，孙西 。 (1．四川I师范大学 数学与软件科学学院，四川 成都 610066； 2．西南民族大学 电信学院，四川 成都 610041； 3．西南财经大学 数学系，四川 成都 610047) 摘 要：讨论格值一阶逻辑 系统LF(X)中带广义量词的口一归结，证明了带广义量词的Herbrand一定理，为 格值一阶逻辑系统中带广义量词的不确定性 自动推理作 了理论 的准备 。 关键词 ：口一归结原理 ；广义量词 ；格值一阶逻辑系统LF(X)；格蕴涵代数 中图分类号 ：O101 文献标识码 ：A 为了更好地实现人类智能活动的模拟，收集、分类、归纳和处理不完全的、模糊的、和不确定的信息， 成为计算机科学和人工智能技术的关键环节，不确定性推理也就成为人工智能的集中体现 。在Zadeh的 CRI推理方法提出后口 ]，许多不确定性的推理方法和理论相继提出，很多的研究者将不确定性推理建 立在多值逻辑、模糊逻辑和格值逻辑的基础上[3]。徐扬提出格蕴涵代数L6]，并 以格蕴涵代数为赋值域 建立 了命题逻辑系统LP(X)和 It，以及一阶逻辑系统LF(X)和I圳 j。量词在一阶逻辑 中扮演着重 要的角色 ，在经典的一阶逻辑中只有两个量词 ：存在量词和全称量词，在格值一阶逻辑系统 LF(X)中也 只讨论了存在量词和全称量词…]，文[12]、[13]讨论了LP(x)，LF(X)中的口-归结原理，文[14]给出了 LF(X)和 I删中广义量词的定义 ，讨论了带广义量词的不确定性推理 的性质，本文在其基础上讨论了带 广义量词的a一归结原理和Herbrand一定理 ，为格值一阶逻辑系统 LF(X)中带广义量词的不确定性 自动 推理作了理论的准备。关于格值逻辑系统LF(x)的定义(符号及形成规则)可见文[7]，[8]，[133。 定义 1 (一)格值一阶逻辑系统LF(X)中的解释为一个四元结构 一 {D， ，{P∞}i∈M)，{／ I∈ )) 这里 (1)D≠ 称为解释域。 (2) D．：XUC—D是一个函数。 (3)VJ∈J，厂 D 一 D 是一个 ，元的D 上的函数。 (4)V ∈ ，P D 一 是一个 元 的D 上的 一模糊关系。 D 是D上的I一模糊点构成的集，Dp一 {dId∈D，∈ ＼{0}) (二)若 是一个解释，在 上，对每一个项t在D上的L一模糊点D(￡)定义为： (1)若t∈xUC，则D(t)= ／lD(￡)J． (2)若 t= (1，…， )，则D(￡)一厂 (D(f1)，…，D(t))。 ． 收稿 日期：2007—06—2O；修订 日期 ：2007—03—16 基金项 目：国家自然科学基金资助项 目；高等学校博士学科点专项基金资助项 目(20060613007) 作者简介：周平 (1955一)．男，四川I师范大学数学与软件科学学院副教授，研究方向：模糊逻辑，智能信息处理；姜明(1956一)，女，西 南 民族大学电信学院教授 ，研究方 向：核物理，模糊数学；孙西荒 (1956一)，男，西南财经大学数学系讲师，研究方 向：模糊数学 第 5期 周平，姜明等：格值一阶逻辑系统LF(X)中带广义量词的 归结原理 (三)对每一个公式 ∈F，相应的赋值 ( 。∈L有 (1)若 ∈L，则 (D一 (2)若 —P (￡1，…，tm)，则 (9，)D：Pi~(D