OD LOGICKÉHO PROGRAMOVANIA K ĽUDSKÉMU ROZUMU:

Pôvodný názov:

FROM LOGIC PROGRAMMING TO HUMAN REASONI:

Obsah knihy:

Psychologické experimenty ukázali, že ľudia vytvárajú predpoklady, ktoré nemusia byť vždy platné, pretože sú ovplyvnení svojimi základnými znalosťami a uvažujú nemonotónne. Tieto pozorovania ukazujú, že klasická logika nie je vhodná na modelovanie ľudského uvažovania.

Namiesto predpokladu, že ľudia vôbec neuvažujú logicky, autor zastáva názor, že ľudia nemusia nevyhnutne uvažovať v súlade s Klasickou logikou. Autor skúma Slabú sémantiku dokončenia, nový nemonotónny prístup logického programovania založený na trojhodnotovej ukasiewiczovej logike, a aplikuje ho na formalizáciu známych úloh ľudského uvažovania. Prekvapivým výsledkom je, že Slabá kompletačná sémantika dosahuje lepšie výsledky ako akákoľvek iná kognitívna teória.

Celkovo táto publikácia ukazuje jednu z možných ciest na preklenutie priepasti medzi kognitívnou vedou a počítačovou logikou, a to tým, že vychádza z predchádzajúcich formálnych prístupov a modeluje zistenia z psychologických experimentov v rámci jednej kognitívnej teórie.