1300739938

Andrzej Szałas

Instytut Informatyki Uniwersytet Warszawski

Logika na co dzień

^ odzienna działalność człowieka wymaga ciągłej analizy sytuacji i wyciągania wniosków.

Podobnie dzieje się w systemach informatycznych, w szczególności w systemach inteligentnych, samodzielnie wnioskujących i podejmujących decyzje. Podstawową nauką zajmującą się metodami wnioskowania jest logika i jej właśnie poświęcony jest niniejszy rozdział. Omówimy najpierw podstawowe mechanizmy wnioskowania, w tym rezolucję - najpopularniejszą metodę automatycznego wnioskowania. Następnie przejdziemy do regułowych języków programowania, dla których impulsem była metoda rezolucji. Od uzasadniania poprawności rozumowań przejdziemy do wnioskowania na podstawie baz wiedzy. Obok zastosowań w naukach ścisłych, ekonomicznych czy humanistycznych, metody te mają ogromne znaczenie w informatyce, w tym w robotyce, systemach eksperckich i decyzyjnych.