HIERARCHICZNY SYSTEM WIELOAGENTOWY

Podobne dokumenty
PODEJMOWANIE DECYZJI GLOBALNEJ Z ZASTOSOWANIEM HIERARCHICZNEGO SYSTEMU WIELOAGENTOWEGO ORAZ ALGORYTMU MRÓWKOWEGO

Przykład 5.1. Kratownica dwukrotnie statycznie niewyznaczalna

Arytmetyka finansowa Wykład z dnia

Małe drgania wokół położenia równowagi.

WIELOAGENTOWY SYSTEM DECYZYJNY Z DYNAMICZNIE GENEROWANYMI ROZŁĄCZNYMI KLASTRAMI

Diagonalizacja macierzy kwadratowej

11/22/2014. Jeśli stała c jest równa zero to takie gry nazywamy grami o sumie zerowej.

Zadanie 1. Udowodnij, że CAUS PRAM. Załóżmy przetwarzanie przyczynowo spójne. Dla każdego obrazu historii hv i zachodzi zatem:

p Z(G). (G : Z({x i })),

STATYSTYKA MATEMATYCZNA WYKŁAD 5 WERYFIKACJA HIPOTEZ NIEPARAMETRYCZNYCH

Zaawansowane metody numeryczne Komputerowa analiza zagadnień różniczkowych 1. Układy równań liniowych

Warunek równowagi bryły sztywnej: Znikanie sumy sił przyłożonych i sumy momentów sił przyłożonych.

BADANIA OPERACYJNE. Podejmowanie decyzji w warunkach niepewności. dr Adam Sojda

Kompresja fraktalna obrazów. obraz. 1. Kopiarka wielokrotnie redukująca 1.1. Zasada działania ania najprostszej kopiarki

o Puchar Pytii - Wybory Prezydenckie 2015

Ćw. 2. Wyznaczanie wartości średniego współczynnika tarcia i sprawności śrub złącznych oraz uzyskanego przez nie zacisku dla określonego momentu.

Wybór dostawcy w przedsięwzięciach budowlanych na podstawie rozmytej relacji preferencji

MECHANIKA BUDOWLI 13

ANALIZA PREFERENCJI SŁUCHACZY UNIWERSYTETU TRZECIEGO WIEKU Z WYKORZYSTANIEM WYBRANYCH METOD NIESYMETRYCZNEGO SKALOWANIA WIELOWYMIAROWEGO

MODELE MATEMATYCZNE W UBEZPIECZENIACH WYKŁAD 5: RENTY ŻYCIOWE

WYZNACZENIE ROZKŁADU TEMPERATUR STANU USTALONEGO W MODELU 2D PRZY UŻYCIU PROGRMU EXCEL

RÓWNOWAGA STACKELBERGA W GRACH SEKWENCYJNYCH

Twierdzenie Bezouta i liczby zespolone Javier de Lucas. Rozwi azanie 2. Z twierdzenia dzielenia wielomianów, mamy, że

Obliczanie geometrycznych momentów figur płaskich 4

ANALIZA NIERÓWNOŚCI REZYDUALNEJ GRADIENTOWEJ TERMOMECHANIKI

Wykład 1 Zagadnienie brzegowe liniowej teorii sprężystości. Metody rozwiązywania, metody wytrzymałości materiałów. Zestawienie wzorów i określeń.

Problemy jednoczesnego testowania wielu hipotez statystycznych i ich zastosowania w analizie mikromacierzy DNA

ROZDZIAŁ 5. Renty życiowe

Przekształcenie całkowe Fouriera

Portfele zawierające walor pozbawiony ryzyka. Elementy teorii rynku kapitałowego

Problem plecakowy (KNAPSACK PROBLEM).

Instrukcja do ćwiczeń laboratoryjnych z przedmiotu: Badania operacyjne. Temat ćwiczenia: Problemy rozkroju materiałowego, zagadnienia dualne

; -1 x 1 spełnia powyższe warunki. Ale

Zaawansowane metody numeryczne

Zestaw zadań 4: Przestrzenie wektorowe i podprzestrzenie. Liniowa niezależność. Sumy i sumy proste podprzestrzeni.

Matematyka finansowa r. Komisja Egzaminacyjna dla Aktuariuszy. LXVIII Egzamin dla Aktuariuszy z 29 września 2014 r.

Sztuczna inteligencja w identyfikacji i sterowaniu. Uczenie konkurencyjne w sieciach samoorganizujących się

Programowanie Równoległe i Rozproszone

Modele wieloczynnikowe. Modele wieloczynnikowe. Modele wieloczynnikowe ogólne. α β β β ε. Analiza i Zarządzanie Portfelem cz. 4.

Funkcja momentu statycznego odciętej części przekroju dla prostokąta wyraża się wzorem. z. Po podstawieniu do definicji otrzymamy

W praktyce często zdarza się, że wyniki obu prób możemy traktować jako. wyniki pomiarów na tym samym elemencie populacji np.

KRZYWA BÉZIERA TWORZENIE I WIZUALIZACJA KRZYWYCH PARAMETRYCZNYCH NA PRZYKŁADZIE KRZYWEJ BÉZIERA

MINISTER EDUKACJI NARODOWEJ

ALGEBRY HALLA DLA POSETÓW SKOŃCZONEGO TYPU PRINJEKTYWNEGO

; -1 x 1 spełnia powyższe warunki. Ale

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

) będą niezależnymi zmiennymi losowymi o tym samym rozkładzie normalnym z następującymi parametrami: nieznaną wartością 1 4

METODA WSPÓŁCZYNNIKÓW NIEPEŁNOŚCI WIEDZY W SYSTEMACH WSPOMAGANIA DECYZJI

Oligopol dynamiczny. Rozpatrzmy model sekwencyjnej konkurencji ilościowej jako gra jednokrotna z pełną i doskonalej informacją

Rozwiązywanie zadań optymalizacji w środowisku programu MATLAB

Wykład 2: Uczenie nadzorowane sieci neuronowych - I

CAŁKOWANIE NUMERYCZNE całki pojedyncze

Wstęp do metod numerycznych Faktoryzacja SVD Metody iteracyjne. P. F. Góra

REGUŁY NIEDETERMINISTYCZNE W SYSTEMACH DECYZYJNYCH

Badanie współzaleŝności dwóch cech ilościowych X i Y. Analiza korelacji prostej. Badanie zaleŝności dwóch cech ilościowych. Analiza regresji prostej

Analiza danych OGÓLNY SCHEMAT. Dane treningowe (znana decyzja) Klasyfikator. Dane testowe (znana decyzja)


Wykład 2: Uczenie nadzorowane sieci neuronowych - I

Badanie współzależności dwóch cech ilościowych X i Y. Analiza korelacji prostej

Statystyka Inżynierska

Pokazać, że wyżej zdefiniowana struktura algebraiczna jest przestrzenią wektorową nad ciałem

Minister Edukacji Narodowej Pani Katarzyna HALL Ministerstwo Edukacji Narodowej al. J. Ch. Szucha Warszawa Dnia 03 czerwca 2009 r.

Prawdopodobieństwo i statystyka r.

R n. i stopa procentowa okresu bazowego, P wartość początkowa renty, F wartość końcowa renty. R(1 )

Precesja koła rowerowego

Wyk lad 3 Grupy cykliczne

Zastosowanie strategii ewolucyjnej w prognozowaniu tendencji zmian kursu akcji

Zapis informacji, systemy pozycyjne 1. Literatura Jerzy Grębosz, Symfonia C++ standard. Harvey M. Deitl, Paul J. Deitl, Arkana C++. Programowanie.


16. Pole magnetyczne, indukcja. Wybór i opracowanie Marek Chmielewski

STUDIA INFORMATICA 2012 Volume 33 Number 2A (105)




KOŁODZIŃSKI Edward 1 TOMCZYK Łukasz 2 ZAPERT Piotr 3

Prawdopodobieństwo geometryczne

( ) ( ) 2. Zadanie 1. są niezależnymi zmiennymi losowymi o. oraz. rozkładach normalnych, przy czym EX. i σ są nieznane. 1 Niech X

TRANZYSTOR BIPOLARNY CHARAKTERYSTYKI STATYCZNE

O PEWNYM MODELU POZWALAJĄCYM IDENTYFIKOWAĆ K NAJBARDZIEJ PODEJRZANYCH REKORDÓW W ZBIORZE DANYCH KSIĘGOWYCH W PROCESIE WYKRYWANIA OSZUSTW FINANSOWYCH

WPŁYW PARAMETRÓW DYSKRETYZACJI NA NIEPEWNOŚĆ WYNIKÓW POMIARU OBIEKTÓW OBRAZU CYFROWEGO

Pattern Classification

TŁUMIENIE DRGAŃ SKRĘTNYCH DWUMASOWEGO UKŁADU NAPĘDOWEGO PRACUJĄCEGO W ADAPTACYJNEJ STRUKTURZE STEROWANIA Z NEURONOWO-ROZMYTYMI REGULATORAMI TYPU TSK

Plan wykładu: Typowe dane. Jednoczynnikowa Analiza wariancji. Zasada: porównać zmienność pomiędzy i wewnątrz grup

Ę ó ą ż Ę Ń ó ś ź ń ś ś Ę óń ż ńó Ę ń ń ń ą ń ź ż ń ś ó Ż ó ąż ż łś ż żń ż ź ó ż ę ż ó ł Ń ń ń Ń ą Ńź óś ńńóń ń ń ń ż śż ó ś ż ż ą ó Ą Ń ż ł ń ą ż ą ż

D Archiwum Prac Dyplomowych - Instrukcja dla studentów

Sortowanie szybkie Quick Sort

Diagnostyka układów kombinacyjnych

Przykład 4.1. Belka dwukrotnie statycznie niewyznaczalna o stałej sztywności zginania

WikiWS For Business Sharks

BADANIE WPŁYWU REDUKCJI SZUMU NA IDENTYFIKACJĘ DYNAMIKI CHAOTYCZNEJ NA PRZYKŁADZIE FINASOWYCH SZEREGÓW CZASOWYCH

Algorytmy szukania równowag w grach dwumacierzowych

Wykład 1. Wprowadzenie do teorii grafów

7. Wykład VII: Warunki Kuhna-Tuckera

Stateczność układów ramowych

STATECZNOŚĆ SKARP. α - kąt nachylenia skarpy [ o ], φ - kąt tarcia wewnętrznego gruntu [ o ],

Analiza danych. Analiza danych wielowymiarowych. Regresja liniowa. Dyskryminacja liniowa. PARA ZMIENNYCH LOSOWYCH

Projekt 6 6. ROZWIĄZYWANIE RÓWNAŃ NIELINIOWYCH CAŁKOWANIE NUMERYCZNE

Analiza rodzajów skutków i krytyczności uszkodzeń FMECA/FMEA według MIL STD A

Metrologia Techniczna

Metoda wyznaczania najtańszych 1-diagnozowalnych struktur opiniowania diagnostycznego

Transkrypt:

STUDIA INFORMATICA 007 Voume 8 Number (7) Aca WAKULICZ-DEJA Unwersytet Śąsk, Instytut Inormatyk Małgorzata PRZYBYŁA-KPEREK Unwersytet Śąsk, Instytut Matematyk HIERARCHICZNY SYSTEM WIELOAGENTOWY Streszczene. Praca przestawa ops procesu poemowana gobanych ecyz na postawe reguł ecyzynych okanych systemów ekspertowych, zaweraących wzaemne uzupełnaące sę obserwace stanu obektów, które mogą być równeż wzaemne sprzeczne. Zaproponowano organzace okanych systemów ekspertowych w system weoentowy o strukturze herarchczne. Słowa kuczowe: system ekspertowy, system weoentowy, ecyza gobana HIERARCHICAL MULTI-AGENT SYSTEM Summary. The paper presents the process o takng goba ecsons on the bass o ecson rues o oca expert systems nong mutuay compementary obseratons o obects whch can be mutuay contractory. The author suggests organzaton o oca expert systems nto a mut-ent system wth a herarchca structure. Keywors: expert system, mut-ent system, goba ecson. Wprowazene Systemy weoentowe są źrółem weu nowych narzęz technoog wspomaących anazowane proektowane złożonych systemów komputerowych [ 7]. Naturaną cechą takch systemów est kooperaca koorynaca załań entów emnuąca chaotyczne załane enostk. Agenc współpracuą ze sobą, aby osągnąć een ce, który est poza zasęgem każego z nch. W nnesze pracy probem poemowana ecyz gobane na postawe reguł ecyzynych okanych systemów ekspertowych rozwązywany est poprzez organzacę

6 A. Wakucz-Dea, M. Przybyła-Kasperek systemu weoentowego, którego ceem est okreśene ecyz gobane. W systeme tym każy okany system ekspertowy est entem posaaącym zoność rozwązywana probemów z zakresu swoego śroowska, otoczena. Poneważ enc posaaą ane otyczące obserwac stanu obektów, które sę wzaemne uzupełnaą, ae są równeż wzaemne sprzeczne, węc naturane est występowane konktów pomęzy entam. W nnesze pracy zaproponowany został sposób rozwązywana konktów wezy występuących poczas poemowana ecyz gobane. Jeną z perwszych propozyc sposobu rozwązywana sytuac konktowych na postawe o teor zborów przybżonych est moe Pawaka [5]. W koenych atach rozwano oraz uoskonaano tę metoę [ 6]. W pracy zaproponowano omenne rozwązane sytuac konktowe powstałe pomęzy entam poczas poemowana ecyz. Założono, że enc posaaą wspóny ęzyk (ontoogę) o wymany normac.. Okreśene struktury systemu weoentowego.. Agenc zasobów Nech Ag bęze skończonym zborem nazw entów Ag = n Każy ent : {,, }. Ag zasobów w postac tabcy ecyzyne gze: D : = ( U, A, ) U nazywamy obektam; A, nazywany est entem zasobów, gyż ma on ostęp o pewnych est skończonym nepustym zborem zwanym unwersum, a eementy zboru est skończonym nepustym zborem atrybutów warunkowych, gze każy atrybut b b A est unkcą b: U V, przy czym V est zborem wartośc atrybutu b ; b nazywamy atrybutem ecyzynym, est to unkca : U V, przy czym est zborem wartośc atrybutu. Szersze omówene poęca można znaeźć z pracach [,, ]. Tabca ecyzyna D est potabcą unwersane tabcy ecyzyne V U W : = ( W, A, ),

Herarchczny system weoentowy 65 gze: est zborem wszystkch możwych obektów; est skończonym nepustym W zborem atrybutów warunkowych, gze każy atrybut b A est unkcą b b : W V ; atrybut ecyzyny est to unkca Oznacza to, że U W b A U b / = b, b A / =. U : W V. {, n }. Wówczas unkcę : W U N {0} okreśoną następuącym wzorem A oraz spełnone są następuące warunk: Aby poemowane ecyz gobane na postawe wezy entów zasobów było sensowne, naeży założyć, że =., {,, n} V V Da asnośc zapsu wprowazmy następuące oznaczena V = V : = {,, }. {,, n} m Z tych samych powoów ne bęzemy rozróżnać atrybutu ecyzynego a poszczegónych entów zasobów ( ) = = {,, n} oraz. Da każego enta zasobów enuemy unkcę poobeństwa. Denca.. Nech W : = ( W, A, ) bęze unwersaną tabcą ecyzyną oraz nech D ( U, A, ) bęze aną tabcą ecyzyną enta zasobów Ag, gze = y, ): = { b A : bx ( ) = by ( )}, a x W, y U nazywamy unkcą poobeństwa enta zasobów. Da każego enta zasobów oraz a każe wartośc atrybutu ecyzynego enuemy unkcę wyznaczaącą nawększy stopeń poobeństwa a obektu wzgęem wartośc ecyz. Denca.. Nech bęze unwersaną tabcą ecyzyną, D = ( U, A, ) bęze aną tabcą ecyzyną enta zasobów, gze {, n} oraz nech V = {,, m} bęze pewną wartoścą atrybutu ecyzynego. Wówczas unkcę W : = ( W, A, ) : W N {0} okreśoną następuącym wzorem { } ) : = max, y) : y U oraz ( y) =, a x W Ag nazywamy unkcą wyznaczaącą nawększy stopeń poobeństwa wzgęem ecyz.

66 A. Wakucz-Dea, M. Przybyła-Kasperek.. Agenc syntezy Każy ent zasobów x U na zborze atrybutów A Ag na postawe obserwac stanu obektu potra samozene wyznaczyć wartość ecyz a tego obektu. Zbory atrybutów warunkowych różnych entów zasobów ne muszą być rozłączne. W wększośc przypaków część wspóna tych zborów bęze nepusta. Zaanem systemu weoentowego est poęce ecyz gobane a pewnego obektu o zenowanych wartoścach na zborze atrybutów warunkowych systemu weoentowego A : A. {,, n} = U Rozsąne wyae sę założene, że enc zasobów, którzy wnoskuą na postawe wspónych atrybutów warunkowych, pownn tworzyć grupę entów, tzw. kaster. Denca.. Nech Ag = } {, n bęze zborem entów zasobów. Kastrem nazywamy namneszy, ze wzgęu na reacę nkuz, pozbór zboru entów zasobów {,, } Ag,,, {,, n} k k {,, } {,, };, k k A A spełnaący następuące wa warunk: () n k A A = () {,, } {,, } {,, }. k Warunek perwszy powyższe enc gwarantue, że enc wnoskuący na postawe wspónych atrybutów warunkowych bęą zaczen o enego kastra. Natomast warunek rug enc zapewna rozłączność zboru atrybutów warunkowych entów zasobów, znauących sę w różnych kastrach. Zakłaamy, że enc zasobów mogą sę ze sobą porozumewać w obrębe enego kastra. Jenak każy ent zasobów ma ogranczoną wezę o postac tabcy ecyzyne enta znauącego sę w te same grupe. Inormace, ake enc zasobów wymenaą męzy sobą, otyczą tyko wartośc wspónych atrybutów warunkowych. Zatem, nezbęne est stnene enta narzęnego kastra, koorynuącego pracę grupy. Agenta spełnaącego take zaane nazywamy entem syntezy. Agent syntezy, ozn., posaa ostęp o zasobów entów zasobów naeżących o grupy emu porzęne. Denca.. Nech {,, } bęze kastrem, natomast entem syntezy tego kastra. Wówczas zasoby enta S = ( U, A ), gze U : = U U ; k k można zapsać w postac systemu normacynego A : = A {} A { k}; k

Herarchczny system weoentowy 67 (, b ),, xk): = b), a,, xk) U oraz ( b, ) A. Przy czym system normacyny est posystemem unwersanego systemu normacynego W : = ( W, A ), gze W : = W W ; k S A : = A {} A { k}; k (, b ),, xk): = b), a,, xk) W oraz (, b ) A. Zakłaamy ponato, że ent syntezy zna zbór wartośc atrybutu ecyzynego V. Zakłaamy równeż, że stnee możwość obustronne wymany normac pomęzy różnym entam syntezy oraz entem syntezy entam zasobów naeżących o kastra porzęnego wobec tego enta syntezy... Agent menażer Agent menażer, ozn. AM, pełn unamentaną roę w systeme weoentowym opsanym w nnesze pracy. Po perwsze, ent ten rozzea zaana entom syntezy. Roą enta syntezy est koorynaca kooperaca pracy entów zasobów w obrębe kastra. Zatem, koorynaca procesu poemowana ecyz na postawe poanych wartośc obserwac a atrybutów warunkowych, naeżących o pewnego pozboru zboru A wszystkch atrybutów warunkowych systemu weoentowego. Pozbory, bęące zeznam wnoskowana entów syntezy, wyznaczaą pozał zboru atrybutów warunkowych systemu weoentowego: U A = A U k {,, p } {,, pk } gze pozbory {,, },,{,, } są kastram takm, że k U {,, } = Ag. = A p k kp k p ), Głównym zaanem enta menażera est asocaca ecyz poętych przez grupy entów w eną wartość ecyz ub pozbór wartośc ecyz a anego obektu. Zatem, ent menażer mus meć ostęp o zasobów entów syntezy. Denca.5. Nech,, k bęze zborem k entów syntezy nazoruących pracę pewnych kastrów, stanowących pozał zboru entów zasobów Ag. Wówczas zasoby enta menażera maą postać systemu normacynego S = ( U, A AM AM AM gze U : = U U ; AM k A = A A AM k ;

68 A. Wakucz-Dea, M. Przybyła-Kasperek bx (,, xk): = bx ( ), a,, xk) UAM oraz b A AAM. Przy czym system normacyny est posystemem unwersanego systemu normacynego W AM : = ( WAM, AAM ), gze W : = W W ; AM k S AM A : = A A ; AM k bx (,, xk): = bx ( ), a,, xk) WAM oraz b A A AM Zakłaamy ponato, że ent menażer zna zbór wartośc atrybutu ecyzynego V. Ostatnm zaanem enta menażera est sprawzene, czy okłaność, z akm poęta została ecyza, spełna warunk zaana systemu weoentowego. Na ponższym rysunku przestawona została struktura przykłaowego systemu weoentowego, gze Ag = {,, 8 } oraz zbory atrybutów warunkowych entów zasobów spełnaą następuące warunk:. {,,} {,,}; Ag Ag, A A, A A, {,,,5,6,7,8} A A =. 5 6 7 8 A A =, A A =, {,,} {5,6,7,8} {5,6} {7,8} Rys.. Struktura systemu weoentowego Fg.. Structure o the mut-ent system. Schemat ecyzyny W ceu wyaśnena schematu poemowana ecyz przez system weoentowy wprowazmy naperw encę ormuły oraz poęce spełnanośc ormuły [, ].

Herarchczny system weoentowy 69 Denca.. Nech S = ( U, A) bęze systemem normacynym. Wówczas ormułą b atomową nazywamy wyrażene o postac ( b, ), gze b Aoraz V. Mówmy, że obekt x U spełna ormułę atomową (,) b w systeme S, ozn. x = ( b,, wtey tyko wtey, gy S ) b ) =. Denca.. Nech S = ( U, A) bęze systemem normacynym oraz nech zbór P= { b,, b k } bęze pozborem zboru atrybutów A. Wówczas każą ormułę α o postac α = ( b, ) ( b, ), gze V b, {,, k} k k nazywamy P - ormułą. Jeś P= A, to wyrażene α nazywamy ormułą. Mówmy, że obekt x U spełna P - ormułę α w systeme S, ozn. x = α, wtey tyko wtey, gy {,, k} x = S ( b, ). Zgone z zapowezą opszemy teraz schemat poemowana ecyz przez system weoentowy. Załóżmy, że {,, n} est zborem entów zasobów oraz {,, r} est zborem entów syntezy. Na początku ent menażer otrzymue pewne zaane, poegaące na wyznaczenu wartośc ecyz a obektu spełnaącego ormułę α, która to est okreśona na zborze atrybutów warunkowych systemu weoentowego S Decyza poęta przez system weoentowy pownna spełnać zaany stopeń okłanośc ecyz. Da skupena uw załóżmy, że α = ( b, ) ( b, ), gze V, =,, k oraz{ b,, b } =A. b k k k Wówczas ent menażer, który ma ostęp o zasobów entów syntezy, przekazue opoweną część ormuły α o każego z entów syntezy. Oznacza to, że eś ent syntezy koorynue pracę kastra {,, } Ag, to otrzymue on ormułę p A. bęącą obcęcem ormuły α o zboru sposób: α / : = ( b, ) ( b, ), g A g A, ozn. α zenowanym w następuący /, A gze {,, } {,,} k oraz g p g =U = { b,, b } A. Następne rozpoczyna sę proces poemowane ecyz w obrębe kastra.

70 A. Wakucz-Dea, M. Przybyła-Kasperek.. Schemat poemowana ecyz w obrębe kastra Agent syntezy, który koorynue pracę kastra {,, }, po otrzymanu za- p ana poegaącego na wyznaczenu wartośc ecyz a obektu spełnaącego ormułę α /, A przekazue każemu entow zasobów, {,, } naeżącemu o porzęnego mu kastra, ormułę β bęącą obcęcem ormuły est w następuący sposób: β : = ( b, ) ( b, ), t t to to gze { t,, to} {,, g} oraz { bt,, bt } = A. o / A p α o zboru. Obcęce zenowane Z enc kastra wynka, że zbory atrybutów warunkowych, na których są okreśone ormuły β,, β, ne są param rozłączne. p Po te operac enc zasobów rozpoczynaą proces wyznaczana wartośc unkc k,a =,,, orazk =,, m a obektu x p W spełnaącego ormułę β, x = W β. Następne enc zasobów, wymenaąc normacę w obrębe kastra, a każego k {,, m} sprawzaą, czy a zboru obektów { y y U x y x } : oraz (, ) k ( ),,, = = p reazuących nawększy stopeń poobeństwa o obektu x wzgęem ecyz wartośc na atrybutach wspónych są entyczne. A k, Jeś zachoz powyższa własność, to o normac zaweraące zbór wartośc unkc { x } k ( ):,, = p ołączana est normaca o braku konktu męzy entam zasobów przy poemowanu ecyz k normac a zaanego obektu w obrębe enego kastra. W przecwnym wypaku o { x } k ( ):,, = p ołączana est normaca o zastnenu konktu męzy entam zasobów przy poemowanu ecyz k a zaanego obektu w obrębe enego kastra. Tak paket normac przesyłany est o enta syntezy. Następne rozpoczyna sę proces poemowana ecyz na pozome entów syntezy.

Herarchczny system weoentowy 7.. Schemat poemowana ecyz na pozome enta syntezy Agent syntezy po otrzymanu paketu normacynego obcza proponowaną wartość ecyz za pomocą unkc ecyzyne enta syntezy. Denca.. Nech bęze entem syntezy koorynuącym pracę kastra {,, p} oraz nech = ( W, A ) bęze unwersanym systemem normacynym, W a S = ( U, A ) bęze anym systemem normacynym enta syntezy. Wówczas V mutunkcę γ : W okreśoną następuącym wzorem gze γ p p x = V x a = x V x W = = ( ): : ( ) max ( ):,, { { }} x W oraz spełnony est warunek eś x = α to x = α /, a =,, p W W A nazywamy unkcą ecyzyną enta syntezy. Każy ent syntezy systemu weoentowego wyznacza wartość unkc ecyzyne a obektu x W spełnaącego ormułę α /, A x = α /. W A Następne, wymenaąc normacę męzy sobą, enc syntezy sprawzaą, czy zbór est nepusty. r D: = I γ ) = Jeże zbór powyższy est nepusty, wtey enc syntezy sprawzaą, czy stneą wartośc ecyz D, a których ne wystąpł konkt pomęzy entam zasobów przy poemowanu te ecyz. Jeś take wartośc stneą, to enc moykuą zbór aby pozostały w nm tyko wartośc ecyz bezkonktowe, w przecwnym wypaku zbór D pozostawony est bez zman. Agent menażer otrzymue o entów syntezy paket normac zaweraący zbór oraz zbór wartośc Jeś enak p = { } μ ) : = ), =,, r, a pewnego D. D =, wówczas każy z entów syntezy, =,, r przesyła o enta menażera paket normac o postac D tak, D

7 A. Wakucz-Dea, M. Przybyła-Kasperek Następne rozpoczyna sę proces regac oceny ecyz na pozome enta menażera. p k k k k k ), c : μ ): x c = {( μ ) wystąpł konkt, k =,, m}. = ( ), = 0 brak konktu, c k =.. Agregaca ocena ecyz na pozome enta menażera Agent menażer w zaeżnośc o postac normac, ake otrzymał o entów syntezy, poemue różne załana. W perwszym przypaku, gy zbór D, roa enta menażera ograncza sę o oceny stopna okłanośc poęte ecyz. Ocena ta okonywana est za pomocą współczynnka okłanośc. Denca.. Nech AM bęze entem menażerem oraz nech {,, r} bęze zborem entów syntezy. Wówczas współczynnkem okłanośc nazywamy unkcę μ : W AM [0,] okreśoną następuącym wzorem: μ r μ ) = ): =, A AM gze obekty x W, spełnaą następuący warunek: eś x = α to x = α / a każego =,, r. W AM W A Anaogczne enuemy współczynnk okłanośc wzgęem ecyz, wstawaąc w enc współczynnka okłanośc wartośc Da współczynnka okłanośc wzgęem ecyz V μ ) zamast μ ), a =,, r. przymuemy oznaczene μ. Jeś poęta ecyza spełna poany w zaanu współczynnk okłanośc, ent menażer uzea pozytywne opowez o zaana w opowez przesyła zbór ecyz Jeś enak współczynnk okłanośc ne spełna warunków zaana, ent menażer przesyła normace o nemożwośc poęca ecyz z zaanym współczynnkem okłanośc. W przypaku gy wartośc ecyz ze zboru D =, ent menażer obcza współczynnk okłanośc a każe V okłanośc. Zatem, ent menażer wyznacza nowy zbór, a następne wybera ecyze maksymazuące współczynnk { } : : ( ) max{ k D = V μ x = μ ): V }. k D.

Herarchczny system weoentowy 7 Następne ent menażer sprawza, czy współczynnk okłanośc ecyz ze zboru spełna warunk zaana. Jeś warunk zaana ne są spełnone, ent menażer przesyła normace o nemożwośc poęca ecyz z zaanym współczynnkem okłanośc. Jeś enak warunk zaana są spełnone, ent menażer sprawza, czy w zborze stneą take wartośc ecyz, a których ne powstał konkt męzy entam zasobów poczas poemowana te ecyz. Zatem ent menażer sprawza, czy spełnony est warunek: {,, r} c 0. D = () Jeś warunek est spełnony, wówczas ent menażer moykue zbór każe wartośc pozostawa zbór D D o zaana przesyła zbór ecyz D. D D tak, aby a spełnony był warunek (). W przecwnym wypaku ent menażer bez zman. Następne ent menażer uzea pozytywne opowez D. Przykłay zastosowana systemu weoentowego o poemowana ecyz gobanych W te częśc pracy rozważymy wa probemy, poegaące na wyznaczenu ecyz gobane, a obektu spełnaącego ormułę α, na postawe wezy okanych systemów ekspertowych. Przykła.. Nech Ag : = {,,, } bęze zborem entów zasobów. Każy z entów Ag,,, ma ostęp o tabcy ecyzyne = D ( U, A, ) Postace tabc ecyzynych przestawone zostały ponże. =.

7 A. Wakucz-Dea, M. Przybyła-Kasperek Tabea Tabce ecyzyne entów zasobów U a b c U a c e 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 5 0 0 0 0 0 U g h U h k 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 5 0 Naeży wyznaczyć wartość ecyz a obektu spełnaącego ormułę α o postac α = ( a,) ( b, 0) ( c,) ( e,) (,) ( g, 0) ( h, 0) (,) (,) ( k,). Współczynnk okłanośc ecyz pownen być ne mneszy nż 0,8. Zauważmy naperw, że rozważany system weoentowy bęze mał następuącą strukturę: Rys.. Struktura systemu weoentowego Fg.. Structure o the mut-ent system

Herarchczny system weoentowy 75 W ponższe tabe przestawone zostały ormuły, które otrzymaą poszczegón enc. Agent Formuły przesłane entom Formuła Tabea AM α = ( a,) ( b, 0) ( c,) ( e,) (,) ( g, 0) ( h, 0) (,) (,) ( k,) α / A = ( a,) ( b,0) ( c,) ( e,) (,) β = ( a,) ( b,0) ( c,) β = ( a,) ( c,) ( e,) (,) α / A = ( g,0) ( h,0) (,) (,) ( k,) β = ( g,0) ( h,0) (,) β = ( h,0) (,) ( k,) Wartośc unkc ), gze {,,,}, {,,}, przy czym = 0, =, = oraz x W x = β {,,,} W zostały przestawone w tabe. Tabea Wartośc unkc wyznaczaące nawększy stopeń poobeństwa wzgęem ecyz 0 0 0 0 = 0 ) = ) = ) = ) = = ) = ) = ) = ) = = ) = ) = ) = ) = Ostateczne pakety normac, ake otrzymaą enc syntezy oraz, bęą następuące Tabea Pakety normac przesłane entom syntezy Konkt Konkt = 0 Tak = 0 = Tak = Tak Ne = Tak = Ne Następne enc syntezy wyznaczaą wartośc unkc ecyzynych a obektów x W, x W spełnaących warunk: x = α oraz x / = W α. W / A A

76 A. Wakucz-Dea, M. Przybyła-Kasperek Wartośc unkc ecyzynych są następuące: Zatem γ ) = { } oraz γ ) = {, }. D= { }. Przy poemowanu ecyz wystąpł konkt pomęzy entam, ae o zboru D ne naeżą nne wartośc ecyz, węc zbór D pozostae nezmenony. wynos Paket normac, ak otrzymue ent menażer, przestawony został w tabe 5. Tabea 5 Paket normac przesłany entow menażerow D= { } μ ) = 6 μ ) = 5 Stą ent menażer wnoskue, że ecyza a obektu ) = μ ) = 0,85. została ona poęta ze współczynnkem okłanośc Zatem opoweź na zaane est pozytywna wynos =. Przykła.. Nech Ag : = {,,, } x W takego, że x = AM W AM bęze zborem entów zasobów, maących ostęp o tabc ecyzynych poanych w przykłaze.. Naeży wyznaczyć wartość ecyz a obektu spełnaącego ormułę α o postac α = ( a,) ( b,) ( c,0) ( e,0) (,0) ( g,) ( h,0) (,) (,) ( k,0). Współczynnk okłanośc ecyz pownen być ne mneszy nż 0,6. Struktura systemu weoentowego bęze taka sama ak w przykłaze poprzenm. W tabe 6 przestawono ormuły, które otrzymaą poszczegón enc. Agent Formuły przesłane entom Formuła Tabea 6 AM α = ( a,) ( b,) ( c,0) ( e,0) (,0) ( g,) ( h,0) (,) (,) ( k,0) α / A = ( a,) ( b,) ( c,0) ( e,0) (,0) β = ( a,) ( b,) ( c, 0) β = ( a,) ( c,0) ( e,0) (,0) α / A = ( g,) ( h,0) (,) (,) ( k,0) β = ( g,) ( h,0) (,) β = ( h,0) (,) ( k,0) Wartośc unkc ), gze {,,,}, {,,}, przy czym α

Herarchczny system weoentowy 77 = 0, =, = oraz x W x = β {,,,} W zostały przestawone w tabe 7. Tabea 7 Wartośc unkc wyznaczaące nawększy stopeń poobeństwa wzgęem ecyz = 0 = = 0 ) = ) = ) = 0 ) = ) = ) = 0 ) = ) = ) = 0 ) = 0 ) = ) = Pakety normac, ake otrzymaą enc syntezy oraz, przestawone zostały w tabe 8. Tabea 8 Pakety normac przesłane entom syntezy Konkt Konkt = 0 Tak = 0 = Tak = 0 Tak Ne = Ne = Ne Następne enc syntezy wyznaczaą wartośc unkc ecyzynych a obektów x W, x W, spełnaących warunk x W α / A = oraz x / = W α. A Wartośc unkc ecyzynych są następuące: γ ) = { 0, } oraz γ ) = { }. Zatem D =. Paket normac, ak otrzyma ent menażer, przestawony został w tabe 9. Tabea 9 Paket normac przesłany entow menażerow 0 0 0 0 = 0 ( μ) = 5, c = ) ( μ) =, c = ) = ( μ) = 5, c = ) ( μ) =, c = 0) = μ ) =, c = 0 μ ) = 5, c = 0 ( ) ( )

78 A. Wakucz-Dea, M. Przybyła-Kasperek Następne ent menażer wyznacza współczynnk okłanośc a każe wartośc ecyz, {,,}. Wynk obczeń poane zostały w tabe 0. Zatem D= {, }. Tabea 0 Wartośc współczynnka okłanośc = 0 0 6 μ ) = 8 = μ ) = 8 = μ ) = Poneważ współczynnk okłanośc ecyz ze zboru ent menażer sprawza, czy w zborze D D spełna warunk zaana, węc stneą wartośc ecyz, a których ne powstał konkt męzy entam zasobów poczas poemowana te ecyz. Z uw na to, że poczas poemowana ecyz ne oszło o konktu pomęzy entam zasobów, a poczas poemowana ecyz powstał konkt pomęzy entam oraz, węc D= { }. Stą opoweź na zaane est pozytywna wynos ) =, została ona poęta ze współczynnkem okłanośc 8 μ ) = 0,6. 5. Posumowane W pracy została przestawona koncepca poemowana ecyz gobanych poprzez organzacę okanych systemów ekspertowych w system weoentowy. W ten sposób możemy wyznaczyć wartość ecyz mmo sprzecznośc wezy okanych systemów ekspertowych. Agenc, którzy samozene ne potraą rozwązać probemu współpracuąc wymenaąc męzy sobą normace, potraą wspóne poąć ecyzę o nawększym współczynnku okłanośc. Proponowana powyże koncepca wyma eszcze werykac oraz przeprowazena baań eksperymentanych.

Herarchczny system weoentowy 79 LITERATURA. Dea R.: Conct anayss, rough set methos an appcatons; new eeopments. In: Pokowsk L. (es.), Stues n Fussness an Sot Computer Scence, Physca-Ver, 000.. Maturana F. P., Norre D. H.: Dstrbute ecson-makng usng the contract net wthn a meator archtecture. Decson Support Systems, 997, nr 0, s. 5 6.. Muawka J. J.: Systemy ekspertowe. WNT, Warszawa 996.. Pawak Z.: Rough Sets: Theoretca aspects o reasonng about ata. Kuwer Acaemc Pubshers, Boston 99. 5. Pawak Z., On concts. Int. J. o Man-Machne Stues, 98, no., s. 7. 6. Pawak Z.: An nqury nto anatomy o concts. Journa o Inormaton Scences, 998, no. 09, s. 65 78. 7. Po - Hsan Huang: An appcaton o quanttate technques to conct resouton n a mut-ent system. Computers an Eectrca Engneerng, 00, no. 9, s. 757 779. 8. Pokowsk L., Skowron A.: Rough mereoogy: A new paragm or approxmate reasonng. Internatona Journa o Approxmate Reasonng, 996, no. 5, s. 65. 9. Pokowsk L., Skowron A.: Rough Mereoogca Founatons or Desgn, Anayss, Synthess an Contro n Dstrbute Systems. Inormaton Scences, 998, no. 0, s. 9 56. 0. Pokowsk L., Skowron A.: Synthess o compex obects: rough mereoogca approach. Proceengs o The Mut-Agent Day, Warsaw 998.. Smńsk R., Wakucz-Dea A.: Crcuarty n Rue Knowege Bases Detecton usng Decson Unt Approach. Montorng, Securty an Rescue Technques n Mutent System, Sprnger Ver, Bern 005, s. 7 79.. Wakucz-Dea A.: Postawy systemów ekspertowych. Zanena mpementac. ZN Po. Ś. Stua Inormatca, Vo. 6, No. (6), 005. Recenzent: Dr nż. Marek Skora Wpłynęło o Reakc 5 paźzernka 007 r.

80 A. Wakucz-Dea, M. Przybyła-Kasperek Abstract The paper presents the process o takng goba ecsons on the bass o the knowege o oca expert systems. The author suggests organzaton o oca expert systems nto a mutent system wth a herarchca structure. The rst part o the paper presents the structure o mut-ent systems an theoretca aspects o the organzaton o the system whereas the secon part eas wth the practca aspect o the suggeste souton on the base on the scusson o two exampes. The rst chapter estabshes the man purpose o the paper. The secon chapter escrbes the structure o mut-ent structure. The notons o resource ent, synthess ent an maner ent hae been ene. The chapter aso enes the ents' purposes an resources whch are aaabe to the ents. Aso, the toos whch are to be use by the ents whe estabshng ecson aue. Fg. presents a herarchca structure o a sampe mut-ent system. The thr chapter escrbes the scheme o takng ecsons through the mut-ent system. The way o exchangng normaton between ents s scusse as we as the ways o song concts whch arse between them. A the aaabe kns o ecsons hae been presente. The ast chapter shows two exampes whose am s to estabsh ecson aue or certan obects on the bass o the knowege o oca expert systems. Fg. shows the structure o the mut-ent system whch s anayze n the earer mentone exampes. The chapter aso contans a number o tabes wth ormuas an normaton packets, whch are sent to ents whe ecsons are taken. Aresy Aca WAKULICZ-DEJA: Unwersytet Śąsk, Instytut Inormatyk, u. Bęzńska 9, -00 Sosnowec, Poska, wakucz@us.eu.p; Małgorzata PRZYBYŁA-KPEREK: Unwersytet Śąsk, Instytut Matematyk, u. Bankowa, 0-007 Katowce, Poska, magorzataprzybya@poczta.m.