FROM LOGIC PROGRAMMING TO HUMAN REASONI:
Eksperymenty psychologiczne wykazały, że ludzie przyjmują założenia, które niekoniecznie są poprawne, ponieważ są pod wpływem swojej wiedzy i rozumują niemonotonicznie. Obserwacje te pokazują, że logika klasyczna nie jest odpowiednia do modelowania ludzkiego rozumowania.
Zamiast zakładać, że ludzie w ogóle nie rozumują logicznie, autor przyjmuje pogląd, że ludzie niekoniecznie rozumują zgodnie z logiką klasyczną. Autor bada Weak Completion Semantics, nowe niemonotoniczne podejście do programowania logicznego oparte na trójwartościowej logice Ukasiewicza, i stosuje je do formalizacji dobrze znanych ludzkich zadań rozumowania. Zaskakującym wynikiem jest to, że Weak Completion Semantics działa lepiej niż jakakolwiek inna teoria poznawcza.
Podsumowując, niniejsza publikacja pokazuje jedną z możliwych ścieżek wypełnienia luki między kognitywistyką a logiką obliczeniową, poprzez wykorzystanie wcześniejszych podejść formalnych i modelowanie wyników eksperymentów psychologicznych w ramach jednej teorii kognitywnej.