期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
不同逻辑间翻译的逻辑性质 被引量:4
1
作者 申宇铭 马越 +2 位作者 曹存根 眭跃飞 王驹 《计算机学报》 EI CSCD 北大核心 2009年第10期2091-2098,共8页
如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithful... 如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的. 展开更多
关键词 翻译 语义忠实翻译 语义满翻译 二阶逻辑 一阶逻辑
下载PDF
基于非标准分析的粒计算研究 被引量:12
2
作者 刘清 邱桃荣 刘斓 《计算机学报》 EI CSCD 北大核心 2015年第8期1618-1627,共10页
该文着力于研究粒计算的基本理论.粒计算作为一种粒数数系被研究,在这种数系中研究粒运算的基本定律、粒与粒之间的不可区分关系;研究这种粒数系中描述型的形式语言等.采用的方法是基于非标准分析中的超实数理论研究实值粒运算应遵循的... 该文着力于研究粒计算的基本理论.粒计算作为一种粒数数系被研究,在这种数系中研究粒运算的基本定律、粒与粒之间的不可区分关系;研究这种粒数系中描述型的形式语言等.采用的方法是基于非标准分析中的超实数理论研究实值粒运算应遵循的规则,也研究了伴随二元关系的信息粒的合成、加粗、加细、并和交运算等;在分析前人工作的基础上、基于超实数理论进一步为粒计算研究定义了一种新的不可区分关系,得到了几个相关性质,并且证明了相关结果.随后定义了描述这种粒数数系的描述型形式语言——一种带不可区分关系词的二阶粒逻辑;粒常量、粒变量、粒函数项的相关运算定律也被定义了.最后,以示例演示了这种粒逻辑适应于描述粒数学定理、粒公式化简等. 展开更多
关键词 粗糙集 模糊集 粒计算 二阶粒逻辑 粒数学 超实数 非标准分析
下载PDF
模糊有穷自动机与单体二阶Lukasiewicz逻辑 被引量:8
3
作者 李永明 《计算机学报》 EI CSCD 北大核心 2008年第10期1788-1794,共7页
该文引入了单体二阶Lukasiewicz逻辑,进而给出了模糊有穷自动机识别语言的逻辑描述,证明了多值逻辑意义下的Bchi与Elgot基本定理.通过引入星-自由模糊语言与非周期模糊语言,刻画了可以用一阶Lukasiewicz逻辑定义的模糊语言.
关键词 模糊逻辑 有穷自动机 单体二阶Lukasiewicz逻辑 模糊语言 模糊计算
下载PDF
描述逻辑εL的二阶线性推理机制 被引量:3
4
作者 王驹 陈光喜 余泉 《软件学报》 EI CSCD 北大核心 2017年第2期216-233,共18页
基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数... 基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数的,而轻量级的系统?L的算法复杂度是一阶时间指数的.但当前文献中的形式构模方法思路复杂,难以把握,几乎不能在实用的工程层面上实现.提出一种面向轻量级的描述逻辑系统家族(DL-Lite family)的统一的二阶线性推理机制,并给出该推理机制的完备性证明.该方法直观,思路清晰,从而在工程中容易实现.同时,该方法对?L,FL0,FL?,v L等DL-Lite家族的所有系统都有效.在该线序推理系统下,可以根据"空间换时间"的原则,设计和实现关于保守扩充判定的图推理机制,其复杂性(相对于空间的大小)是多项式的. 展开更多
关键词 描述逻辑 保守扩充 模块本体抽取 二阶线性推理机制 DL-Lite家族
下载PDF
二级倒立摆的泛逻辑稳定控制研究 被引量:2
5
作者 刘丽 何华灿 +1 位作者 贾澎涛 林卫 《计算机工程与应用》 CSCD 北大核心 2007年第36期82-85,共4页
针对二级倒立摆的稳定控制问题,提出了一种以泛逻辑学为逻辑基础的控制器,控制器以任意区间[a,b]上的零级泛组合运算模型为核心决策部件,决策过程中考虑到输入变量之间的关系、输入量的测量误差,并允许决策门限连续可变。对二级倒立摆... 针对二级倒立摆的稳定控制问题,提出了一种以泛逻辑学为逻辑基础的控制器,控制器以任意区间[a,b]上的零级泛组合运算模型为核心决策部件,决策过程中考虑到输入变量之间的关系、输入量的测量误差,并允许决策门限连续可变。对二级倒立摆实物系统的泛逻辑稳定控制实验和抗干扰实验,以及同模糊控制方法和线性二次型最优状态调节器控制效果的比较证明了该方法的有效性和优越性。 展开更多
关键词 泛逻辑控制器 泛组合运算模型 二级倒立摆
下载PDF
基于SOLe的自动推理算法 被引量:1
6
作者 齐勇 刘杰 李伟华 《计算机仿真》 CSCD 北大核心 2010年第11期162-164,282,共4页
研究不确定型数据时,针对宏观上缺失数据和噪声数问题,提出了一种应用于智能决策系统的自动推理方法,可以有效地从不确定型数据中提取知识并完成无监督分类,从而提高整个决策系统的正确性和鲁棒性。通过对非结构化知识的分析,采用二阶... 研究不确定型数据时,针对宏观上缺失数据和噪声数问题,提出了一种应用于智能决策系统的自动推理方法,可以有效地从不确定型数据中提取知识并完成无监督分类,从而提高整个决策系统的正确性和鲁棒性。通过对非结构化知识的分析,采用二阶逻辑在取值论域内增设集合形式的谓词变量与量词变量,结合指数分布簇的区间参数估计对二阶逻辑进行修正,建立基于扩展二阶逻辑的精度较高的自动推理模型框架。使用UCI机器学习数据集中的数据,通过仿真实验分析验证了算法在正确性和鲁棒性上提升约7%和6.5%,并可以得到准确数据集。在智能决策和专家系统中都将提供一种新的研究方法。 展开更多
关键词 自动推理 二阶逻辑 非确定型数据 指数分布簇
下载PDF
分划逻辑与着色卵石博奕 被引量:1
7
作者 沈恩绍 《数学进展》 CSCD 北大核心 1995年第6期540-546,共7页
将Malitz量词Q ̄(m,n)的基数限制去掉,再作多分划拓广,便得到各种monadic型的分划量词。本文引入了分划逻辑的着色卵石博奕方法,证明了相应的Ehrenfencht-Frasse定理,作为此方法的一个应用,... 将Malitz量词Q ̄(m,n)的基数限制去掉,再作多分划拓广,便得到各种monadic型的分划量词。本文引入了分划逻辑的着色卵石博奕方法,证明了相应的Ehrenfencht-Frasse定理,作为此方法的一个应用,证明了在表达能力上,monadic型的分划逻辑严格地弱于monadic二阶逻辑。 展开更多
关键词 扩充逻辑 二阶逻辑 卵石博奕 分划逻辑
下载PDF
量子Bchi自动机的代数及逻辑刻画 被引量:1
8
作者 韩召伟 《电子学报》 EI CAS CSCD 北大核心 2013年第6期1093-1100,共8页
提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量... 提出量子Bchi自动机(简记为LVBA)的概念,利用量子状态构造方法证明了一般LVBA与状态转移为经典函数的LVSBA间的相互等价性,籍此研究了量子无穷正则语言的代数刻画、层次刻画和Bchi刻画以及对于正则运算的封闭性;通过引入单体二阶量子逻辑(简记为LVMSO)的概念,给出量子Bchi自动机所识别无穷语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Bchi基本定理. 展开更多
关键词 量子逻辑 量子Buchi自动机 量子无穷正则语言 代数刻画 单体二阶量子逻辑 Buchi定理
下载PDF
一个二阶的context逻辑
9
作者 刘海燕 陈火旺 苏开乐 《计算机学报》 EI CSCD 北大核心 1998年第4期341-347,共7页
本文为Buvac的context逻辑定义了一个二阶扩充SOQLC,它能为许多常识现象提供更简单自然的描述.作为本文的重要结论,我们证明了SOQLC对一类推广的一般语义结构来说是可靠且完备的.SOQLC还可以作为数据库集成、多理论系统、OO系统等... 本文为Buvac的context逻辑定义了一个二阶扩充SOQLC,它能为许多常识现象提供更简单自然的描述.作为本文的重要结论,我们证明了SOQLC对一类推广的一般语义结构来说是可靠且完备的.SOQLC还可以作为数据库集成、多理论系统、OO系统等的逻辑基础. 展开更多
关键词 二阶逻辑 多类逻辑 人工智能 Context逻辑
下载PDF
逻辑:表达力与复杂性之间的平衡
10
作者 朱建平 《湖南科技大学学报(社会科学版)》 CSSCI 北大核心 2015年第3期25-30,共6页
一种语言的表达力(或可表达性)是指在那种语言中能够被表达或者被沟通的思想的幅度,或指在那种语言中可表达的思想的范围。它可进一步分为理论表达力和实践表达力。理论表达力支配着处理语言和它的意义的形式描述的数学和逻辑,它们包括... 一种语言的表达力(或可表达性)是指在那种语言中能够被表达或者被沟通的思想的幅度,或指在那种语言中可表达的思想的范围。它可进一步分为理论表达力和实践表达力。理论表达力支配着处理语言和它的意义的形式描述的数学和逻辑,它们包括形式语言理论,数理逻辑和程序代数。在非形式的讨论中,该术语经常是在第二种涵义上被使用的,例如在讨论逻辑编程语言时情况往往就是如此。逻辑学家们经常基于逻辑在表达力和复杂性方面的一些特征做出选择。 展开更多
关键词 表达力 复杂性 一阶逻辑 二阶逻辑
下载PDF
处理图像语言的格点自动机与格点文法(英文)
11
作者 沈恩绍 《软件学报》 EI CSCD 北大核心 2000年第7期871-880,共10页
Giammarresi与 Restivo在一篇综述中总结出一个关于可识别的图像语言 (即 2维矩形语言 ) REC的等价性定理 .对比 1维字语言的相应结果 ,其中还缺少关于生成文法的相应一环 .提出了一种 (矩形的 )格点文法 ,正好弥补了这一缺环 .而取代 2... Giammarresi与 Restivo在一篇综述中总结出一个关于可识别的图像语言 (即 2维矩形语言 ) REC的等价性定理 .对比 1维字语言的相应结果 ,其中还缺少关于生成文法的相应一环 .提出了一种 (矩形的 )格点文法 ,正好弥补了这一缺环 .而取代 2维 on- line tesselation自动机 ,引入了格点自动机的概念 .一方面 ,它与经典的 2元树型自动机更相似 ,另一方面 ,它也是格点文法与等价性定理中关于 REC的其他描述方式之间的一座桥梁 .同时 ,标准的 existential monadic二阶逻辑也被一种更弱的规范框架—— positive monadic分划逻辑所取代 .由此导出一个新的更完整的关于 展开更多
关键词 图像语言 格点自动机 格点文法 图像处理
下载PDF
双Y移30°永磁同步电机逆变器开路故障诊断方法 被引量:3
12
作者 黄堃 张楠 黄麟 《微电机》 北大核心 2020年第1期84-88,共5页
为了提高双Y移30°永磁同步电机可靠性,构建了基于十二开关逆变器的电机逻辑动态模型,在此基础上提出一种逆变器开路故障诊断方法。由于传统电机相电压的测量会增加系统潜在故障源,构建一种无电压传感器的二阶滑模观测器,用以对电... 为了提高双Y移30°永磁同步电机可靠性,构建了基于十二开关逆变器的电机逻辑动态模型,在此基础上提出一种逆变器开路故障诊断方法。由于传统电机相电压的测量会增加系统潜在故障源,构建一种无电压传感器的二阶滑模观测器,用以对电机电压进行实时估计。通过逻辑动态模型提供的电压先验信息与含有故障信息的电压实际输出值进行比较,提取故障信息,准确定位故障开关管。通过仿真数据,证实了方法的有效性。 展开更多
关键词 双Y移30°永磁同步电机 逻辑动态模型 二阶滑模观测器 故障诊断
下载PDF
什么是新逻辑主义 被引量:1
13
作者 郭永盛 《湖南科技大学学报(社会科学版)》 北大核心 2009年第3期35-39,共5页
在英美数学哲学领域的新近讨论中,新逻辑主义是比较活跃的一派观点。新逻辑主义继承弗雷格逻辑主义纲领的要义,并从弗雷格的文献中获得启发,主张以算术为主的数学系统可以通过一致的抽象原则还原为二阶逻辑的子系统。
关键词 逻辑主义 罗素悖论 新逻辑主义 新弗雷格主义 休谟原则 二阶逻辑
下载PDF
二阶逻辑有效公式集的非递归可枚举性
14
作者 何自强 《哈尔滨工程大学学报》 EI CAS CSCD 1998年第3期71-74,共4页
证明了任何带等词的二阶语言的逻辑有效公式集不是递归可枚举的
关键词 二阶语言 逻辑有效公式 递归可枚举集
下载PDF
MNP: A Class of NP Optimization Problems
15
作者 程歧 朱洪 《Journal of Computer Science & Technology》 SCIE EI CSCD 1997年第4期306-313,共8页
A large class of NP optimization problems called MNP are studied. It is shown that Rmax(2) is in this class and some problems which are not likely in Rmax(2) are in this class. A new kind of reductions, SL-reductions,... A large class of NP optimization problems called MNP are studied. It is shown that Rmax(2) is in this class and some problems which are not likely in Rmax(2) are in this class. A new kind of reductions, SL-reductions, is defined to preserve approximability and nonapprokimability, so it is a more general version of L-reductions and A-reductions. Then some complete problems of this class under SL-reductions are shown and it is proved that the max-clique problem is one of them. So all complete problems in this class are as difficult to approximate as the max-clique problem. 展开更多
关键词 Optimization problem NP class second-order logic approximation algorithm non-approximability.
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部