A Formal Specification and Method for MAS as a Distributed System

Yan Qi,Xin Wang,Wei Yan,Xinjun Mao,Zhi-chang Qi
DOI: https://doi.org/10.1007/978-3-540-39425-9_24
2003-01-01
Abstract:With the recent rapid growth of interest in Multi-Agent System (MAS), both in distributed artificial intelligence and software engineering, has come an associated difficulty concerning basic terms, concepts and corresponding formal methods. In this paper, a new definition of agent companying with soft gene and role is proposed. As a distributed system, a MAS formal method is presented.
What problem does this paper attempt to address?