ATCL:基于承诺的agent组织描述工具

• 作者: 傅朝阳 周尤明 高济
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: 承诺 agent组织 交互时态逻辑 交互时态承诺逻辑
• 年，卷（期）: 2011,（4）
• 所属期刊栏目: 自动化技术、电信技术
• 页码范围: 627-636
• 页数: 10页
• 分类号: TP302.2
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2011.04.007

摘要

针对当前描述agent组织的逻辑无法刻画组织间及组织内部可以判定的并发活动这一问题,提出带有截止期限承诺语义的交互时态承诺逻辑,用于描述基于信任的协作.通过引入承诺,将ATL的合作算子<>扩展为<C:ξ:ω:( )>,表示:组织C承诺当条件ξ满足时立刻开始按规划ω执行,保证在( )成立之前实现某商定内容.建立交互时态承诺逻辑(ATCL).给出基于行为的迁移系统,以此建模基于带有截至期限条件承诺的agent组织,分别给出ATCL的语法和语义.给出模型检测算法,证明了ATCL的模型检测复杂度为PTIME-complete.以卫星图像服务领域特定场景为例,展示了ATCL的表达能力,为研究agent组织可信协作提供了较好的形式化工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高济		113	1578	22.0	34.0
2	周尤明		5	6	1.0	2.0
3	傅朝阳		7	67	3.0	7.0