Interaction-Oriented Ability Specification and Reasoning

Zhang Hui; Li Sikun

Journal of Computer Research and Development > 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.

Citation:

Zhang Hui, Li Sikun. Interaction-Oriented Ability Specification and Reasoning[J]. Journal of Computer Research and Development, 2006, 43(8): 1439-1444.

PDF (549 KB)

Interaction-Oriented Ability Specification and Reasoning

Zhang Hui^1,2,
Li Sikun¹

1(School of Computer Science, National University of Defense Technology, Changsha 410073) 2(Navy Submarine Academy, Qingdao 266071)

More Information

Published Date: August 14, 2006

Graphical Abstract

Abstract

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.
- agent,
- capability specification,
- task semantic,
- description logic

FullText(HTML)

References (0)

[1]	Shen Guohua, Zhang Wei, Huang Zhiqiu, Zhang Yulong, Jin Lantao, He Wenmin, Jia Zhe, Zhao Ziyue. Description-Logic-Based Feature Modeling and Verification[J]. Journal of Computer Research and Development, 2013, 50(7): 1501-1512.
[2]	Zhang Wei, Zeng Liang, Zhang Hui, Li Sikun. Collaboration in Digital Games: An Approach to the Description Logic of Tasks[J]. Journal of Computer Research and Development, 2012, 49(7): 1507-1513.
[3]	Wang Zhuxiao, Hu Hong, Chen Limin, Shi Zhongzhi. Parallel Computation Techniques for Dynamic Description Logics Reasoning[J]. Journal of Computer Research and Development, 2011, 48(12): 2317-2325.
[4]	Jiang Yuncheng, Tang Suqin, Wang Ju, Zhou Shengming. Computing Most Specific Concept in Description Logic with Transitive Roles and Existential Restrictions[J]. Journal of Computer Research and Development, 2009, 46(6): 979-987.
[5]	Jiang Yuncheng, Wang Ju, Zhou Shengming, Tang Yong. Hybrid Reasoning of Terminological Cycles in Description Logic εL[J]. Journal of Computer Research and Development, 2009, 46(1): 15-22.
[6]	Peng Hui, Chen Limin, Chang Liang, Shi Zhongzhi. Semantic Web Service Matching Based on Dynamic Description Logic[J]. Journal of Computer Research and Development, 2008, 45(12): 2102-2109.
[7]	Li Shuying, Li Mei, Jiang Yuncheng, Wang Ju, Liu Zhenhuan. Fuzzy Description Logic L-ALCN[J]. Journal of Computer Research and Development, 2008, 45(4): 619-625.
[8]	Jiang Yuncheng, Tang Yong, Wang Ju, Shen Yuming. A Tableaux Decision Procedure for Fuzzy Description Logic FALNUI[J]. Journal of Computer Research and Development, 2007, 44(8): 1309-1316.
[9]	Jiang Yuncheng, Shi Zhongzhi, Tang Yong, Wang Ju. A Distributed Dynamic Description Logic[J]. Journal of Computer Research and Development, 2006, 43(9): 1603-1608.
[10]	Zhang Xinliang and Shi Chunyi. A Description-Logic Based Agent Organization[J]. Journal of Computer Research and Development, 2005, 42(11): 1843-1848.