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

magistarski rad

• Autor: Jan Šnajder
• Mentor: Slobodan Ribarić (mentor)
• Član povjerenstva: Slobodan Ribarić (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; (Zavod za elektroniku, mikroelektroniku, računalne i inteligentne sustave); Zagreb
• Datum i država obrane: 2006, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo; Umjetna inteligencija
• Univerzalna decimalna klasifikacija (UDC): 004 - Računalna znanost i tehnologija. Računalstvo. Obrada podataka

Sažetak

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).

Sažetak (engleski)

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.

• Ključne riječi: višeagentski sustav; formalni model; obojene Petrijeve mreže; agentska arhitektura BDI; umjetna inteligencija
• Ključne riječi (engleski): multiagent system; formal model; coloured Petri nets; BDI agent architecture; artificial intelligence
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:438269
• Datum promocije: 2006
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: poslijediplomski znanstveni (magistarski); Akademski / stručni naziv: magistar inženjer računarstva (mag. ing. comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2019-12-17 11:59:24