可判定性相关论文
在经典判定问题研究的基础上,一阶逻辑片段的可判定性问题被当代学者广泛地讨论,并且其在计算机科学、逻辑学和哲学方面的价值也正......
本论文针对王彦晶提出的“知道如何”的模态算子提出了一种新的语义。与原来的语义相比,我们的语义比较弱但是却更容易实现。根据......
该文回顾了经典的可计算性和可判断性及它们间的联系,介绍了近年来对可计算性在欧几里德空间上的扩充及可计算的实数、递归开/闭集......
近年来,无限状态系统的验证成为了一个十分热门的研究领域。其中研究的重要问题不仅仅有对系统间等价的判定,还包括对系统和特定有限......
随着计算机技术和网络技术的发展,移动计算与实时计算已经成为计算机科学领域的两个研究热点,受到越来越多的关注。不同领域的学者对......
下一代语义网使用本体来表示知识,引入规则来增强知识表达力和自动推理能力。OWL-DL与SWRL分别是语义网中应用最广泛的本体语言和规......
本文涉及的研究领域是无穷状态系统的验证。无穷状态系统上的验证问题主要包括两个方面:一个方面是等价验证,另一个方面是模型检测......
可计算性(computability),即算法有解性,是数学和计算机科学领域中最重要的概念之一。可计算性逻辑(Computability Logic,简写为Co......
量词消去法是数理逻辑与计算机科学中的一个很有用的工具,一阶理论只要有了量词可消去的性质,那么对于这个理论中公式的讨论范围就......
针对传统的目标描述中存在的不可判定性以及没有清晰的语义等问题,在描述逻辑(description logics,DLs)上,将宣称型(declarative)......
作为调整规范社会行为的法律,首先,要求立法者思维遵循科学的法律逻辑思维,所立的法律前后意思一致,适用法律规则时没有矛盾.其次,......
开放逻辑是用于刻画知识的增长,更新及假说进化的一个引人注目的形式逻辑理论。文中描述了在开放逻辑中什么是典型的证明论问题,并......
语义Web模糊知识的表示和应用经常需要涉及多个模糊隶属度值及其比较的复杂模糊知识描述,但现有的描述逻辑模糊扩展缺乏描述和使用......
对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO),给出了基于带赋值的符号迁移图的语义解释.证明了HML(FO)的子逻辑HML(F......
证明了系统(£)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(£)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑......
本文对参数Kleene系统Kp=([0,1],∧,∨,θp,→)(p∈[0,1])中的运算∧,∨进行了程度化,得到了系统Ip=([0,1],∧p,∨ p,θp,→)(p∈[......
证明了系统Ln^*中的可满足性定理,紧致性定理和可判定性定理,完善了系统Ln^*的理论体系,并将这些性质应用到计量逻辑学中,给出了∑г......
正则语言的空性判定方法除了传统的标记法外,还有另一种方法,那就是利用最短路径算法。通过对路径的判断,来证明正则语言的空性是......
空间逻辑作为一个模态逻辑,能很好地描述分布式系统的行为和空间属性。其中,逻辑公式的有效性、可满足性及模型检测问题的可判定性已......
描述了访问控制和逻辑的关系,并将访问控制授权判决问题归约成逻辑蕴涵问题;总结了基于逻辑的访问控制的基本逻辑问题,即逻辑基础、可......
文[1,2]给出了中介逻辑的命题演算系统MP及MP~*,文[3]给出了MP~*的语义解释并证明了MP~*在此语义解释下的可靠性、完备性定理。但......
最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量......
模型检测是逻辑学和计算机科学中的一个重要研究领域,作为模态逻辑的一个重要分支时间逻辑,它的繁荣发展就出现在这一领域。模型......
以批判数学存在基础的各种哲学学派为逻辑起点,普特南围绕数学基础中出现危机的根源进行了深刻剖析,重解了数学上存在不可判定性命......
动态描述逻辑在描述逻辑的基础上引入了动态维,用于描述和推理动态领域的知识,但目前缺少有效的判定算法作为支撑。文中以描述逻辑AL......
无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计......
在经典命题逻辑语言中引入附加算子几,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”,介绍了“任务逻辑”的语......
运用改进的Ehernfeucht games理论,适当定义了范数和囿函数,给出了无原子布尔代数理论的一个判定过程,利用这个结果,直接构造出完备布尔代数的判定过程......
在《结构证明论》①*中,切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题:切割高度计算存在错误;“切割公式仅在左前提......
弗协调逻辑,又译作“次协调逻辑”、“超协调逻辑”,是非经典逻辑的一个新兴分支。它是一种不能从矛盾推出一切的逻辑理论。论文指出......
Z-型 Rabin 树是 Rabin 树的一种变体,它们与 Rabin 树的主要区别在于不要求树根的存在,而只限制其中的极大枝与整数上的序同构.本......
判定问题是逻辑研究中的重要问题.本文讨论了关于带有索引的认识逻辑ELI的基于语义tableau方法的判定过程,阐明了ELI的Mwff的可判定......
Open logic (OL) is a noticeable logic theory dealing with the description of knowledge growth and updating, as well as t......
本文证明了,对于一个半群等式公理的有限集E定义的半群簇[E],以下几个问题是可判定的:(1)是否每个S∈[E]都是正则的;(2)是否每个S∈[E]都是单的;(3)是否每个S∈......
针对多智能体系统(MAS)中执行决策的非确定性问题,研究结合时态/模态逻辑及机会发现理论,引入基于Kripke结构的复合逻辑Lk,用于Agent......
使用经典逻辑对海量知识系统进行分析处理和信息挖掘需要解决的关键问题之一就是司各脱法则问题。司各脱定理表明,矛盾蕴涵一切,如......
针对命题逻辑的可判定性中真值表法复杂度高的问题,提出了一种基于命题逻辑联结符号完备性和与或树规则的命题逻辑的可判定性算法。......
在计算问题中有些是不可解的或称难解的.虽然它们在理论上是可解的,但解法需要大量的时间和空间,而无法在实践中应用.计算理论中的......
从阴阳本义出发,区分抽象阴阳与具体阴阳(具体属性上的阴阳)。具体阴阳可以测量,具有确定性和可判定性,这与抽象阴阳模糊笼统的情......
针对目前TCG组织定义的远程证明信任链模型在描述基于属性的远程证明时存在的不足,通过对基于属性远程证明过程中的证明请求、可信......
描述逻辑(DL)一族知识表示系统,是一个非常热门的研究方向。一方面,重要的推理问题如包含问题是多项式得;另一方面,FLε被用做定义大的本......
本文证明了两种算术结构(N;+,n→2^n,│2^n)及(N;+,n→n〔log2n〕中可定义乘法运算从而包含算术结构(N;+,X),而由于后者的不可判定性推导出前二者的不可判定性。......
如何使计算机能运用常识进行推理和问题求解是人工智能领域最困难的问题之一,非单调逻辑是以此为目标的知识表示语言中最重要的一......
混成系统是一种既包含离散成分又包含连续成分的计算系统,数控系统等一些与其外部连续变化的物理环境不断交互的嵌入式系统就是其典......