Titre original :
FROM LOGIC PROGRAMMING TO HUMAN REASONI:
Contenu du livre :
Des expériences psychologiques ont montré que les êtres humains font des hypothèses qui ne sont pas nécessairement valables, car ils sont influencés par leurs connaissances de base et raisonnent de manière non monotone. Ces observations montrent que la logique classique ne permet pas de modéliser le raisonnement humain.
Au lieu de supposer que les humains ne raisonnent pas du tout logiquement, l'auteur considère que les humains ne raisonnent pas nécessairement en accord avec la logique classique. L'auteur étudie la sémantique à faible complétion, une nouvelle approche de programmation logique non monotone basée sur la logique ukasiewicz à trois valeurs, et l'applique à la formalisation de tâches de raisonnement humain bien connues. Un résultat surprenant est que la sémantique à faible complétion est plus performante que n'importe quelle autre théorie cognitive.
Dans l'ensemble, cette publication montre une voie possible pour combler le fossé entre les sciences cognitives et la logique informatique, en s'appuyant sur des approches formelles antérieures et en modélisant les résultats d'expériences psychologiques dans le cadre d'une théorie cognitive.
Autres informations sur le livre :
| ISBN : | 9781614998419 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
Achat:
Actuellement disponible, en stock.
