Sztuczna inteligencja/SI Moduł 2/Zadanie wnioskowania

Zadanie wnioskowania

Wnioskowanie formalne, czyli możliwe do zautomatyzowania, przetwarza wiedzę zapisaną w odpowiednim języku logiki. Język ten określa sposób zapisywania i interpretacji reprezentujących wiedzę formuł. Wówczas wnioskowanie można traktować jako przetwarzanie formuł, które z pewnego zbioru znanych formuł (bazy wiedzy) wyprowadza nowe formuły. Wyprowadzanie formuł odbywa sie zgodnie z regułami wnioskowania, które określają, jak z formuł określonej postaci uzyskać nową formułę, która jest ich logiczną konsekwencją.

Będziemy się koncentrować na najczęściej spotykanym wariancie zadania wnioskowania, w której celem jest wykazanie prawdziwości pewnej formuły docelowej na podstawie danego zestawu znanych (uznawanych za prawdziwe) formuł. Cel ten jest osiągany przez znalezienie dowodu, czyli ciągu formuł, z których każda kolejna albo pochodzi z początkowej bazy wiedzy, albo jest wynikiem zastosowania pewnej reguły wnioskowania do formuł wcześniejszych. Ostatnią formułą w takim ciągu musi być formuła docelowa. Ze względów praktycznych od systemów wnioskujących oczekuje się także uzasadnienia poprawności dowodu, czyli wskazania zastosowanych do jego skonstruowania reguł wnioskowania.