FROM LOGIC PROGRAMMING TO HUMAN REASONI:
Pszichológiai kísérletek kimutatták, hogy az emberek olyan feltételezéseket tesznek, amelyek nem feltétlenül érvényesek, mivel háttérismereteik befolyásolják őket, és nem monoton módon gondolkodnak. Ezek a megfigyelések azt mutatják, hogy a klasszikus logika nem alkalmas az emberi gondolkodás modellezésére.
Ahelyett, hogy azt feltételezné, hogy az emberek egyáltalán nem logikusan gondolkodnak, a szerző azt a nézetet képviseli, hogy az emberek nem feltétlenül a klasszikus logika szerint gondolkodnak. A szerző vizsgálja a Gyenge kiegészítési szemantikát, egy új, nem-monoton logikai programozási megközelítést, amely a háromértékű ukasiewicz-i logikán alapul, és alkalmazza azt jól ismert emberi érvelési feladatok formalizálására. Meglepő eredmény, hogy a Gyenge Teljesítési Szemantika jobban teljesít, mint bármely más kognitív elmélet.
Összességében ez a publikáció a kognitív tudomány és a számítógépes logika közötti szakadék áthidalásának egyik lehetséges útját mutatja be, a korábbi formális megközelítésekre építve és a pszichológiai kísérletekből származó eredményeket egy kognitív elméleten belül modellezve.