搜索到121篇“ 谓词演算“的相关文章
BL(?)谓词演算系统公理化真度研究
一阶逻辑作为公理系统的标准形式逻辑之一,其中包含的程度化推理等研究内容,是一个研究热点也是难点.本文从一阶逻辑演算的语义理论出发,利用可满足性及完备性定理研究了一阶逻辑中公理化真度.先给出并,交运算可满足性的定义,说明了...
郝娇
关键词:相似度伪距离计算方法
基于似谓词演算形式的机器思维语言翻译的方法及系统
本发明公开了基于似谓词演算形式的机器思维语言翻译的方法及系统,包括以下步骤:S1、输入翻译前的自然语言信息语句;S2、将自然语言信息语句基于似谓词演算形式,利用不同层面集切分得到最简思维模式集合;S3、将最简思维模式集合...
王立山
文献传递
吴方法在离散数学谓词演算教学中的应用
2011年
离散数学是现代科学的一个重要分支,是计算机科学中基础理论的核心课程,而谓词逻辑是其中一个十分重要的内容之一。如何将计算机自动推理的另一个经典方法——吴方法引入到离散数学的教学中是本文着重探讨的问题。
李轶
关键词:离散数学吴方法
吴方法在离散数学谓词演算教学中的应用被引量:1
2010年
离散数学是现代科学的一个重要分支,是计算机科学中基础理论的核心课程,而谓词逻辑是其中一个十分重要的内容之一。如何将计算机自动推理的另一个经典方法——吴方法引入到离散数学的教学中是本文着重探讨的问题。
李轶
关键词:离散数学吴方法
管理信息本体需求的谓词演算有限集构造被引量:5
2009年
由于管理信息需求的不确定性、多样性和动态性,管理信息系统(包括ERP)的开发一直被认为是一项高风险的投资项目.通过管理信息本体的研究,构建基于本体需求的管理信息本体描述框架及其谓词演算集,无疑可以进一步降低管理信息系统的开发成本,缩短开发周期,提高开发效率,并且易于维护,从而延长管理信息系统的生命周期.
郭星明郭天晨刘观生张三元
关键词:管理信息系统谓词演算
基于FI-代数的一阶模糊谓词演算逻辑系统被引量:1
2008年
在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性。这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题。
朱怡权
关键词:FI-代数模糊逻辑可靠性
命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论被引量:16
2004年
引入了度量R0-代数和R0型Hilbert方体的概念. 从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统κ*的近似推理理论,并得到了统一的完备性定理.
王国俊钱桂生党创寅
关键词:命题演算谓词演算R0-代数完备性定理命题逻辑一阶逻辑
一阶谓词演算自然演绎型直觉主义系统NDPI
2003年
刘大中董克诚
关键词:谓词演算直觉主义逻辑
一个新的模糊谓词演算形式系统被引量:11
2003年
 首先,在模糊逻辑命题演算形式系统L 的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K ,基于R0代数的基本理论,给出了系统K 的若干语义概念,包括M-解释I,I-赋值,公式的值,真,M-逻辑有效性等,从而形成了模糊谓词演算一种新的语构与语义体系.其次,研究了系统K 的基本性质,指出了系统L 的定理都是系统K 的定理,给出了系统K 与量词有关的一些重要定理,证明了系统L 的重言式在系统K 中的代换实例都是系统K 中关于任何R0链的逻辑有效公式;系统K 的可靠性定理成立,即系统K 中的定理关于任何R0链也是逻辑有效的;系统K 的强可靠性定理也成立,即系统K 在任何理论T下的定理关于任何R0链也是逻辑有效的.最后给出并证明了系统K 的一种新的演绎定理,一阶系统K 及其重要的性质,为模糊推理提供了一种更为合理的逻辑框架.
裴道武姜慧
关键词:模糊逻辑R0代数模糊推理
中介逻辑谓词演算系统MFM
本文以中介逻辑谓词演算系统MF<'N>为基础,构造了基于命题联结词^、V、→、ヲ和ヘ的新中介逻辑谓词演算系统MF<'M>,并证明了其可靠性和完备性.
毛宇光南京航空航天大学计算机科学研究所(南京)徐洁磬南京大学计算机科学与技术系(南京)周勇朱梧槚
关键词:数据库理论
文献传递

相关作者

毛宇光
作品数:112被引量:248H指数:8
供职机构:南京航空航天大学计算机科学与技术学院
研究主题:关系数据库 数据库 数据模型 协调数据库 中介逻辑
徐长宝
作品数:2被引量:0H指数:0
供职机构:上海交通大学
研究主题:可靠性指标 谓词演算 谓词 变电站保护 保护系统
江明德
作品数:15被引量:11H指数:3
供职机构:电子科技大学计算机科学与工程学院计算机系
研究主题:程序设计 面向对象 体裁 人工智能 面向对象程序
艾波
作品数:56被引量:438H指数:9
供职机构:北京邮电大学计算机学院
研究主题:软件体系结构 电信运营支撑系统 SDL 面向对象 抽象状态机
龚启荣
作品数:37被引量:18H指数:2
供职机构:贵州大学
研究主题:制约逻辑 逻辑 新知 实质蕴涵 人工智能