判定多值逻辑推导问题的代数方法

发布时间：2018-03-21 00:03

  本文选题：多值逻辑　切入点：多项式　出处：《兰州大学学报(自然科学版)》1995年02期 　论文类型：期刊论文

【摘要】：本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应．从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数簇上消失．通过代数簇的分解，给出了判定这一问题的算法．
[Abstract]:In this paper, it is proved that for a given multivalued logic system, the polynomial in the rational number field corresponds to the propositional formula, so as to determine whether a propositional formula can be deduced from a set of propositional formulas. We only need to determine whether a polynomial disappears on an algebraic cluster, and an algorithm for judging this problem is given by decomposing the algebraic cluster.
【作者单位】： 兰州大学计算机科学系
【分类号】：O141

【相似文献】

相关期刊论文 前10条

1 李祥;非古典逻辑Kripke语义分析的一阶理论[J];华中科技大学学报(自然科学版);1980年01期

2 黎景辉;;线性代数群[J];中山大学学报(自然科学版);1980年02期

3 徐森林;C~n或R~n中代数簇按秩分解的次数S≤2~n-1是最优估计(英文)[J];中国科学技术大学学报;1981年02期

4 ;中国科学技术大学学报 第11卷 1981年 总目录[J];中国科学技术大学学报;1981年04期

5 A.Borel,万哲先;线性代数群[J];数学进展;1984年03期

6 徐森林,王则柯,曹怀东;代数簇的孤立点[J];科学通报;1984年07期

7 黄涵 ,章仲英;对称BCI—代数类是一个BCI—代数簇的充要条件[J];宁夏大学学报(自然科学版);1984年01期

8 王建磐;;G/P上的诱导层的逆像[J];华东师范大学学报(自然科学版);1984年04期

9 David Mumford;;第四章 周维良定理[J];韶关学院学报;1984年Z1期

10 ;关于Weil猜想[J];韶关学院学报;1984年Z1期

相关会议论文 前6条

1 刘社军;;命题逻辑之判定层次及其判定方法[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 诸葛海;冯树椿;胡上序;;MIS生成的相似模型[A];第三届全国控制与决策系统学术会议论文集[C];1991年

3 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

4 梁丹然;;加入最优动作选择规则的扩展的图规划[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年

5 陈图云;吴凤干;汤服成;;直觉模糊命题逻辑的广义拟重言式及其分类[A];第12届全国模糊系统与模糊数学学术年会论文集[C];2004年

6 赵英阳;许道云;;NT-HIT(k)公式的存在性[A];2005年全国理论计算机科学学术年会论文集[C];2005年

相关重要报纸文章 前2条

1 记者潘锋　徐彬　马晓岚;菲尔茨奖和内万林纳奖揭晓[N];科学时报;2002年

2 本报记者 贾西平　温红彦;“数学，其乐无穷”[N];人民日报;2002年

相关博士学位论文 前6条

1 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

2 赖义生;分片代数曲线与分片代数簇的若干研究[D];大连理工大学;2002年

3 朱春钢;分片代数曲线、分片代数簇与分片半代数集的某些问题研究[D];大连理工大学;2005年

4 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年

5 骆翔宇;多智能体系统的符号模型检测[D];中山大学;2006年

6 夏世芬;基于Petri网模型的归结自动推理研究[D];西南交通大学;2006年

相关硕士学位论文 前10条

1 彭丰富;Gr(?)bner基与约化的研究及其应用[D];中南大学;2001年

2 刘永红;现代汉语转折复句的逻辑语义分析[D];广西师范大学;2003年

3 吴密景;线性偏微分算子右逆存在性问题的探讨[D];山西大学;2004年

4 邓芳芳;关于高维代数簇的nef-值态射的研究[D];暨南大学;2004年

5 姚春宇;函数域上Witt扩张的Zeta函数计算[D];解放军信息工程大学;2004年

6 李晓冰;区间值模糊命题逻辑的广义拟重言式及其真度[D];辽宁师范大学;2005年

7 闫峰;大学生心理咨询专家系统的研究和实现[D];湖南大学;2006年

8 陈韵霞;一种基于分类结构的本体匹配方法[D];哈尔滨工程大学;2006年

9 肖华;DPLL到（1，1）-消解的转换及其复杂性分析[D];贵州大学;2006年

10 陈引兰;正交模格的自同构群[D];云南师范大学;2006年

，

本文编号：1641379