Jan Łukasiewicz nie był twórcą współczesnej AI, ale jego prace są ważnym kontekstem dla historii formalnego rozumowania. Szczególnie logiki wielowartościowe pokazują, że formalny opis rozumowania nie musiał ograniczać się do klasycznego podziału prawda/fałsz.
Dlaczego Jan Łukasiewicz jest ważny dla AI?
Sztuczna inteligencja potrzebuje sposobów reprezentowania niepewności, stopni prawdziwości i reguł wnioskowania. Dzisiejsze modele robią to głównie statystycznie, ale zanim AI stała się przemysłem danych, logicy badali formalne systemy wykraczające poza klasyczną dwuwartościowość. Łukasiewicz jest jednym z najważniejszych nazwisk tej historii.
Kim był?
Jan Łukasiewicz był polskim logikiem, filozofem i matematykiem, związanym ze szkołą lwowsko-warszawską. Zasłynął z prac nad logiką wielowartościową oraz notacją polską, czyli sposobem zapisu wyrażeń bez nawiasów, ważnym później w historii notacji formalnych i informatyki.
Konkretny wkład w rozwój AI
Wkład Łukasiewicza jest pośredni. Logiki wielowartościowe nie są tym samym co współczesne sieci neuronowe, ale pokazały, że formalne rozumowanie może dopuszczać więcej stanów niż zero i jeden. To ważne dla późniejszych rozważań o niepewności, systemach ekspertowych, logice rozmytej i reprezentacji wiedzy.
Najważniejsze projekty, decyzje lub idee
- Logika wielowartościowa: formalne systemy, w których prawda nie musi być tylko binarna.
- Notacja polska: zapis wyrażeń istotny dla historii informatyki i przetwarzania formuł.
- Szkoła lwowsko-warszawska: polski wkład w precyzyjne myślenie o języku, dowodzie i rozumowaniu.
To część serii Ludzie, którzy kształtują AI, w której opisujemy osoby realnie wpływające na rozwój sztucznej inteligencji.
