面向多Agent系统模型检测的逻辑和算法
基本信息
批准号：60473036
项目类别：面上项目
资助金额：18.00
负责人：曹子宁
学科分类：
依托单位：南京航空航天大学
批准年份：2004
结题年份：2007
起止时间：2005-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：梅婧,刘升平,赵新宇,吴岑
关键词：
模态逻辑多Agent系统模型检测
结项摘要
多Agent系统是一种分布智能软件系统, 如何保证其正确性是困难而又迫切需要解决的问题. 模型检测是软硬件系统正确性验证的一种主流方法. 目前国际上将模型检测应用于多Agent系统以保证系统正确性的工作开始成为一个热点, 但已有工作是初步的, 用于模型检测的逻辑对智能性质和通讯性质的描述并不充分; 已有工作也未提出有特色的多Agent系统的模型检测算法, 主要应用已有的方法和工具. 本项目研究面向多Agent系统模型检测的逻辑和算法, 包括提出刻画多Agent系统时序性质, 智能特征和通讯行为的模态逻辑系统, 给出其推理系统和语义模型, 并研究可靠性完备性等性质. 同时针对所提出的逻辑系统, 借鉴符号化方法自动机方法等, 给出高效的模型检测算法, 研究其时空复杂性. 并实现相应原型系统, 通过实例验证所提的方法. 本项目将丰富多Agent系统和模型检测的研究, 也有很好的应用前景.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
粗颗粒土的静止土压力系数非线性分析与计算方法
粗颗粒土的静止土压力系数非线性分析与计算方法
DOI：10.16285/j.rsm.2019.1280
发表时间：2019
3
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
4
中国参与全球价值链的环境效应分析
中国参与全球价值链的环境效应分析
DOI：10.12062/cpre.20181019
发表时间：2019
5
基于多模态信息特征融合的犯罪预测算法研究
基于多模态信息特征融合的犯罪预测算法研究
DOI：
发表时间：2018
曹子宁的其他基金
批准号：60873025
批准年份：2008
资助金额：27.00
项目类别：面上项目
批准号：60203028
批准年份：2002
资助金额：6.00
项目类别：青年科学基金项目
相似国自然基金
1
多Agent系统联盟形成机制和算法的研究
批准号：60573076
批准年份：2005
负责人：胡山立
学科分类：F06
资助金额：23.00
项目类别：面上项目
2
面向实时传值系统的模态逻辑及模型检测
批准号：60203028
批准年份：2002
负责人：曹子宁
学科分类：F0201
资助金额：6.00
项目类别：青年科学基金项目
3
多Agent系统合作问题求解语义模型与算法的研究
批准号：60373079
批准年份：2003
负责人：胡山立
学科分类：F0605
资助金额：24.00
项目类别：面上项目
4
基于可废止逻辑的柔性Agent理论、算法与实现研究
批准号：60773177
批准年份：2007
负责人：廖备水
学科分类：F0214
资助金额：27.00
项目类别：面上项目