OD LOGICKÉHO PROGRAMOVÁNÍ K LIDSKÉMU ROZUMU:

Původní název:

FROM LOGIC PROGRAMMING TO HUMAN REASONI:

Obsah knihy:

Psychologické experimenty ukázaly, že lidé vytvářejí předpoklady, které nemusí být nutně platné, protože jsou ovlivněni svými znalostmi a uvažují nemonotónně. Tato pozorování ukazují, že klasická logika není pro modelování lidského uvažování vhodná.

Namísto předpokladu, že lidé vůbec neuvažují logicky, autor zastává názor, že lidé nemusí nutně uvažovat v souladu s klasickou logikou. Autor zkoumá Slabou sémantiku doplňování, nový nemonotónní přístup k logickému programování založený na tříhodnotové ukasiewiczově logice, a aplikuje jej na formalizaci známých úloh lidského uvažování. Překvapivým výsledkem je, že Slabá kompletační sémantika dosahuje lepších výsledků než jakákoli jiná kognitivní teorie.

Celkově tato publikace ukazuje jednu z možných cest k překlenutí propasti mezi kognitivní vědou a počítačovou logikou, a to na základě předchozích formálních přístupů a modelování poznatků z psychologických experimentů v rámci jedné kognitivní teorie.