Huang, Jinzi (2011) Modeling Multi-Agent Systems with Category Theory. Masters thesis, Concordia University.
- Accepted Version
The rapidly growing complexity of integrating and monitoring computing systems is beyond the capabilities of even the most expert systems and software developers. The solution is systems must learn to monitor their own behaviors and conform to the requirements – a vision referred to as Autonomic Computing. Reactive Autonomic Systems Framework (RASF) is introduced for real-time reactive systems, which contain autonomic self-managing properties and are adaptive to their environments.
The goal of this thesis is about modeling Multi-Agent Systems (MAS) with Category Theory (CAT). MAS is introduced as the realization of Reactive Autonomic Systems, and Jadex is used as a representation of MAS approach. This thesis respects Belief-Desire-Intension (BDI) agent architecture, models the entire Multi-Agent Systems (MAS), zooms into individual intelligent agent, analyzes the relationships among agent plans, goals and beliefs, and provides a fully formal CAT representation on MAS structure. Furthermore, this thesis proposes a formalization of fault-tolerance property of MAS using CAT.
|Divisions:||Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering|
|Item Type:||Thesis (Masters)|
|Degree Name:||M.A. Sc.|
|Date:||14 September 2011|
|Thesis Supervisor(s):||Ormandjieva , Olga and Bentahar, Jamal|
|Deposited By:||JINZI HUANG|
|Deposited On:||17 Nov 2011 20:28|
|Last Modified:||09 Jan 2012 20:10|
Repository Staff Only: item control page