高级检索
    张新良 石纯一. 基于描述逻辑的Agent组织[J]. 计算机研究与发展, 2005, 42(11): 1843-1848.
    引用本文: 张新良 石纯一. 基于描述逻辑的Agent组织[J]. 计算机研究与发展, 2005, 42(11): 1843-1848.
    Zhang Xinliang and Shi Chunyi. A Description-Logic Based Agent Organization[J]. Journal of Computer Research and Development, 2005, 42(11): 1843-1848.
    Citation: Zhang Xinliang and Shi Chunyi. A Description-Logic Based Agent Organization[J]. Journal of Computer Research and Development, 2005, 42(11): 1843-1848.

    基于描述逻辑的Agent组织

    A Description-Logic Based Agent Organization

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

       

      Abstract: Description logic is the expression of knowledge based on objects. But the existent description logic doesn't concern about the goal of organization, so it is not suited for the MAS organization model. To solve this problem, a model of MAS organization is given first, which concerns the relationship between organization and suborganization, and the goal of organization. Based on this model, a framework of description logic—ALCA is given, and the conclusion that ALCA is deterministic is proved, and the algorithm of deterministic is given. Finally, an example is given to explain the expressiveness of ALCA.

       

    /

    返回文章
    返回