Modelling Multi-agent Systems with Category Theory

............................................................................................................................. iii List of Figures .................................................................................................................. viii List of Tables ....................................................................................................................... x List of Abbreviations.......................................................................................................... xi Chapter 1: Introduction ....................................................................................................... 1 1.1. Problems Statement ............................................................................................................ 1 1.2. Context of Research ........................................................................................................... 2 1.3. Motivation .......................................................................................................................... 4 1.4. Research Questions ............................................................................................................ 6 1.5. Proposed Approach and Contribution ................................................................................ 6 1.6. Outline ................................................................................................................................ 8 Chapter 2: Background ....................................................................................................... 9 2.1. Autonomic Computing ....................................................................................................... 9 2.1.1. Autonomic Computing Definition ....................................................................... 10 2.1.2. Autonomic Computing Characteristics ................................................................ 11 2.2. Reactive Autonomic Systems (RAS) ................................................................................ 12 2.3. Multi Agent Systems ........................................................................................................ 14 2.3.1. Autonomous Agent .............................................................................................. 14 2.3.2. Multi-Agent Computing....................................................................................... 15 2.3.3. Agent Architecture ............................................................................................... 16 2.3.4. Jadex BDI Agent System ..................................................................................... 17 2.4. Category Theory ............................................................................................................... 19 2.4.1. Definition of Category ......................................................................................... 20 2.4.2. Type Category ...................................................................................................... 21 vi 2.4.3. Null Object in Category ....................................................................................... 22 2.4.4. PATH Category .................................................................................................... 23 2.5. From Autonomic Systems to Category Theory and Multi-Agent Systems ...................... 24 2.6. Case Study ........................................................................................................................ 31 Chapter 3: Modeling Multi-Agents System by Category Theory ..................................... 34 3.