|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectmaszynaWnioskujaca.MaszynaWnioskujaca
public class MaszynaWnioskujaca
MaszynaWnioskująca, udostępnia metody wnioskowania wprzód oraz w tył.
Field Summary | |
---|---|
private java.util.ArrayList |
fakty
|
private java.util.ArrayList |
noweFakty
|
private java.util.ArrayList |
reguly
|
Constructor Summary | |
---|---|
MaszynaWnioskujaca()
Konstruktor. |
Method Summary | |
---|---|
void |
dodajFakt(java.lang.String p_fakt)
Dodaje nowy fakt do bazy faktów w MaszynieWnioskującej. |
void |
dodajRegule(Regula p_regula)
Dodaje nową regułę do bazy reguł w MaszynieWnioskującej |
java.util.ArrayList |
getFakty()
|
java.util.ArrayList |
getNoweFakty()
|
java.util.ArrayList |
getReguly()
|
private boolean |
isFakt(java.lang.String p_fakt)
sprawdza czy mamy w bazie wiedzy p_fakt |
void |
reset()
Metoda przypisuje wszystkie fakty wywnioskowane przez wnioskujWPrzod() i wnioskujWTyl(String) do bazy wiedzy. |
void |
setFakty(java.util.ArrayList p_fakty)
Pozwala wymienić tablicę znanych faktów na nową |
void |
setNoweFakty(java.util.ArrayList p_noweFakty)
Pozwala wymienić nowo udowodnione fakty na inne |
void |
setReguly(java.util.ArrayList p_reguly)
Pozwala wymienić tablicę reguł dostępnych w klasie na nową |
private boolean |
udowodnijRegule(Regula reg)
Funkca stara sie udowodnic wszystkie przeslanki z danej reguly. |
void |
wnioskujWPrzod()
Wnioskowanie w przód - po znalezieniu nowego faktu, jest on automatycznie dodawany do bazy wiedzy poprzed wywolanie metody reset(). |
boolean |
wnioskujWstecz(java.lang.String p_fakt)
Funkcja stara sie dowiesc zadany fakt wykorzystujac mechanizm dowodzenia wstecz. |
void |
wypiszFakty()
Wypisuje znane fakty na standardowe wyjście. |
void |
wypiszReguly()
Wypisuje znane reguły na standardowe wyjście. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private java.util.ArrayList reguly
private java.util.ArrayList fakty
private java.util.ArrayList noweFakty
Constructor Detail |
---|
MaszynaWnioskujaca()
Method Detail |
---|
public java.util.ArrayList getReguly()
public void setReguly(java.util.ArrayList p_reguly)
p_reguly
- nowa tablica reguł (ArrayList)Regula
public java.util.ArrayList getFakty()
public void setFakty(java.util.ArrayList p_fakty)
p_fakty
- nowa tablica faktówpublic java.util.ArrayList getNoweFakty()
public void setNoweFakty(java.util.ArrayList p_noweFakty)
p_noweFakty
- public void dodajRegule(Regula p_regula)
p_regula
- obiekt klasy reguła, który zostanie dodany do bazy wiedzyRegula
public void dodajFakt(java.lang.String p_fakt)
p_fakt
- nowy fakt, obiekt klasy String.public void reset()
public void wnioskujWPrzod()
reset()
,
Regula
public void wypiszFakty()
public void wypiszReguly()
private boolean isFakt(java.lang.String p_fakt)
p_fakt
-
private boolean udowodnijRegule(Regula reg)
reg
- Regula ktorej przeslanki chcemy udowodnic.
false - Porazka!, nie udalo sie urowodnic wszystkich przeslanek
public boolean wnioskujWstecz(java.lang.String p_fakt)
fakt
- Fakt do udowodnienia
false - Porazka!, na podstawie posiadanej bazy wiedzy nie mozemy udowodnic danego faktu
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |