Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja | |||
|
pl:dydaktyka:krr:lab_sterowanie_wnioskowaniem [2013/03/06 09:30] gjn [Wymuszanie nawrotów] pitagoras |
pl:dydaktyka:krr:lab_sterowanie_wnioskowaniem [2013/03/13 06:13] gjn [Prosty program diagnostyczny] |
||
|---|---|---|---|
| Linia 260: | Linia 260: | ||
| Atomy, Termy, Klauzule i Predykaty - arność. | Atomy, Termy, Klauzule i Predykaty - arność. | ||
| - | ===== Prosty program diagnostyczny ===== | ||
| - | |||
| - | Program realizuje prosty system diagnostyczny (w praktyce wnioskujący wstecz system ekspertowy). | ||
| - | Jest to kompletny program wyposażony w: | ||
| - | * bazę wiedzy o problemie | ||
| - | * mechanizm wnioskowania - wyszukiwanie rozwiązań | ||
| - | * dynamiczną modyfikację/rozbudowę bazy wiedzy | ||
| - | * obsługę plików (i/o) | ||
| - | * interfejs (prosty) użytkownika | ||
| - | |||
| - | System: {{pl:prolog:prolog_lab:car.pl}} | ||
| - | |||
| - | Plik pomocniczy: {{pl:prolog:prolog_lab:getyesno.pl}} | ||
| ===== Wbudowany system pomocy ===== | ===== Wbudowany system pomocy ===== | ||
