FROM LOGIC PROGRAMMING TO HUMAN REASONI:
Experimentele psihologice au arătat că oamenii fac presupuneri, care nu sunt neapărat valide, deoarece sunt influențați de cunoștințele lor de bază și raționează non-monoton. Aceste observații arată că logica clasică nu este adecvată pentru modelarea raționamentului uman.
În loc să presupună că oamenii nu raționează deloc logic, autorul consideră că oamenii nu raționează neapărat în conformitate cu logica clasică. Autorul investighează Semantica de completare slabă, o nouă abordare de programare logică non-monotonă bazată pe Logica ukasiewicz cu trei valori, și o aplică la formalizarea unor sarcini bine cunoscute de raționament uman. Un rezultat surprinzător este că Weak Completion Semantics funcționează mai bine decât orice altă teorie cognitivă.
În ansamblu, această publicație arată o posibilă cale de reducere a decalajului dintre știința cognitivă și logica computațională, prin construirea pe baza abordărilor formale anterioare și modelarea constatărilor din experimentele psihologice în cadrul unei teorii cognitive.
© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)