Breadcrumb

 
 

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.

[img]
Preview
PDF - Accepted Version
2595Kb

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 > Faculty 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 15:28
Last Modified:09 Jan 2012 15:10
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

Document Downloads

More statistics for this item...

Concordia University - Footer