首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   27篇
  完全免费   27篇
  自动化技术   54篇
  2017年   1篇
  2015年   1篇
  2014年   3篇
  2013年   3篇
  2012年   4篇
  2011年   1篇
  2010年   1篇
  2009年   8篇
  2008年   6篇
  2007年   3篇
  2006年   2篇
  2005年   2篇
  2004年   1篇
  2003年   1篇
  2001年   1篇
  2000年   2篇
  1999年   2篇
  1998年   4篇
  1996年   2篇
  1995年   1篇
  1994年   1篇
  1993年   2篇
  1992年   1篇
  1989年   1篇
排序方式: 共有54条查询结果,搜索用时 46 毫秒
1.
Agent-BDI逻辑   总被引:19,自引:4,他引:15       下载免费PDF全文
胡山立  石纯一 《软件学报》2000,11(10):1353-1360
阐述了Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具 的观点.建立了Agent-BDI逻辑的代表系统A-BI,讨论了它的语法和语义.特别是给出了非正 规模态算子基于Kripke标准可能世界的新的语义解释,证明了A-BI逻辑系统不但是可靠的, 而且是完备的.A-BI逻辑系统恰当地刻画了信念与意图的本质与内在联系,可作为Agent形式 化研究的逻辑工具.  相似文献
2.
Agent的意图模型   总被引:17,自引:4,他引:13       下载免费PDF全文
胡山立  石纯一 《软件学报》2000,11(7):965-970
意图是Agent的一个不可缺少的意识属性,在决定理性Agent的行为时起着重要的作用.已经有了若干种基于正规模态逻辑的意图模型,但它们存在着严重的“逻辑全知”问题.该文阐明意图不是正规模态算子,并提出了另一种意图模型,它不存在“逻辑全知”问题和其他相关问题(例如,副作用问题等).这种意图模型与Konolige和Pollack的意图模型相比,比较简单、自然,且满足K公理和联合一致性原理,实际上,为非正规模态算子基于正规可能世界的语义表示提供了一种新的方法.  相似文献
3.
认识逻辑(1):关于知识和信念的逻辑框架   总被引:10,自引:3,他引:7  
知识和信念是人工智能领域研究中经常涉及到的两个重要概念。本文讨论了知识和信念的涵义与关系,定义了认识逻辑系统EI,讨论了它的语法和语义,证明了认识逻辑EL不但是可靠的而且是完备的,认为逻辑EL不但可以用来描述人类的认识过程,还可以用于对常识推理以及分布式系统的形式化描述。  相似文献
4.
基于自动推理技术的智能规划方法   总被引:10,自引:0,他引:10       下载免费PDF全文
吕帅  刘磊  石莲  李莹 《软件学报》2009,20(5):1226-1240
对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.  相似文献
5.
Petri网用于表示知识   总被引:8,自引:0,他引:8  
本文研究了各种级别Petri网与模态逻辑之间的关系.Petri网的Enlogy是研究这些关系的基础.状况(case)和可达(Reachability)概念已经成功地用于以条件/事件(Condition/Event,简称C/E)网作知识表示.本文引用上述两个概念,使位置/变迁(Place/Transition,简称P/T)网和高级Petri网(High Level Petri Net,简称HLPN)可作知识表示.为了增强以 HLPN网作知识表示的能力,我们引用了状况变量和等价状况变量的概念.文中我们还以例子说明这些方法是可用的和有效的.  相似文献
6.
基于模糊命题模态逻辑的形式推理系统   总被引:4,自引:0,他引:4       下载免费PDF全文
张再跃  眭跃飞  曹存根 《软件学报》2005,16(8):1359-1365
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.  相似文献
7.
基于模态逻辑D公理系统的Conformant规划方法   总被引:4,自引:0,他引:4  
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架.将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式.构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程.并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.  相似文献
8.
命题模态归结的一种变型   总被引:2,自引:1,他引:1  
周萍  孙吉贵 《计算机学报》1994,17(9):662-668
本文给出了模态子句集的标准子句集概念,提出了一种基于标准子句集的模态归结方法的变型,称之为标准模态归结,证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发,使用标准模态归结推出空子句的演绎,从而证明了对于不可满足标准子句集、标准模态归结是完备的,这种标准模态归结,揄规则简单、直观且容易实现。  相似文献
9.
经验逻辑:一种非单调逻辑的统一形式   总被引:2,自引:0,他引:2  
林作铨 《计算机学报》1993,16(8):568-576
人的常识推理是一种充满经验性知识的累积过程,而经验推理具有非单调性。本文提出一种关于典型与例外的经验逻辑,特别研究它的非单调性,它提供了一个现存的主要非单调逻辑的统一基础,这是通过一种类似的规则把它们翻译成经验逻辑获得的。因此,经验逻辑给出了一类更一般而且直观的非单调推理形式。  相似文献
10.
分析安全协议密码系统相关缺陷的模态逻辑方法   总被引:2,自引:0,他引:2  
安全协议未采用适当的密码系统来实现,会使最终的安全协议存在密码系统相关缺陷.对该类缺陷进行形式化分析时,不能使用完善的密码系统假设,这是安全协议形式化分析研究中的一个难点,以CKT5逻辑为基础,以对称密码算法为重点,将序列密码算法和分组密码算法的特性,以逻辑推理规则的形式引入到CKT5逻辑框架中,使得扩展后的逻辑能够用于分析安全协议密码系统相关缺陷,并用实例说明了如何使用扩展逻辑来分析密码系统相关缺陷.  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号