Využití distribuované umělé inteligence ve strategických informačních systémech: technická zpráva č. DCSE/TR - 2014 - 3

Abstract

Z hlediska koncepce návrhu(nejen informačních) systémů je z oboru distribuované umělé inteligence zajímavá právě oblast multiagentních systémů. Výzkumu v této oblasti se dosud věnovala nemalá pozornost, přesto v praxi (pokud vynecháme uplatnění v simulacích) lze stále spatřit nane jvýše náznaky multiagentního paradigmatu. Je již zřejmé, že při návrhu spolehlivých multiagentních systémů nepostačují obvyklé (intuitivní a empirické) přístupy bez dostatečné opory v hlubší formalizaci. Zmíněnou oporu se přirozeně nabízí hledat v odvětví formálních metod, zejména pak v již poměrně rozvinuté oblasti procesních kalkulů (či algeber). Předkládaná práce se po úvodní úvaze soustředí na možnost využití Milnerovo kalkulu (CCS), který lze chápat jako rámec pro rodinu operačně sémantických modelů založených na přechodových systémech. Avšak i zde narazíme na překážku v podobě dosud neuspokojivě vyřešeného problému ekvivalence přechodových systémů. Formálních (a zdánlivě rozumných) ekvivalencí lze totiž najít celou řadu a problém tak spočívá spíše v korespondenci mezi formální a skutečně pozorovatelnou (empirickou) ekvivalencí. Přitom právě odpovídající ekvivalence hraje při hlubší formalizaci klíčovou roli – vždyť pojem ekvivalence úzce souvisí s pojmem chování (dokonce lze jeden pojem definovat druhým ) a chování je předmětem návrhu (nejen multiagentních) systémů. Proto jsou v předkládané práci zevrubně prozkoumány přechodové systémy i způsob vybudování Milnerovo kalkulu. Na základě poznatků je navržen přístup vedoucí k odpovídající formalizaci chování (a tedy i ekvivalence)a následně k algebraické struktuře patřičně upřesňující Milnerovo kalkulus. Závěrem je naznačen i směr další práce.