密码通信下的动态认知逻辑 

动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨...
《嘉应学院学报》  2015年 第11期 下载次数(27)| 被引次数(1)

逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点 

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识,在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在,该结论无疑对当前基于模态逻辑的agent形式化...
《北京科技大学学报》  2004年 第02期 下载次数(107)| 被引次数(4)

认知逻辑逻辑全知问题及其解决方法 

分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻辑 E L, 并给出其语义和公理系统
《吉林大学自然科学学报》  1999年 第03期 下载次数(223)| 被引次数(19)

避免逻辑全知和副作用的Agent BDI模型和语义的研究 

避免逻辑全知和副作用的Agent BDI模型和语义的研究;;该项目开发了一种直观上可信的,能适当地表征信念、愿望和意图的直观语义的形式语义,给出了非正规模态算子基于Kripke标准可能世界的新的语义解释;提出了Agent的一种新的意图模型,避免了逻辑全知和副作用问题;提出了一个改进的理性Agent-BDI模型。避免了逻...
福州大学;清华大学  科技成果  2004年 下载次数(0)| 被引次数(0)

时态公开宣告逻辑研究 

描述主体互动有两个重要方面。一方面是认知动态,它描述的是主体互动过程中发生的信息事件以及主体的认知状态如何随着相关信息事件发生变化;另一方面是协议信息,它刻画的是在这个过程中什么样的信息事件能够发生。动态认知逻辑(DEL)用事件模型和乘积更新来刻画认知动态,认知时态逻辑(ETL)通过时间分支树型结构来描述协议信息。本文...
西南大学  硕士论文  2015年 下载次数(57)| 被引次数(2)

逻辑全知佯谬 

从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.在此基础上,通过严格的逻辑推理得出了与之不同的结论,那就是模态逻辑用于agent形式化研究并不会带来所谓的逻辑全知问题.得出这一不同结论的意义主要在...
《浙江大学学报(工学版)》  2005年 第10期 下载次数(88)| 被引次数(2)

信念逻辑逻辑全知问题 

一、逻辑全知者问题逻辑学研究的对象是人的思维,现代数理逻辑与哲学逻辑则致力于考察人的推理行为与模式。作为个体的人,由于受其所在环境、所接受的知识、所掌握的资源的限制,其推理能力必然是有限的。例如,假设从理论上讲,某人从其当前所掌握的知识出发,能够推出一个命题α。实际上,他仍可能推不出α。也许推出α过于困难,超出了...
《求是学刊》  2007年 第06期 下载次数(406)| 被引次数(5)

避免逻辑全知的BDI语义 

BDI(belief, desire, intention)是基于Agent计算的理论模型,BDI语义关系着Agent计算的发展.通过把相信划分为主观相信和客观相信,把可能世界理解为认知的不同阶段,给出具有进化特征的BDI语义.该语义既能描述Agent,又避免了逻辑全知问题.
《软件学报》  2002年 第05期 下载次数(175)| 被引次数(26)

论归纳概率逻辑的基本问题和解决途径(下)——兼论归纳概率逻辑研究方法和方向的转变 

3 从Pascal归纳概率逻辑到非Pacal归纳概率逻辑 产生上述困难的原因在于P概率的定义本身和归纳方法的认识论性质,根据P概率定义,P概率是从某一事件域F到[0 1]的映射,它满足以下公理:1,是样本空间;(ⅲ)P(h1Ⅴh2Ⅴ…Ⅴhn)=P(h1)+P(h2)+…+P(hn),hiF,hi和h互不相容,i≠...
《自然辩证法研究》  1993年 第11期 下载次数(199)| 被引次数(5)

基于时间和行动规划的知识—意图逻辑 

解释对主体理性行为产生影响的心理因素(信念、愿望、意图等)的基本框架称为BDI(belief-desire-intention)结构。BDI逻辑是研究BDI结构中诸因素的特征和相互关系的逻辑的统称。自上个世纪八十年代起,对BDI结构的研究一直是计算机科学和人工智能研究中的一个重点和热点。BDI逻辑作为人工智能...
西南大学  博士论文  2008年 下载次数(411)| 被引次数(0)

多Agent系统理论和应用研究 

基于Agent的概念,人们提出了一种新的人工智能定义:“人工智能是计算机科学的一个分支,它的目标是构造能表现出一定智能行为的Agent”。所以,Agent的研究应该是人工智能的核心问题之一。斯坦福大学计算机科学系的Hayes-Roth在IJCAI 95的特邀报告中谈到:“智能的计算机Agent既是人工智能最初研究的目...
重庆大学  博士论文  2003年 下载次数(2460)| 被引次数(47)

基于动态逻辑的Agent的形式化模型 

随着计算机网络以及基于网络的分布式计算的发展,对于Agent系统的研究,已成为 人工智能领域中一个新的研究热点,也成为分布式人工智能的重要研究方向。基于Agent 的技术被认为是软件领域中的一次重大突破。 ...
云南师范大学  硕士论文  2000年 下载次数(290)| 被引次数(4)

BDI模型信念特性研究 

Agent计算的典型模型是BDI(belief,desire,intention),信念是Agent计算的重要属性.把信念拓展为知识性信念和可实现信念.Agent的知识性信念是指Agent当前具有或掌握的知识,具有知识的进化和继承特性.Agent的可实现信念是指当前不成立而在将来会成立的事情,是Agent被意识到的个性...
《计算机研究与发展》  2005年 第01期 下载次数(346)| 被引次数(23)

双重走向的叙事图景 

西方学者称《法国中尉的女人》是一部完全采用当代人的观点与叙事技巧写的维多利亚时代的罗曼史,国内学者更倾向于认为它是西方后现代主义元小说的代表作。当然,它的独特的叙事方式曾经为艺术上寻求突破的西方叙事文学带来了曙光,因此对它的研究具有不同寻常的意义。总的看来国内外的研究有两类:主题研究和叙事艺术研究。前者主要解读文本所显...
西北师范大学  硕士论文  2005年 下载次数(564)| 被引次数(3)

基于Agent的分布式计算研究 

随着网络的蓬勃发展,如何充分利用分布式的资源,进行知识协同处理成为了新的问题。Agent作为具有自主、自治并具有一定智能的软件体,通过合作和协调,是有效解决上述问题的途径之一。在人工智能研究中,Agent的提出不单单是因为人们认识到应该把人工智能各个领域的研究成果集成为一...
重庆大学  硕士论文  2002年 下载次数(304)| 被引次数(3)

共找到相关记录22条12下一页