Systemy ekspertowe : percepty
Transkrypt
Systemy ekspertowe : percepty
Systemy ekspertowe : percepty Przemysław Juszczuk Instytut Informatyki Uniwersytetu Śląskiego 4 maja 2012 Przemysław Juszczuk Systemy ekspertowe : percepty Percept jest parą (pa, val), której pierwszy element pa jest parametrem perceptu charakteryzującym pewne istnienie e z wartością val będącą drugim elementem perceptu: (e, (pa, val)) ∈ per Przemysław Juszczuk Systemy ekspertowe : percepty Elementy perceptu: Rysunek: Percepty Parametr bez wartości, to parametr bezkontekstowy: Rysunek: Percepty Przemysław Juszczuk Systemy ekspertowe : percepty Przykłady: (CIŚNIENIE : PARA : KOCIOŁ, K1): ciśnienie pary w kotle K1 (KOLOR : KOCIOL : K1, CZERWONY) (KSZTALT : KOCIOL : K1,WALEC) (SKRZYDLA : SAMOLOT : X,MA) (Informatyk : Osoba : Jan, TAK) (SKRZYDLA : OBIEKT : X,MA) → (LATA : OBIEKT : X, TAK) Przemysław Juszczuk Systemy ekspertowe : percepty System perceptowy: Systemem perceptowym w uniwersum U nazywamy trójkę: S = (U, FS, GS) składającą się z uniwersum U, skończonego zbioru FS U-zdań wyrażających fakty o konkretach parametrów PAR skończonego zbioru GS U-zdań wyrażających cele (pytania) dotyczące konkretów parametrów PAR. U-zdania wyrażające fakty nazywamy U-faktami, a Uformuły opisujące cele — U-celami. Przemysław Juszczuk Systemy ekspertowe : percepty Przykład: (D1) Pies AS szczeka. (D2) Zwierzę Mruczek miauczy. (R1) Jeśli pies merda ogonem, to jest przyjazny. (R2) Jeśli pies szczeka na kota, to kot obawia się psa. (R3) Pies jest zwierzęciem. ( Jeżeli pies to zwierzę. ) (R4) Jeśli zwierzę miauczy, to jest kotem. Przemysław Juszczuk Systemy ekspertowe : percepty {PIES : PIES, KOT : KOT , ZWIERZE : ZWIERZE , ZACHOWANIE : ZWIERZE , USPOSOBIENIE : PIES, PIES : KOGO.CZEGO : OBAWIANIE .SIE : KTO.CO : KOT , PIES : ZWIERZE } ⊆ CFPAR {PIES, KOT , ZWIERZE , ZACHOWANIE , USPOSOBIENIE } ⊆ AT {AS} ⊆ VALPIES {x1 , x2 , x4 , x8 } ⊆ VARPIES {MRUCZEK } ⊆ VALKOT {x3 , x5 , x7 } ⊆ VARKOT VALZWIERZE = VALPIES ⊆ VALKOT {x4 , x5 } ⊆ VARZWIERZE , {MERDA − OGONEM, SZCZEKA, MIAUCZY } ⊆ VALZACHOWANIE {PRZYJAZNY } ⊆ VALUSPOSOBIENIE Przemysław Juszczuk Systemy ekspertowe : percepty {PIES : PIES, KOT : KOT , ZWIERZE : ZWIERZE , ZACHOWANIE : ZWIERZE , USPOSOBIENIE : PIES, PIES : KOGO.CZEGO : OBAWIANIE .SIE : KTO.CO : KOT , PIES : ZWIERZE } ⊆ CFPAR {PIES, KOT , ZWIERZE , ZACHOWANIE , USPOSOBIENIE } ⊆ AT {AS} ⊆ VALPIES {x1 , x2 , x4 , x8 } ⊆ VARPIES {MRUCZEK } ⊆ VALKOT {x3 , x5 , x7 } ⊆ VARKOT VALZWIERZE = VALPIES ⊆ VALKOT {x4 , x5 } ⊆ VARZWIERZE , {MERDA − OGONEM, SZCZEKA, MIAUCZY } ⊆ VALZACHOWANIE {PRZYJAZNY } ⊆ VALUSPOSOBIENIE Zadanie Spróbuj sam przygotować zestaw powiązanych zdań, a następnie przedstaw zbiór VAR, VAL itp. Przemysław Juszczuk Systemy ekspertowe : percepty Wnioskowanie, dowodzenie: Dwie główne reguły dowodzenia: reguła odrywania : (DR1) A,A⇒B B x A(x) reguła uogólnienia: (DR2) ∀A(x) Przemysław Juszczuk Systemy ekspertowe : percepty Wnioskowanie w tył: Dane są reguły: Drogie uniwersalne komputery, zamknięte w dużej obudowie posiadają procesor PII. Przemysław Juszczuk Systemy ekspertowe : percepty Wnioskowanie w tył: Dane są reguły: Drogie uniwersalne komputery, zamknięte w dużej obudowie posiadają procesor PII. (cena:komputer:x1,drogi) ∧ (cecha:komputer:x1,uniwersalny) ) ∧ (obudowa:komputer:x1,duża) → (procesor:komputer:x1,PII) Szybkie komputery przeznaczone do gier są drogie. Przemysław Juszczuk Systemy ekspertowe : percepty Wnioskowanie w tył: Dane są reguły: Drogie uniwersalne komputery, zamknięte w dużej obudowie posiadają procesor PII. (cena:komputer:x1,drogi) ∧ (cecha:komputer:x1,uniwersalny) ) ∧ (obudowa:komputer:x1,duża) → (procesor:komputer:x1,PII) Szybkie komputery przeznaczone do gier są drogie. (prędkość:komputer:x1,szybki) ∧ (przeznaczenie:komputer:x1,gry) → (cena:komputer:x1,drogi) Komputery wyposażone w dużą pamięć operacyjną są uniwersalne. Przemysław Juszczuk Systemy ekspertowe : percepty Wnioskowanie w tył: Dane są reguły: Drogie uniwersalne komputery, zamknięte w dużej obudowie posiadają procesor PII. (cena:komputer:x1,drogi) ∧ (cecha:komputer:x1,uniwersalny) ) ∧ (obudowa:komputer:x1,duża) → (procesor:komputer:x1,PII) Szybkie komputery przeznaczone do gier są drogie. (prędkość:komputer:x1,szybki) ∧ (przeznaczenie:komputer:x1,gry) → (cena:komputer:x1,drogi) Komputery wyposażone w dużą pamięć operacyjną są uniwersalne. (pamięć:komputer:x1,dużo) → (cecha:komputer:x1,uniwersalny) Przemysław Juszczuk Systemy ekspertowe : percepty Jeżeli komputer nie ma nagrywarki CD, to jest dostosowany do gier. Przemysław Juszczuk Systemy ekspertowe : percepty Jeżeli komputer nie ma nagrywarki CD, to jest dostosowany do gier. (nagrywarka:komputer:x1,nie) → (przeznaczenie:komputer:x1,gry) Komputery wyposażone w nagrywarki są drogie. Przemysław Juszczuk Systemy ekspertowe : percepty Jeżeli komputer nie ma nagrywarki CD, to jest dostosowany do gier. (nagrywarka:komputer:x1,nie) → (przeznaczenie:komputer:x1,gry) Komputery wyposażone w nagrywarki są drogie. (nagrywarka:komputer:x1,tak) → (cena:komputer:x1,drogi) Przemysław Juszczuk Systemy ekspertowe : percepty Jeżeli komputer nie ma nagrywarki CD, to jest dostosowany do gier. (nagrywarka:komputer:x1,nie) → (przeznaczenie:komputer:x1,gry) Komputery wyposażone w nagrywarki są drogie. (nagrywarka:komputer:x1,tak) → (cena:komputer:x1,drogi) Fakty: Mój komputer ma dużą obudowę, jest szybki i wyposażony w nagry- warki, a przy tym ma dużą pamięć opracyjną. (obudowa:komputer:mój,duża) (prędkość:komputer:mój,szybki) (nagrywarka:komputer:mój,tak) (pamięć:komputer:mój,dużo) Przemysław Juszczuk Systemy ekspertowe : percepty