论文部分内容阅读
提出一个基于GDF(扩展决策函数)的多agent任务规范分解判据,提出多agent的任务规范分解性质;将多agent任务规范分解问题等价为建立一个与信息agent任务规范属性相关的MSBN(多模块贝叶斯网)问题,并证明了MSBN的d-cutset(d-割集)和分解判据之间的关系,提出了与多agent任务规范对应的MSBN的分解方法.最后通过示例验证了所提出的方法的可行性.