Instytut Informatyki Uniwersytetu Śląskiego 4 maja 2012
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
Elementy perceptu: Rysunek: Percepty Parametr bez wartości, to parametr bezkontekstowy: Rysunek: 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)
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.
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.
{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} VAL PIES {x 1, x 2, x 4, x 8 } VAR PIES {MRUCZEK} VAL KOT {x 3, x 5, x 7 } VAR KOT VAL ZWIERZE = VAL PIES VAL KOT {x 4, x 5 } VAR ZWIERZE, {MERDA OGONEM, SZCZEKA, MIAUCZY } VAL ZACHOWANIE {PRZYJAZNY } VAL USPOSOBIENIE
{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} VAL PIES {x 1, x 2, x 4, x 8 } VAR PIES {MRUCZEK} VAL KOT {x 3, x 5, x 7 } VAR KOT VAL ZWIERZE = VAL PIES VAL KOT {x 4, x 5 } VAR ZWIERZE, {MERDA OGONEM, SZCZEKA, MIAUCZY } VAL ZACHOWANIE {PRZYJAZNY } VAL USPOSOBIENIE Zadanie Spróbuj sam przygotować zestaw powiązanych zdań, a następnie przedstaw zbiór VAR, VAL itp.
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)
Wnioskowanie w tył: Dane są reguły: Drogie uniwersalne komputery, zamknięte w dużej obudowie posiadają procesor PII.
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.
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.
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)
Jeżeli komputer nie ma nagrywarki CD, to jest dostosowany do gier.
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.
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)
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)