语言游戏论与自然语言量化结构 

作为人类生活的一部分,自古以来,人们就对语言产生了浓厚的兴趣,对其展开了多方面的研究。在进行深入系统的语言学研究之前,我们首先要回答的是如下几个问题:语言是什么?或曰,语言的本质是什么?语言是如何与世界发生联系的?语言的意义是什么?语言的规则是什么?对这些问题的不同回答反映了人们对语言的不同认识,而且将直接决定人们今后...
中国海洋大学  硕士论文  2004年 下载次数(350)| 被引次数(1)

逻辑程序的相容性与环公式研究 

一个逻辑程序可能有一个回答集、多个回答集或者根本就没有回答集。我们提出了一类逻辑程序—弱自相容逻辑程序。它们保证具有回答集而且有多项式时间算法可以计算其中一个回答集。另外,我们还获得了如下结果: (1)利用弱自相容逻辑程序中的相容性概念和A算子,获得了逻辑程序协调性质的一个充要条件。...
贵州大学  博士论文  2007年 下载次数(166)| 被引次数(5)

基于格值逻辑的语言真值α-广义锁归结自动推理研究 

智能交通是集信息化、智能化、社会化为一体的新型复杂运输系统,充满了大量的、各种各样的、复杂的不确定性信息,是智能信息处理的重要应用领域之一。基于格值逻辑的归结自动推理是智能信息处理领域的重要基础研究内容,对处理智能交通中的不可比较性、语言值信息及相应软硬件系统正确性的形式化验证,有重要学术意义和良好应用前景。 ...
西南交通大学  博士论文  2012年 下载次数(180)| 被引次数(5)

Finite automata based on quantum logic and monadic second-order quantum logic 

We introduce monadic second-order quantum logic and prove that the behaviors of finite automata based on quantum logic are precisely the quantum languages defin...
《Science China(Information Sciences)》  2010年 第01期 下载次数(278)| 被引次数(2)

A modal nonmonotonic logic 

A modal nonmonotonic logic is presented based on an experiential modal semantics on typicality and exception.The syntactic and semantics of modal nonmonoton...
《Science in China(Series E:Technological Sciences)》  1996年 第03期 下载次数(20)| 被引次数(0)

一阶逻辑系统的计量化研究 

计量逻辑是研究逻辑理论程度化的一个重要研究方向。按照研究对象的不同,可以分为计量命题逻辑与计量一阶逻辑。其中关于计量命题逻辑的理论研究已有大量研究成果,而关于计量一阶逻辑的理论研究却只有凤毛麟角。本文在一阶逻辑系统中从整体与局部两个角度研究了一阶逻辑公式的真实程度,建立了相应的一阶逻辑公式的真度度量方式,并在此基础上提...
西南交通大学  博士论文  2015年 下载次数(71)| 被引次数(2)

基于BDI-VSK-T逻辑的Agent系统形式化模型的研究 

随着计算机网络、计算机通信等技术的发展,对于Agent和多Agent系统的研究己成为分布式人工智能(DAI)重要的研究领域。Agent系统的研究成果主要基于思维状态的BDI模型和VSK逻辑。Agent思维状态的BDI模型是指如何形式化地描述Agent的各种思维属性和它们之间的关系,以及与Agent规划、行为、协调、合作...
云南师范大学  硕士论文  2006年 下载次数(105)| 被引次数(3)

Decidable subsets of open logic and an algorithm for R-calculus 

Open logic is an attractive logic theory that can describe the growth and evolution of knowledge.However, related studies show that open logic is undecidable in...
《Science China(Information Sciences)》  2015年 第01期 下载次数(26)| 被引次数(2)

Global Governance: Differences on World Order and Reconciliations between China and the West 

currently, the mainstream Western views on world order mainly include hegemony order theory, balance of power theory, world system theory, the clash of civiliza...
《和平》  2015年 第03期 下载次数(41)| 被引次数(0)

A Logical Characterization for Linear Higher-Order Processes 

Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order na...
《Journal of Shanghai Jiaotong University(Science)》  2015年 第02期 下载次数(12)| 被引次数(0)

基于一阶模态逻辑的模糊推理(英文) 

研究基于可信度的模糊一阶模态逻辑,给出了基于常域的模糊一阶模态逻辑语义以及推理形式系统描述.为有效进行模糊断言间的推理,考虑了模糊约束的概念.模糊约束是一个表达式,其中既有语法成分又包含意义信息.模糊推理形式系统中的基本对象是模糊约束,针对模糊约束引进可满足性概念,研究模糊约束可满足性相关性质.利用模糊约束的概念,模糊...
《软件学报》  2008年 第12期 下载次数(229)| 被引次数(2)

基于格值逻辑的α-准锁语义归结自动推理研究 

智能交通是集信息化、智能化、社会化为一体的新型复杂运输系统,充满了大量的、各种各样的、复杂的不确定性信息。为了更加合理地处理这些不确定性信息,我们需要以逻辑作为其理论基础。由于智能交通系统的复杂性,因此其中必定存在大量的语言值信息以及各种软件系统。所以,基于逻辑自动推理处理其中的不可比较性、语言值信息及相应软件系统的正...
西南交通大学  博士论文  2012年 下载次数(147)| 被引次数(7)

基于扩展规则的定理证明的研究 

自动定理证明自从二十世纪五十年代被提出,已经成为计算机科学中最重要的领域之一。归结方法是其中最著名、应用最广的方法之一。扩展规则方法将定理证明沿着归结的反方向进行,是一种新的定理证明方法。为了使扩展规则方法更好的用于定理证明,本文改进和完善了经典逻辑中的扩展规则定理证明方法,提出了模态逻辑中基于扩展规则的定理证明方法。...
吉林大学  博士论文  2006年 下载次数(497)| 被引次数(6)

Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra 

As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution princi...
《Journal of Shanghai Jiaotong University(Science)》  2012年 第02期 下载次数(22)| 被引次数(6)

Theory of Approximate Reasoning in Two-Valued Predicate Logic Based on the Quasi-truth Degrees 

Based on the theory of the quasi-truth degrees in two-valued predicate logic, some researches on approximate reasoning are studied in this paper. The relation o...
《Journal of Donghua University(English Edition)》  2012年 第01期 下载次数(35)| 被引次数(1)

共找到相关记录44条123下一页