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]	Ding Xue’er, Niu Jun, Zhang Kaile, Mao Xinyi. Code Search Method Based on the Reachability Analysis of Petri Nets[J]. Journal of Computer Research and Development, 2022, 59(1): 236-250. DOI: 10.7544/issn1000-1239.20200586
[2]	Zhu Jun, Guo Changguo, Wu Quanyuan. A Web Services Interaction Behavior-Environment Model Based on Generalized Stochastic Petri Nets[J]. Journal of Computer Research and Development, 2012, 49(11): 2450-2463.
[3]	Zhou Hang, Huang Zhiqiu, Zhu Yi, Xia Liang, Liu Linyuan. Real-Time Systems Contact Checking and Resolution Based on Time Petri Net[J]. Journal of Computer Research and Development, 2012, 49(2): 413-420.
[4]	Men Peng and Duan Zhenhua. Extension of Model Checking Tool of Colored Petri Nets and Its Applications in Web Service Composition[J]. Journal of Computer Research and Development, 2009, 46(8): 1294-1303.
[5]	Zhao Mingfeng, Song Wen, Yang Yixian. Confusion Detection Based on Petri-Net[J]. Journal of Computer Research and Development, 2008, 45(10): 1631-1637.
[6]	Tang Da, Li Ye. Model Analysis of Supply Chain System Based on Color Stochastic Petri Net[J]. Journal of Computer Research and Development, 2007, 44(10): 1782-1789.
[7]	Zhang Guangsheng, Jiang Changjun, Ding Zhijun. Service Discovery Framework Using Fuzzy Petri Net[J]. Journal of Computer Research and Development, 2006, 43(11): 1886-1894.
[8]	Lao Songyang, Huang Guanglian, Alan F. Smeaton, Gareth J. F. Jones, Hyowon Lee. A Query Description Model of Soccer Video Based on BSU Composite Petri-Net[J]. Journal of Computer Research and Development, 2006, 43(1): 159-168.
[9]	Li Botao and Luo Junzhou. Modeling and Analysis of Non-Repudiation Protocols by Using Petri Nets[J]. Journal of Computer Research and Development, 2005, 42(9): 1571-1577.
[10]	Jiang Hao and Dong Yisheng. A Time Performance Evaluation Method for Workflow Based on Extended Timed Petri Net[J]. Journal of Computer Research and Development, 2005, 42(5): 849-855.