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