Využití distribuované umělé inteligence ve strategických informačních systémech: technická zpráva č. DCSE/TR - 2014 - 3
Files
Date issued
2014
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Západočeská univerzita v Plzni
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.
Description
Subject(s)
umělá inteligence, informační systém