Arhitektura višeagentskog sustava temeljena na obojenim Petrijevim mrežama

scientific master's theses

• Author: Jan Šnajder
• Mentor: Slobodan Ribarić (mentor)
• Committee member: Slobodan Ribarić (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; (Department of Electronics, Microelectronics, Computer and Intelligent Systems); Zagreb
• Defense date and country: 2006, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing; Artificial Intelligence
• Universal decimal classification (UDC): 004 - Computer science and technology. Computing. Data processing

Abstract

U radu je prikazan općeniti formalni model višeagentskog sustava koji omogućava modeliranje prostorno-vremenskih odnosa i uporabu ponašajnih značajki agenata uključivo njihovo rađanje i umiranje. Model predstavlja proširenje teorije akcije temeljene na utjecajima i reakciji koje omogućava modeliranje trajanja promjena kao i međudjelovanje simultanih akcija. Formalni je model nezavisan od područja primjene i same arhitekture agenata, te je primjenjiv na virtualne i fizičke okoline. Opisana je izvedba formalnog modela temeljena na teoriji obojenih Petrijevih mreža. Uporabom razvojnog okruženja Design/CPN oblikovan je model višeagentskog sustava i ispitana je njegova ispravnost. Uporaba predloženog modela ilustrirana je na dva primjera. Prvi je primjer ponašajno-orijentirani višeagentski sustava za detekciju lica. Drugi je primjer sustav temeljen na intencionalnoj agentskoj arhitekturi vjerovanja, želje i intencije (BDI).

Abstract (english)

This thesis presents a generic formal model for multi-agent systems. The model allows for modelling of spatio-temporal relationships and the inclusion of behavioural-based agents capable of dying and breeding. The model extends the theory of action based on influences and reaction making both the duration modelling and the interference of simultaneous actions possible. The formal model is independent of application domain as well as the agent architectures, hence applicable to both physical and virtual multiagent environments. The model implementation is based on the theory of Coloured Petri Nets. For the construction and the verification of the model the Design/CPN tool was used. Two examples of the model in use are given. The first example is the behaviour-based multiagent system for face detection. Second example is the multiagent system based on the belief-desire-intention (BDI) agent architecture.

• Keywords: višeagentski sustav; formalni model; obojene Petrijeve mreže; agentska arhitektura BDI; umjetna inteligencija
• Keywords (english): multiagent system; formal model; coloured Petri nets; BDI agent architecture; artificial intelligence
• Language: croatian
• URN:NBN: urn:nbn:hr:168:438269
• Promotion: 2006
• Study programme: Title: Postgraduate master programe in computing; Study programme type: university; Study level: postgraduate; Academic / professional title: magistar inženjer računarstva (magistar inženjer računarstva)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2019-12-17 11:59:24