论文部分内容阅读
描述逻辑是基于对象的知识表示形式.已有的描述逻辑没有考虑组织目标,不适合描述多Agent组织模型.针对这个问题,首先给出多Agent组织的模型,结合组织目标考虑组织、子组织之间的关系.基于此模型,提出描述逻辑ALCA框架,用以描述结合目标任务的多Agent组织,证明了ALCA是可判定的,给出一个ALCA的可满足性判定算法.最后通过一个例子说明ALCA的描述性.