检索结果-内蒙古大学图书馆

自然辩证法通讯 1997年第3期19卷 15-21页

作者：周祯祥广州社会科学院哲文所

本文介绍和评估了美国逻辑学家蒙大古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量... 详细信息

本文介绍和评估了美国逻辑学家蒙大古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中，模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。

关键词：模态逻辑语言S 语义解释模态算子全称量词美国逻辑学家蒙太古

来源：评论

学校读者我要写书评

暂无评论

有界模型检测的优化

引用

软件学报 2009年第8期20卷 2005-2014页

作者：杨晋吉苏开乐骆翔宇林瀚肖茵茵华南师范大学计算机学院广东广州510631 中山大学信息科学与技术学院广东广州510275 北京大学信息科学技术学院北京100871 桂林电子科技大学计算机与控制学院广西桂林541004

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-... 详细信息

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.

关键词：模型检测有界模型检测可满足性问题模态算子递推公式

来源：评论

学校读者我要写书评

暂无评论

避免逻辑全知的BDI语义

引用

软件学报 2002年第5期13卷 966-971页

作者：程显毅石纯一江苏大学计算机科学与通信工程学院江苏镇江212013 清华大学计算机科学与技术系北京100084

BDI(belief, desire, intention)是基于Agent计算的理论模型,BDI语义关系着Agent计算的发展.通过把相信划分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的BDI语义.该语义既能描述Agent,又避免了逻辑全知问题.

关键词： Agent 模态算子认知人工智能逻辑全知 BDI语义

来源：评论

学校读者我要写书评

暂无评论

对模态和可能世界概念的哲学考察

引用

哲学研究 1990年第4期 102-107,128页

作者：弓肇祥哈尔滨师范大学政教系

模态逻辑是现代逻辑的一个蓬勃发展的分支。它所取得的许多重要成果对逻辑的其他分支产生了深刻的影响,同时也为逻辑哲学和语言哲学研究提供了新课题。因此对它的基本概念和主要方法在理论上进行研究就十分必要了。目前国内涉及这方面... 详细信息

模态逻辑是现代逻辑的一个蓬勃发展的分支。它所取得的许多重要成果对逻辑的其他分支产生了深刻的影响,同时也为逻辑哲学和语言哲学研究提供了新课题。因此对它的基本概念和主要方法在理论上进行研究就十分必要了。目前国内涉及这方面的文献不多。本文仅就模态和可能世界这两个概念及其有关问题作哲学的考察。

关键词：可能世界理论模态逻辑模态算子命题联结词语言哲学研究可能世界语义学现代逻辑逻辑学家逻辑哲学逻辑常项

来源：评论

学校读者我要写书评

暂无评论

Agent意图的双子集语义改进模型

引用

软件学报 2006年第3期17卷 396-402页

作者：胡山立石纯一福州大学计算机科学与技术系清华大学计算机科学与技术系北京100084

意图是Agent的一个关键的意识属性,在决定理性Agent的行为中起着重要作用.为了克服现有意图逻辑中存在的缺陷,建立了适用于意图的语义表示.讨论了理性Agent性态的形式化中对意图语义的要求以及现有意图逻辑中存在的问题.介绍了在前期工... 详细信息

意图是Agent的一个关键的意识属性,在决定理性Agent的行为中起着重要作用.为了克服现有意图逻辑中存在的缺陷,建立了适用于意图的语义表示.讨论了理性Agent性态的形式化中对意图语义的要求以及现有意图逻辑中存在的问题.介绍了在前期工作——真假子集语义基础上开发的双子集语义改进模型及其在Agent意图形式化中的应用,并且证明通过对模型的代数结构施加一定的约束,能获得许多希望得到的性质.在二值逻辑中,真和假是同等重要的.当然,对一个命题,描述了真值也就知道了假值;但对于一类命题却不是这样,对假值的刻画与对真值的刻画具有同等重要的意义.而对意图的描述是对一类命题(Agent意图实现的命题)的刻画.经典的正规模态算子的可能世界语义只重视真,用RI(w)来描述,可看成是单子集语义.而改进的双子集语义真假并重,用RIT(w)来描述真,并用RIF(w)来描述假,从而能更全面地描述二值逻辑中的模态算子.经典的正规模态算子的可能世界语义可以看成是改进的双子集语义当RIF(w)=?时的退化情形.改进的双子集语义不仅避免了基于正规模态逻辑表示的“逻辑全知”问题以及由此带来的副作用等问题,与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,而且克服了前期工作真假子集语义和双子集语义表示的缺陷.实际上,改进的双子集语义为非正规模态算子的语义表示提供了一种新的方法,可应用于建立新的合适的Agent逻辑系统.

关键词： Agent 意图语义双子集语义模态算子模型

来源：评论

学校读者我要写书评

暂无评论

“弱依随性”概念辨析——兼与陈晓平教授商谈讨论

引用

科学技术哲学研究 2011年第6期28卷 1-10页

作者：张华夏中山大学哲学系广州510275

文章对科学哲学和心灵哲学的一个重要概念,即依随性概念进行分析。指出依随性概念具有"不可分辨性"、"非对称性"、"多重实现性"、和"不可推出性"等四个特征,它们是彼此独立的、相容的和基本完... 详细信息

文章对科学哲学和心灵哲学的一个重要概念,即依随性概念进行分析。指出依随性概念具有"不可分辨性"、"非对称性"、"多重实现性"、和"不可推出性"等四个特征,它们是彼此独立的、相容的和基本完备的。金在权的依随性定义未能完全反映出这四大特征。对依随性进行强与弱的分析是有必要的,但金在权强依随观有关依随性与依随基之间的最大性质共外延和布尔封闭的公式带有强烈的还原论色彩,笔者主张弱依随性并将这种观点运用于分析突现层级之间的关系。笔者还就陈晓平教授对金在权的修正、依随性的意义底线和强弱合一依随观等问题进行商谈讨论。

关键词：依随性强依随性和弱依随性金在权黑尔模态算子

来源：评论

学校读者我要写书评

暂无评论

模态R_0代数与模态滤子的若干性质

引用

陕西师范大学学报（自然科学版） 2009年第4期37卷 1-5页

作者：马海斌王国俊陕西师范大学数学与信息科学学院陕西西安710062

进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b... 详细信息

进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集模态.

关键词：模态逻辑 R0代数模态R0代数模态算子模态滤子

来源：评论

学校读者我要写书评

暂无评论

强、弱随附性概念探析

引用

自然辩证法研究 2016年第12期32卷 14-18页

作者：胡光远中原工学院河南郑州450007

随附性是个意蕴丰富的哲学概念,金在权依据不同的模态强度区分了强随附性和弱随附性。但是,金在权对随附性的双条件句描述犯有错误,而且他的必然性没有一致地给出弱随附性和强随附性的跨世界解释。区分强、弱随附性的关键是认识随附性... 详细信息

随附性是个意蕴丰富的哲学概念,金在权依据不同的模态强度区分了强随附性和弱随附性。但是,金在权对随附性的双条件句描述犯有错误,而且他的必然性没有一致地给出弱随附性和强随附性的跨世界解释。区分强、弱随附性的关键是认识随附性的依赖与决定关系的不对称性,从这一角度可以对强、弱随附性中出现的"必然"给出合理说明,也能够以此修正强、弱随附性的划分。

关键词：随附性强随附性和弱随附性必然依赖必然决定模态算子

来源：评论

学校读者我要写书评

暂无评论

试析亚里士多德的模态逻辑理论

引用

暨南学报（哲学社会科学版） 1996年第3期18卷 26-33页

作者：高飞

本文通过对亚里士多德的模态算子、模态命题、必然模态三段论、偶然模态三段论进行分析、评价，进而说明亚里士多德的模态逻辑理论虽然多有矛盾、错漏之处，但它不仅是模态逻辑这门既古老又年轻的逻辑科学的源头，而且已孕育着现代模态... 详细信息

本文通过对亚里士多德的模态算子、模态命题、必然模态三段论、偶然模态三段论进行分析、评价，进而说明亚里士多德的模态逻辑理论虽然多有矛盾、错漏之处，但它不仅是模态逻辑这门既古老又年轻的逻辑科学的源头，而且已孕育着现代模态逻辑、尤其是多值逻辑的萌芽。亚里士多德的模态逻辑理论与其其他逻辑理论一样，是亚里士多德留给我们的一份珍贵遗产。

关键词：亚里士多德模态算子模态命题必然模态三段论偶然模态三段论

来源：评论

学校读者我要写书评

暂无评论

Domain理论及Rough集理论若干相关问题研究

Domain理论及Rough集理论若干相关问题研究

引用

作者：雷银彬四川大学

学位级别：博士

随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领域。产生于上个世纪70年代初的Domain理论和80年代初的Rough集理论正是这样两个重要交叉领域。它们... 详细信息

随着计算机科学的飞速发展，有关计算机科学的数学基础研究越来越受到人们的关注和重视，已成为数学和计算机科学研究者共同感兴趣的领域。产生于上个世纪70年代初的Domain理论和80年代初的Rough集理论正是这样两个重要交叉领域。它们独立发展，但从共同的数学基础来看，二者均基于数学中三大基本结构之一的序结构理论，同时与拓扑、代数、范畴、逻辑等学科有着密切的联系。它们的提出都有较强的计算机背景，但同时也是数学发展的需要。其中，Domain理论建立的初衷是为高级程序设计语言的指称语义学提供数学基础，序和拓扑的相互结合、相互作用是其基本特征，正因如此，Domain理论成为计算机科学家和数学家共同关心的领域。事实上，除了在计算机科学方面作为形式语义学的数学基础或数学框架、赋予或解释语句语义，以及应用于人工智能（AI）中知识表示及推理（KRR）、数据分析等方面之外，在若干数学分支如动力系统、分形、拓扑等方面，Domain也是一种重要的数学结构；例如，Domain环境便从序与拓扑交融的角度为某些拓扑空间提供了一种计算模型。另一方面，Rough集理论创立的目的是为处理含糊不清（vague）的概念或数据提供一个有力的数学工具，但其理论基础，依然建立在数学中的经典分支如集合论、拓扑、逻辑、代数、序结构理论之上。经过二十多年的发展，Rough集方法已被广泛应用于AI和认知科学中，尤其是在数据分析、知识表示、知识发现、机器学习、决策分析、专家系统、模式识别等领域。作为两个数学分支，Domain理论与Rough集理论有着各自不同的研究对象和特点，但它们的研究都是在序结构的框架下进行的，在某些方面相互渗透和相互影响。本文的主旨也就是对Domain理论与Rough集理论在这些方面的共同数学基础特别是序结构方面进行讨论。文中我们运用拓扑、序结构、代数、范畴及逻辑的理论和方法，在Domain方面，研究了两类最受关注的拓扑（Hausdorff拓扑、Scott拓扑）的对偶拓扑、有限偏序集的Cartesian积、积的收缩、相关范畴和Domain方程等问题，在Rough集方面，研究了近似算子的刻画及相关范畴问题，最后建立了Domain理论与Rough集理论之间深入的内在联系。具体而言，我们作了如下工作：首先，我们对Domain理论中与此相关的3个公开问题进行讨论。第一个公开问题事实上由Misloye和Lawson在拓扑学名著《Open Problems in Topology》中提出的两个关于对偶拓扑的公开问题组成；哪些拓扑它们同时也是对偶拓扑?如果对一个拓扑连续取对偶，作用有限次后所产生的拓扑之中有互为对偶的吗?对该问题，我们讨论了两类经典的拓扑即Hausdorff拓扑与Scott拓扑的相关问题。对任意Hausdorff空间（X，τ），有τd=τddd，对τ反复取对偶，连同τ本身至多产生3个不同的拓扑：τ、τd和τdd，由此，我们对所有Hausdorff空间做了一个分类，即三个严格递增的类，然后刻画了满足τ=τdd的Hausdorff空间。事实上，满足τ=τdd的Hausdorff空间（X，τ）恰为Hausdorffκ-空间。此外，我们研究了对偶拓扑与原拓扑之间的关系，为解决公开问题提供了一些可行的思路。另一方面，对Scott拓扑，我们的研究对象是定向完备偏序集（dcpo）D，其上Scott拓扑记为σ（D），我们给出了σ（D）d=ω（D）的刻画及其成立的一个较广泛的充分条件，研究了σ（D）d=ω（D）与Scott紧集、强紧集之间的关系。此外，我们证明了对任何dcpo D有σ（D）dd（?）σ（D），进而对应于Hausdorff拓扑情形给出了σ（D）=σ（D）dd的一个内在刻画，并借助于若干具体的例子讨论了σ（D）与σ（D）dd之间的关系。这些结果对上述公开问题在Hausdorff拓扑与Scott拓扑这两类最受关注的重要情形下作了部分回答。第二、三个公开问题都相关于有限偏序集的Cartesian积。其中，第二个公开问题是Plotkin于1978年在文[90]中提出的如下猜想：对于三元真值dcpo T及任一基数，κ＞ω，函数空间[Tκ→Tκ]不是Tκ的收缩。我们知道Scott曾于1976年证明了具有可数基的连续格恰为2ω的一个收缩以及更一般地，任一连续格恰为2的某个积的收缩[97]；随后，Plotkin于1978年证明了具有可数基的coherent domain（即两两相容的子集必有上确界的domain）恰为Tω的收缩。然而，该结果若要推广至不可数情形，则有难以逾越的障碍，这正是Plotkin提出上述猜想的原因。文中我们构造性地证明了该猜想。这个结果不仅给出了T

关键词： Hausdorff拓扑 Scott拓扑 domain 紧元 Cartesian积收缩范畴 Cartesian闭范畴完备格模态算子 Rough概念格 Scott domain Rough可逼近概念格完备代数格

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：