收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于分枝时间框架的通信系统的BDI模型

费定舟  
【摘要】:正 引言所谓Agent,简单地说是指具有复杂结构的计算实体,它能完成许多被认为具有智能的行为。智能Agent的研究已有三十多年的历史,Agent与Multi-Agent系统越来越成为AI研究共同体用来设计分析复杂软件系统的新技术和新方法,现在它仍是AI研究的热点之一。而隐藏在这些进展下面有两个趋势是非常重要的,其一,逻辑方法,尤其是形式化的方法被广泛地采用;时态逻辑、动态逻辑以及它们的各种变体被用来表达Intelligent Agent,Multi-Agent的各种性质及其相互作用的特征,例

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 韩俊刚,王岩冰,沈武威;用XYZ/E语言描述和验证硬件的行为[J];软件学报;1996年11期
2 杨惠珍,康凤举,马裕民,蔡斌;基于时态逻辑的形式化联邦校核方法[J];西北工业大学学报;2005年04期
3 刘玉珍;李琼章;;TDL——一种适于研究并发控制问题的逻辑[J];武汉大学学报(理学版);1990年02期
4 张骏林;李江宏;;用于协议描述及验证的时态逻辑[J];计算机应用与软件;1992年02期
5 张广泉,戎玫;并发系统性质描述的一种形式化方法[J];重庆师范学院学报(自然科学版);1998年01期
6 宋悦,郝克刚,葛玮;基于时态逻辑的抽象对象规约方法[J];西北大学学报(自然科学版);1999年06期
7 边学工,胡瑞敏,喻占武,李德仁;基于可执行对象模型的通信系统软件开发过程[J];武汉测绘科技大学学报;2000年04期
8 左志宏,龚天富;Mini CSP语言的时态语义[J];计算机应用;1995年01期
9 唐达,徐超,杨晓丽;工作流建模中时态逻辑的研究与应用[J];计算机集成制造系统-CIMS;2004年04期
10 张毅,张师超;间断区间时态逻辑的语义[J];高技术通讯;1996年06期
11 贲可荣,陈火旺;命题时态逻辑定理证明新方法[J];软件学报;1994年07期
12 王蓓,吴智铭;实时离散事件系统规范与证明方法[J];上海交通大学学报;1998年01期
13 苏开乐,骆翔宇,吕关锋;符号化模型检测CTL[J];计算机学报;2005年11期
14 王富彬;;描述逻辑SHIOQ的时态扩展[J];现代计算机(专业版);2010年11期
15 张广泉;反应式系统的并发模型(Ⅳ)——时态逻辑模型[J];重庆师范学院学报(自然科学版);1998年04期
16 肖美华,薛锦云;时态逻辑形式化描述并发系统性质[J];海军工程大学学报;2004年05期
17 钱俊彦,赵岭忠,古天龙;一种基于时间自动机的时钟等价性优化方法[J];计算机工程;2005年18期
18 陈卓;杨炳儒;周法国;李琳娜;;基于时态逻辑的多时间序列挖掘模型[J];辽宁工程技术大学学报(自然科学版);2009年04期
19 周从华;陶志红;陈钟;王立福;;基于时态逻辑的工作流分析[J];计算机科学;2007年11期
20 陈良,陈莘萌;通信的顺序进程的证明规则[J];计算机学报;1988年02期
中国重要会议论文全文数据库 前10条
1 费定舟;;基于分枝时间框架的通信系统的BDI模型[A];2005年全国理论计算机科学学术年会论文集[C];2005年
2 张珏;张玥;;系统仿真技术在通信系统中的应用[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
3 谈园;杨莉;李崇智;;基于Multi-Agent的野战通信系统作战仿真建模研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
4 杜天玉;蔡振雄;滕宪斌;;MATLAB在通信系统仿真中的应用[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
5 张建军;周继鹏;葛玮;;基于逻辑模型的DB模式向关系模式的形式化转换方法[A];第十一届全国数据库学术会议论文集[C];1993年
6 张建军;罗景仁;;一个新的时态逻辑系统和DB形式化描述方法[A];第九届全国数据库学术会议论文集(上)[C];1990年
7 杨兰;贾连兴;李兴德;;军事通信系统仿真探讨[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
8 邢小平;贾连兴;汪霖;韩世刚;;战场通信系统实体建模研究[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
9 王静;黄耀倞;刘建;徐维克;;Matlab中的Simulink模块在通信仿真中的应用[A];中国航海学会船舶机电与通信导航专业委员会2002年学术年会论文集(通信导航分册)[C];2002年
10 王飞明;胡元闯;董荣胜;;模型检测中状态爆炸及其优化策略研究[A];广西计算机学会2008年年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 梁先忠;ICE-CSS: 基于交互的复杂软件系统合成演化方法[D];中国科学院研究生院(软件研究所);2001年
2 刘根辉;计算语用学基础理论及其应用研究[D];华中科技大学;2005年
3 潘海玉;状态转换系统的格值量化验证方法研究[D];华东师范大学;2012年
4 吕嘉;基于开放时态逻辑的面向方面程序形式化验证和模块推理研究[D];浙江大学;2009年
5 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
6 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年
7 何晓晔;任务空间概念建模技术及其VV&A研究[D];国防科学技术大学;2005年
8 孙晓星;面向方面的软件容错模型设计与分析技术[D];华东理工大学;2012年
9 董雪源;基于互联网技术的电力系统广域保护通信系统研究[D];西南交通大学;2012年
10 黄茂军;地理本体的形式化表达机制及其在地图服务中的应用研究[D];武汉大学;2005年
中国硕士学位论文全文数据库 前10条
1 张炜;吉林省高速公路通信系统规划研究[D];吉林大学;2008年
2 苗长运;并行实时系统在BRCC中的形式化[D];广西师范大学;2010年
3 段继磊;利用XML和构架构件技术实现B/S模式下MIS程序的自动生成[D];昆明理工大学;2002年
4 唐燕飞;基于Petri网的用例建模研究[D];西南大学;2006年
5 丁湘陵;基于B方法的软件体系结构描述语言的精化研究[D];湖南师范大学;2006年
6 刘冬宁;时态逻辑及其对知识库的构架与研究[D];广东工业大学;2004年
7 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
8 陈武;UML状态机的形式化语义研究[D];西南师范大学;2004年
9 晁媛媛;基于分层思想的基本通信系统CPN建模[D];山东大学;2011年
10 徐超;基于Petri网的工作流技术研究与应用[D];大连理工大学;2004年
中国重要报纸全文数据库 前10条
1 乐言;企业通信IP化:宝诺为TCL“瘦身”[N];电子资讯时报;2007年
2 华为3COM语音视讯产品线 廖旭东;如何由当前通信系统平滑演进到IP集合通信[N];通信产业报;2006年
3 剑波;思科助力中小企业部署下一代通信系统[N];通信产业报;2009年
4 李敏;统一通信:标准化接口对接企业应用[N];中国电子报;2007年
5 ;信息化为山东“半日生活圈”护航[N];中国计算机报;2006年
6 黄臣;未来城市应急系统应加强三个平台建设[N];中国电子报;2008年
7 张彤;企业通信竞争力[N];网络世界;2009年
8 陈佳;NERP的七大特征[N];计算机世界;2003年
9 本报记者 宋家雨;成长在数据大集中的年代[N];网络世界;2006年
10 本报记者 熊熙玲;寻找脱困之路[N];中国财经报;2003年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978