HS-代数的(落影)模糊演绎系统 被引量：1

1

作者 杨永伟 王伟 《浙江大学学报（理学版）》 CAS CSCD 北大核心 2015年第6期672-676,686,共6页

定义了HS-代数的模糊演绎系统,由模糊积和模糊上集给出了模糊演绎系统的一个新刻画,讨论了模糊演绎系统的像和逆像的性质.使用落影理论讨论了HS-代数的演绎系统,并研究了落影模糊演绎系统和模糊演绎系统的关系.

关键词 HS-代数 模糊演绎系统 落影理论

在线阅读 下载PDF 职称材料

BL命题逻辑系统的强同余关系及演绎系统 被引量：1

2

作者 崔艳丽 梁颖 吴洪博 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2018年第2期237-241,共5页

通过在BL命题逻辑系统的公式集F(S)中提出演绎系统的概念,并引入强同余关系,讨论BL系统中演绎系统和强同余关系之间的联系,给出二者之间相互转换的方法,并得到了二者之间相互转换的还原性.

关键词 模糊逻辑 命题逻辑系统BL 演绎系统 强同余关系

在线阅读 下载PDF 职称材料

基于括号表示法的4值逻辑自然演绎系统 被引量：4

3

作者 杜国平 《湖北大学学报（哲学社会科学版）》 CSSCI 北大核心 2020年第2期36-49,167,共15页

运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可... 运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可以严格证明4值逻辑自然演绎系统PD 4是经典2值逻辑、卢卡西维茨3值逻辑以及一般3值逻辑系统的扩充。 展开更多

关键词 联结词 括号表示法 4值逻辑 自然演绎系统 扩充

在线阅读 下载PDF 职称材料

模糊逻辑中的自然演绎系统 被引量：2

4

作者 裴道武 《工程数学学报》 CSCD 北大核心 2002年第3期95-100,共6页

讨论了经典逻辑的自然演绎系统在模糊逻辑中的对应形式。基于著名的形式演绎系统L ,建立起对应的自然演绎系统L ND,并且证明了这个系统的完备性。由于一系列新的推理规则的引入 ,模糊逻辑的推理能力得到明显增强。

关键词 模糊逻辑 自然演绎系统 推理规则

在线阅读 下载PDF 职称材料

可演绎系统的研究 被引量：2

5

作者 李磊 J.Kouloumdjian 《计算机科学》 CSCD 北大核心 1993年第3期23-25,共3页

本文综述了可演绎系统目前的研究情况,认为以 DATALOG 为代表的演绎数据库系统进化为实用系统是困难的。文中简介了一个基于 PROLOG 的可实用的可演绎系统,还对进一步的研究内容及其原因进行了讨论。

关键词 可演绎系统 演绎数据库

在线阅读 下载PDF 职称材料

用逆向演绎系统解决画面问题FP

6

作者 王士同 吴翰声 《计算机工程与设计》 CSCD 北大核心 1993年第3期9-14,共6页

本文叙述了在设计基于对象模型的机器人规划生成系统时因状态描述中含有常识性推理规则而引起的画面问题FP(Frame—Problem),提出了一个应用基于规则的逆向演绎系统解决此类画面问题的方法。

关键词 人工智能 画面问题 逆向演绎系统

在线阅读 下载PDF 职称材料

理想状态下泛逻辑的形式演绎系统β

7

作者 罗敏霞 何华灿 《计算机科学》 CSCD 北大核心 2004年第3期95-98,共4页

本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。

关键词 人工智能 专家系统 模糊推理 模糊逻辑 泛逻辑 形式演绎系统

在线阅读 下载PDF 职称材料

理想状态下泛逻辑的形式演绎系统B的完备性

8

作者 罗敏霞 何华灿 《计算机科学》 CSCD 北大核心 2005年第6期93-95,共3页

UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。

关键词 形式演绎系统 理想状态 完备性 泛逻辑 广义相关系数 自相关系数 代数系统 滤子

在线阅读 下载PDF 职称材料

句法范畴的代数结构与演绎系统

9

作者 于江生 《中文信息学报》 CSCD 北大核心 2001年第2期9-15,共7页

本文给出了建立在含幺半群基础上的范畴语法的代数结构 ,定义了范畴方程和它的解并对范畴方程的解作了分类 :相容性的相关性。定理“对于范畴方程的任意一个解X ,都存在唯一的本质解Y使得Y X”使得我们可以通过一定的演绎规则对词w的... 本文给出了建立在含幺半群基础上的范畴语法的代数结构 ,定义了范畴方程和它的解并对范畴方程的解作了分类 :相容性的相关性。定理“对于范畴方程的任意一个解X ,都存在唯一的本质解Y使得Y X”使得我们可以通过一定的演绎规则对词w的本质范畴作扩张以得到w的所有句法范畴。最后 。 展开更多

关键词 句法范畴 范畴方程 本质解 类型提升 范畴语法 代数结构 演绎系统 演绎规则

在线阅读 下载PDF 职称材料

弱MTL代数的演绎系统与同余关系的对应定理 被引量：3

10

作者 王霞霞 吴洪博 《济南大学学报（自然科学版）》 CAS 北大核心 2015年第4期297-302,共6页

通过在剩余格L中引入条件:a,b∈L,(a→(a→b))∨(b→(b→a))=1,建立弱MTL代数结构,讨论弱MTL代数中极大(素)演绎系统和极大(素)同余关系的基本性质以及两者之间的联系,证明了弱MTL代数中(极大,素)同余关系与(极大,素)演绎系统一一对应。

关键词 模糊逻辑 弱MTL代数 演绎系统 同余关系 极大同余关系 素同余关系

在线阅读 下载PDF 职称材料

逻辑程序部分演绎系统的研制 被引量：2

11

作者 陶意 《北京工业大学学报》 CAS CSCD 1994年第3期109-118,共10页

介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计... 介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。 展开更多

关键词 逻辑程序 部分演绎系统 程序设计

在线阅读 下载PDF 职称材料

L~*系统中的模糊演绎定理 被引量：26

12

作者 吴洪博 文秋梅 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第1期17-22,共6页

研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,... 研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 .结果表明 ,在L 系统中 ,(1 )如果Γ∪ {A} B ,那么Γ A2 →B ;(2 )Γ∪ {A2 } B的充要条件是Γ A2 →B ;(3) (A B) C≈A (B C) (≈表示可证等价 ) ;(4)A B≈B A ;(5 ) A (A→B)→B ;(6 ) A2 →Ak(k∈N) . 展开更多

关键词 模糊逻辑 模糊命题演算 算子 模糊演绎定量 形式演绎系统 模糊推理 Kleene逻辑系统 推理规则

在线阅读 下载PDF 职称材料

演绎信息检索系统的研究

13

作者 杨建林 《情报杂志》 CSSCI 北大核心 2000年第6期49-50,共2页

首先给出将信息数据库、知识库、检索规则、检索要求以谓词的形式表示出来的方法,然后讨论了如何建立演绎信息检索系统。

关键词 演绎系统 信息检索 谓词 检索系统

在线阅读 下载PDF 职称材料

基于SQL Server的演绎数据库系统 被引量：7

14

作者 陶世群 原锦辉 《计算机工程》 CAS CSCD 北大核心 2001年第3期33-34,共2页

分析了演绎数据库的理论基础和实现机制，重点介绍设计和实现的基于ＳＱＬ Ｓｅｒｖｅｒ的演绎数据库系统，对系统进行了分析和评价．

关键词 演绎数据库系统 SQL SERVER 人工智能 数学模型

在线阅读 下载PDF 职称材料

演绎数据库系统SD-DDBS的设计与实现 被引量：6

15

作者 陶世群 陈晓东 《计算机工程与应用》 CSCD 北大核心 2002年第18期207-209,共3页

主要介绍了一种演绎数据库系统SD-DDBS的设计思想和实现技术,重点阐述了规则的表示及实现机制。

关键词 演绎数据库系统 SD-DDBS 设计 推理机 递归查询 规则库 人工智能

在线阅读 下载PDF 职称材料

基于缺省理论演绎的规则型T-R程序生成系统

16

作者 郑朝华 彭桂芸 刘清 《小型微型计算机系统》 CSCD 北大核心 1997年第11期19-26,共8页

本文建立了基于缺省理论的时态逻辑公式演绎系统。演绎过程除了使用一阶逻辑理论外，还采用了缺省推理来处理用户说明以及系统中知识不完全的问题。这种演绎系统演绎公式的过程也就是程序生成的过程，只要被演绎的公式序列能描述待生成... 本文建立了基于缺省理论的时态逻辑公式演绎系统。演绎过程除了使用一阶逻辑理论外，还采用了缺省推理来处理用户说明以及系统中知识不完全的问题。这种演绎系统演绎公式的过程也就是程序生成的过程，只要被演绎的公式序列能描述待生成的程序即可。 展开更多

关键词 缺省理论 演绎系统 T-R程序 程序设计

在线阅读 下载PDF 职称材料

演绎数据库系统中推理机的设计与实现

17

作者 常晋义 陶世群 郑成增 《计算机工程》 CAS CSCD 北大核心 2002年第11期134-136,共3页

演绎推理是有效实现演绎数据库系统的关键与核心。该文针对一种结构合理的演绎数据库系统的设计方案，介绍了系统中实现递归查询的推理机的设计原理及实现过程中用到的优化技术，并对推理机的运行机制进行了分析。

关键词 演绎数据库系统 推理机 设计 递归查询 线性递归逻辑程序 约束模型

在线阅读 下载PDF 职称材料

演绎型面向对象数据库管理系统形式模型研究

18

作者 冯铃 冯玉才 《计算机研究与发展》 EI CSCD 北大核心 1993年第7期13-17,66,共6页

本文提出了一种研制演绎型面向对象数据库管理系统(DOODBMS)的理论基础,具体讨论了DOODBMS 的形式化描述、操作以及知识引入等问题,使得一方面,实现一般面向对象数据库管理系统(OODBMS)的功能,另一方面,又可获得OODBMS

关键词 演绎型面向对象数据库管理系统 规则对象 演绎推理.

在线阅读 下载PDF 职称材料

L~*系统的半对偶形式系统S“非汉字符号”~* 被引量：4

19

作者 吴洪博 陈景林 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2001年第4期4-8,共5页

研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .

关键词 模糊命题演算 形式演绎系统T^＊ 半对偶形式演绎系统ST^-＊ 并推理规则 交推理规则 等价性

在线阅读 下载PDF 职称材料

L~*系统的一种弱完全对偶形式系统WCL 被引量：5

20

作者 吴洪博 王国俊 《西安石油学院学报（自然科学版）》 2000年第6期48-52,共5页

研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 。

关键词 模糊逻辑 命题演算 形式演绎系统T^＊ 弱完全对偶形式演绎系统WCT^＊-

在线阅读 下载PDF 职称材料