ROK XXXII - Instytut Maszyn Matematycznych

Wojciech Przyłuski, TeleEdu – krok w kierunku sztucznej inteligencji
W system wbudowano 21 rodzajów reguł wnioskowania (reguł produkcji), które można
podzielić na cztery grupy:
Grupa I: reguły opisujące własności relacji podobieństwa
(np. Jeśli i
to )
Grupa II:
reguły opisujące relacje podobieństwa dla czworokątów
(np. Jeśli i
to )
Grupa III:
reguły opisujące zasady dobierania nazw dla czworokątów
(np. Jeśli to )
Grupa IV:
reguły identyfikujących czworokąt na podstawie podanych cech
(np. Jeśli i
to )
Próba zastosowania pojedynczej reguły polega na dopasowaniu wszystkich jej przesłanek do
stwierdzeń zawartych w BAZIE FAKTÓW. Jeśli wszystkie przesłanki danej reguły zostaną
dopasowane, wtedy jej wniosek zostanie wstępnie uznany za nowe stwierdzenie i pytanie o
jego akceptację umieszczone zostanie na liście NOWE FAKTY. Zaakceptowane przez
użytkownika systemu stwierdzenia zostaną umieszczone w BAZIE FAKTÓW, o ile ich tam
jeszcze nie było. W ten sposób reguły mogą „produkować” nowe stwierdzenia.
Działanie sytemu można podzielić na cykle. Pojedynczy cykl rozpoczyna dodanie przez
użytkownika do BAZY FAKTÓW jednego bądź kilku stwierdzeń. Następnie system (w
wyniku działania reguł produkcji) proponuje dodanie nowych stwierdzeń do bazy.
Użytkownik podejmuje decyzję, czy dodać te nowe stwierdzenia. Dodanie każdego nowego
stwierdzenia może spowodować kolejne propozycje dodania nowych faktów. Cykl ten kończy
się w momencie, gdy użytkownik ustosunkuje się do wszystkich propozycji z listy NOWE
FAKTY. Tak więc w ramach pojedynczego cyklu użytkownik ma możliwość uzupełnić
BAZĘ FAKTÓW o wszystkie wnioski jakie można z tej bazy wydedukować za pomocą
przyjętych reguł wnioskowania.
Rozpoczęcie kolejnego cyklu wiąże się z decyzją użytkownika dotyczącą dalszego
rozszerzania swojej bazy faktów.
W każdym momencie użytkownik może sformułować w języku naturalnym pytanie do
systemu, aby ustalić czy w BAZIE FAKTÓW jest stwierdzenie dotyczące typu określonej
figury. Może na przykład zapytać: Czy A jest rombem? Pytania można formułować w sposób
dowolny. Jeśli jednak będzie ono niezrozumiałe dla systemu, wtedy użytkownik zostanie
poproszony o jego ponowne sformułowanie. Odpowiedź na poprawnie sformułowane pytanie
otrzyma natychmiast. Moduł umożliwiający zadawanie pytań to widoczne na ilustracji
PYTANIA DO BAZY.
W pierwszej wersji sytemu „Czworokąty” zrealizowanej w TeleEdu założono, że użytkownik
będzie działał w sposób przemyślany tzn. będzie wprowadzał do bazy faktów stwierdzenia
33