高级检索
    张 会, 李思昆. 面向交互的主体能力描述和推理方法研究[J]. 计算机研究与发展, 2006, 43(8): 1439-1444.
    引用本文: 张 会, 李思昆. 面向交互的主体能力描述和推理方法研究[J]. 计算机研究与发展, 2006, 43(8): 1439-1444.
    Zhang Hui, Li Sikun. Interaction-Oriented Ability Specification and Reasoning[J]. Journal of Computer Research and Development, 2006, 43(8): 1439-1444.
    Citation: Zhang Hui, Li Sikun. Interaction-Oriented Ability Specification and Reasoning[J]. Journal of Computer Research and Development, 2006, 43(8): 1439-1444.

    面向交互的主体能力描述和推理方法研究

    Interaction-Oriented Ability Specification and Reasoning

    • 摘要: 主体间的交互对主体能力的影响是主体能力描述和推理需要考虑的一个重要因素.给出了一个面向交互的主体能力描述和推理框架.该框架将描述逻辑中的知识表示结构和任务逻辑中的任务语义结合起来,可以显式地描述主体之间的交互关系对主体能力的影响并可提供可判定的推理服务.建立了一个用于任务可完成性判定的逻辑系统DTL,并证明了它是可靠、完备和可判定的.

       

      Abstract: The interaction among different agents is an important factor of the agent capabilities in multi agent systems. Presented in this paper is a scheme that can describe the impact of interaction on agent capability by integrating description logic into task languages. A formal system DTL is proposed, which is intended to axiomatize the set of accomplishable task formulas. The soundness, completeness and decidability of DTL are also proved.

       

    /

    返回文章
    返回