ROK XXXII - Instytut Maszyn Matematycznych
ROK XXXII - Instytut Maszyn Matematycznych
ROK XXXII - Instytut Maszyn Matematycznych
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Zeszyt ABC.IT nr 2/2006(6)<br />
wzajemnie niesprzeczne. Na przykład nie wprowadzi jednocześnie stwierdzeń: i . W kolejnej wersji zamierzamy zrezygnować z tego typu<br />
ograniczeń, a wykrywanie sprzeczności w bazie faktów będzie po prostu jednym z zadań<br />
systemu.<br />
Przykład działania systemu „Czworokąty”:<br />
Cykl I: Wprowadzamy do BAZY FAKTÓW stwierdzenie:<br />
<br />
Na podstawie reguły:<br />
Jeśli to <br />
system proponuje dodanie do BAZY FAKTÓW stwierdzenia:<br />
. Akceptujemy tę propozycję.<br />
Wtedy na podstawie reguły:<br />
Jeśli to <br />
system proponuje dodanie do BAZY FAKTÓW stwierdzenia:<br />
. Akceptujemy tę propozycję.<br />
BAZA FAKTÓW zawiera teraz stwierdzenia:<br />
<br />
<br />
<br />
System nie proponuje już nowych stwierdzeń, bowiem wszystkie możliwe wnioski<br />
zostały już wysnute. Cykl I kończy się.<br />
Cykl II: Wprowadzamy do BAZY FAKTÓW kolejne stwierdzenie:<br />
<br />
Na podstawie reguły:<br />
Jeśli to <br />
system proponuje dodanie do BAZY FAKTÓW stwierdzenia:<br />
. Akceptujemy tę propozycję.<br />
Wtedy na podstawie reguły:<br />
Jeśli i to <br />
system proponuje dodanie do BAZY FAKTÓW stwierdzenia:<br />
. Akceptujemy tę propozycję.<br />
Teraz na podstawie reguły:<br />
Jeśli to <br />
system proponuje dodanie do BAZY FAKTÓW stwierdzenia:<br />
. Akceptujemy tę propozycję.<br />
BAZA FAKTÓW zawiera teraz stwierdzenia:<br />
<br />
<br />
<br />
<br />
<br />
<br />
<br />
System nie proponuje już nowych stwierdzeń, bowiem wszystkie możliwe wnioski<br />
zostały już wysnute. Cykl II kończy się.<br />
W ogólnym przypadku BAZA FAKTÓW może być bardzo duża, może być również<br />
niewidoczna dla użytkownika. Dlatego warto czasem korzystać z mechanizmu zadawania<br />
34