Paper Info
Title
Introducing Agents in Multi-agent System with Superposition Refinement
Abstract
A formal and incremental approach is needed to introduce new agents in the development of multi-agent system (MAS) due to its intrinsic complexity. Incremental development with refinement theory is a traditional way to guarantee the dependability of a system. We specify MAS with Object-Z notation and under trace semantic of action system, give the mathematical relation model and refinement rules of superposition refinement based on the relational model and Object-Z notation. The refinement rules provide a foundation for introducing agents in MAS. A case study of repairing robots is used to show whether agents are introduced correctly.
Year
DOI
Venue
2013
10.1109/SNPD.2013.67
SNPD
Keywords
Field
DocType
object-z notation,relational model,intrinsic complexity,refinement calculus,action system,system dependability,introducing agents,incremental approach,mathematical relation model,refinement rule,multi-agent systems,refinement theory,multiagent system,formal approach,multi-agent system,incremental development,superposition refinement,concrete,robots,semantics,multi agent systems,maintenance engineering,mathematical model
Notation,Dependability,Refinement calculus,Iterative and incremental development,Computer science,Theoretical computer science,Multi-agent system,Artificial intelligence,Refinement,Relational model,Machine learning,Semantics
Conference
Citations 
PageRank 
References 
1
0.35
6
Authors
2
Name
Order
Citations
PageRank
Zhuang Li112.72
Huaikou Miao245168.03