A Description Logic Method of Formalizing the Specification of Multi-Agent System

@article{Che2006ADL,
  title={A Description Logic Method of Formalizing the Specification of Multi-Agent System},
  author={Hai-Yan Che and Ji-gui Sun and Hai-Bo Yu},
  journal={2006 International Conference on Machine Learning and Cybernetics},
  year={2006},
  pages={61-65}
}
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 MAS's specification, which depicts the basic modules: caste and agent… CONTINUE READING