Ishodi učenja predmeta

• Klasificirati vrste agenata i objasniti njihova svojstva
• Objasniti najvažnije oblike višeagentnih arhitektura
• Objasniti što su to agenti, te koje su razlike između agenata i ostalih programskih proizvoda
• Odabrati razvojno okruženje za višeagentni sustav
• Razumjeti i objasniti mehanizme koordinacije i kooperacije u višeagentnim sustavima
• Razumjeti i objasniti značaj komunikacije u višeagentnim sustavima
• Razumjeti pojam višeagentnog sustava

Ishodi učenja programa

• Analizirati i valorizirati atribucije (atribute) objekata poslovnog sustava te postaviti formalni model objektnog sustava kao temelj izgradnje informacijskog sustavaAnalizirati i valorizirati atribucije (atribute) objekata poslovnog sustava te postaviti formalni model objektnog sustava kao temelj izgradnje informacijskog sustava
• Formulirati problem iz realnog svijeta u smislu problemskog zadatka u informatici te ga znati riješiti i rješenje evaluiratiFormulirati problem iz realnog svijeta u smislu problemskog zadatka u informatici te ga znati riješiti i rješenje evaluirati
• Izgraditi i optimizirati bazu podataka i bazu znanja primjenom odgovarajućih strategija organizacije podataka i sigurnosti informacijskog sustavaIzgraditi i optimizirati bazu podataka i bazu znanja primjenom odgovarajućih strategija organizacije podataka i sigurnosti informacijskog sustava
• Izgraditi informacijski sustav temeljen distribuiranim komponentama kao i na autonomnim i međusobno kompetitivnim izvorima znanja i razriješiti konflikte koji se javljaju među izvorima znanjaIzgraditi informacijski sustav temeljen distribuiranim komponentama kao i na autonomnim i međusobno kompetitivnim izvorima znanja i razriješiti konflikte koji se javljaju među izvorima znanja
• Izgraditi računalni sustav za pohranu podataka i znanja korištenjem suvremenih alata za izradu baza podataka, baza znanja i semantici podatakaIzgraditi računalni sustav za pohranu podataka i znanja korištenjem suvremenih alata za izradu baza podataka, baza znanja i semantici podataka
• Modelirati i izgraditi sustave temeljene na znanju, kao što su višeagentni sustavi, deduktivni sustavi (uključujući i ekspertne sustave), semantički Web sustavi, neuralne mreže itd.Modelirati i izgraditi sustave temeljene na znanju, kao što su višeagentni sustavi, deduktivni sustavi (uključujući i ekspertne sustave), semantički Web sustavi, neuralne mreže itd.
• Modelirati poslovna pravila, poslovne podatke kao i pravila za izvođenje transakcijskih podataka koji nisu eksplicitno zadani Modelirati poslovna pravila, poslovne podatke kao i pravila za izvođenje transakcijskih podataka koji nisu eksplicitno zadani

Sadržaj predavanja

• Uvod
  Neki problemi koji uključuju rezoniranje o znanju. Višeagentni sustavi: karakterizacija višeagentnog sustava, povezanost s drugim disciplinama (distribuirani sustavi, umjetna inteligencija, teorija igara, društvene znanosti). Interdisciplinarnost područja.
• Elementi simboličke logike
  Propozicijska logika: sintaksa, semantika, logička posljedica, katalog jednakosti za propozicijsku logiku. Logika prvog reda: sintaksa, semantika, logička posljedica, katalog jednakosti za logiku prvog reda.
• Inteligentni agenti
  Okruženja. Inteligentni agenti. Deduktivni agenti. Reaktivni agenti. Hibridni agenti. Agenti i objekti. Agenti i ekspertni sustavi. Agenti kao intencijski sustavi. Apstraktne arhitekture (formalizacije) inteligentnih agenata. Svojstva okoline.
• Agenti sa sposobnošću deduktivnog rezoniranja
  Agenti kao dokazivači teorema. Problem transdukcije. Primjeri takvih rješenja (AGENT0, Concurrent MetateM). Agentno orijentirano programiranje.
• Agenti sa sposobnošću praktičnog rezoniranja
  Praktično rezoniranje. Implementiranje agenata sa sposobnošću praktičnog rezoniranja. Homer: agent koji planira. PRS arhitektura.
• Hibridne arhitekture
  Nedostaci deliberativnih i reaktivnih arhitektura. Vertikalna i horizontalna slojevitost. Primjeri hibridnih arhitektura (InteRRaP i Touring Machines).
• Realizacija dogovora
  Protokoli. Aukcije. Pregovaranje. Argumentacija. Contract-Net protokol. Jezici za komunikaciju (ACL, KQML). Ontologije. Aukcije.
• Rezoniranje o znanju
  Model mogućih svjetova. Svojstva znanja. Veza između svojstava mogućnosne relacije agenta i svojstava znanja agenta.
• PLK jezik
  PLK jezik (propozicijska logika + znanje). Grafička reprezentacija PLK-a. Primjeri računanja znanja u kontekstu zadane Kripkeove strukture. Opće znanje i distribuirano znanje. Primjeri modeliranja pomoću Kripkeove strukture.
• Formalizacija višeagentnog sustava
  Lokalno stanje agenta. Globalno stanje višeagentnog sustava. Nizovi globalnih stanja (realizacije). Interpretacija realizacije. Uključivanje znanja u višeagentne sustave (operatori znanja).
• Uključivanje vremena u višeagentne sustave
  Temporalni operatori: temporalni operatori za budućnost, temporalni operatori za prošlost. PLKT jezik. Grafička reprezentacija PLKT jezika.
• Svojstva PLKT jezika
  Veze između operatora znanja i temporalnih operatora. Primjeri računanja ispunjivosti formula PLKT jezika.
• Uključivanje zaboravnosti, vjerovanja i želje u višeagentne sustave
  Operatori zaboravnosti. Operatori vjerovanja. Operatori želje. Svojstva operatora zaboravnosti, vjerovanja i želje.
• Implementacija višeagentnih sustava
  Poželjna svojstva agentne infrastrukture. Agentni programi.
• Metodologije
  Kada je višeagentno rješenje odgovarajuće? Agentno orijentirana analiza i tehnike oblikovanja. Problemi višeagentnog razvoja. Mobilni agenti.
• Aplikacije
  Upravljanje poslovnim procesima. Distribuirani senzori. Sustavi za pretraživanje informacija. Elektroničko poslovanje. Oblikovanje sučelja (čovjek – računalo). Virtualna okruženja. Inteligentna organizacija.

Osnovna literatura

• Wooldridge, M. An Introduction to MultiAgent Systems, John Wiley & Sons, Second edition, 2009.
• Predavanja
• Fagin, R. et al. Reasoning About Knowledge, The MIT Press, 2003.

Dopunska literatura

• Maleković, M. Agent Properties in Multi-Agent Systems. Informatica, An International Journal of Computing and Informatics, 1999, 23, 283-288.
• Maleković, M. and M. Čubrilo. Some Properties of Forgetfulness in Multi-Agent Systems. Proceedings, 2002 IEEE International Conference on Intelligent Engineering Systems, INES 2002, pp. 361-362.
• Minker, J. Logic Based AI, Kluver Academic Publishers, Boston, 2000.
• Subrahmanian, V. S. et al. Heterogeneous Agent Systems, The MIT Press, 2000.

Slični predmeti

• Imperial College, London, Department of Computing, Multi-Agent Systems;
• Stanford University, Department of Computer Science, Multi-Agent Systems;
• Rice University, Department of Computer Science, Reasoning about Knowledge;