A DESCRIPTION LOGIC METHOD OF FORMALIZING THE SPECIFICATION OF MULTI-AGENT SYSTEM

摘要：

Rigor is one of the most important factors required by agent-based technology. Based on SLABS, a formal specification language of multi-agent system (MAS) providing language facilities that support modularity, advocates a description logic method to represent the static knowledge of a MASs specification, which depicts the basic modules: caste and agent, the inheritance relationship between castes (or agents) and the instance relationship between agents and castes. This paper provides a basis for formalizing a MAS in description logics (DLs), whose powerful expressiveness and the decidable reasoning mechanisms will help to proof and analyze the properties of agent-based systems.

关键词： Multi-agent system description logics formal specification

作者: HAI-YAN CHE JI-GUI SUN HAI-BO YU

作者单位: College of Computer Science and Technology, Jilin University, Changchun 130012, China College of Computer Science and Technology, Jilin University, Changchun 130012, China;Key Laboratory

会议类型: 国际会议

会议名称: 2006 International Conference on Machine Learning and Cybernetics(IEEE第五届机器学习与控制论坛)

会议地点: 大连

会议语种:英文

页码: 61-65

在线出版日期: 2006-08-13（万方平台首次上网日期，不代表论文的发表时间）