DE LA PROGRAMACIÓN LÓGICA A LA RAZÓN HUMANA / FROM LOGIC PROGRAMMING TO HUMAN REASONI:

Título original:

FROM LOGIC PROGRAMMING TO HUMAN REASONI:

Contenido del libro:

Los experimentos psicológicos han demostrado que los seres humanos hacen suposiciones que no son necesariamente válidas, ya que están influidos por sus conocimientos previos y razonan de forma no monotónica. Estas observaciones demuestran que la Lógica Clásica no es adecuada para modelar el razonamiento humano.

En lugar de asumir que los humanos no razonan lógicamente en absoluto, el autor adopta el punto de vista de que los humanos no razonan necesariamente de acuerdo con la Lógica Clásica. El autor investiga la Semántica de Terminación Débil, un novedoso enfoque de Programación Lógica no monotónica basado en la Lógica ukasiewicz de tres valores, y lo aplica a la formalización de conocidas tareas de razonamiento humano. Un resultado sorprendente es que la Semántica de Completación Débil obtiene mejores resultados que cualquier otra teoría cognitiva.

En conjunto, esta publicación muestra un posible camino para salvar la brecha entre la Ciencia Cognitiva y la Lógica Computacional, construyendo sobre enfoques formales previos y modelando hallazgos de experimentos psicológicos dentro de una teoría cognitiva.