Projekt z laboratorium z Języków Sztucznej Inteligencji

Autorzy:

Andrzej Bieniek
Łukasz Brzękowski
Jarosław Dziedzic

Temat Projektu: Motor wnioskujący, umożliwiający na podstawie bazy wiedzy wnioskowanie w przód i wstecz. Klasa posiada metody wywoływane w celu rejestracji reguł i faktów, dowodzi dany fakt.

Jak uruchomić projekt?
1.Zainstalować Javę 1.5 (można ją ściągnąć ze strony suna)
2.Rozpakowac plik zip ściągniety ze strony.
3.Wpisać:

cmd
cd MaszynaWnioskujaca
java maszynaWnioskujaca.Tester

Jak skorzystać z modułu?

MaszynaWnioskujaca maszyna = new MaszynaWnioskujaca();
Regula r = new Regula();
String f = new String("Fakt1");
String f2 = new String("Fakt2");

r.dodajPrzeslanke("Fakt1");
r.dodajPrzeslanke("Fakt2");
r.setKonkluzja("Konkluzja");
maszyna.dodajRegule(r);
maszyna.dodajFakt(f);
maszyna.dodajFakt(f2);
maszyna.wnioskujWPrzod();
maszyna.wypiszFakty();
//wnioskowanie wstecz:
if(maszyna.wnioskujWstecz("Konkluzja")){
	System.out.println("Fakt udowodniony");
}
else{
	System.out.println("Fakt nieudowodniony");
}