面向多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
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
基于铁路客流分配的旅客列车开行方案调整方法
基于铁路客流分配的旅客列车开行方案调整方法
DOI：
发表时间：2021
3
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
4
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
5
基于多色集合理论的医院异常工作流处理建模
基于多色集合理论的医院异常工作流处理建模
DOI：
发表时间：2020
曹子宁的其他基金
批准号：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
项目类别：面上项目