Login | Register

Modeling Multi-Agent Systems with Category Theory

Title:

Modeling Multi-Agent Systems with Category Theory

Huang, Jinzi (2011) Modeling Multi-Agent Systems with Category Theory. Masters thesis, Concordia University.

[thumbnail of Huang_MSc_F2011.pdf]
Preview
Text (application/pdf)
Huang_MSc_F2011.pdf - Accepted Version
2MB

Abstract

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 > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Huang, Jinzi
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Software Engineering
Date:14 September 2011
Thesis Supervisor(s):Ormandjieva, Olga and Bentahar, Jamal
ID Code:35819
Deposited By: JINZI HUANG
Deposited On:17 Nov 2011 20:28
Last Modified:18 Jan 2018 17:35
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top