Una lógica del razonamiento consistente

Se ha señalado a menudo que hay una diferencia fundamental entre la manera en que los seres humanos manejan la información inconsistente y la manera en que esta es tratada en la mayoría de los sistemas lógicos. Siendo la inconsistencia en la información la norma más bien que la excepción, los seres...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Oller, Carlos A.
Formato: conferenceObject
Lenguaje:Español
Publicado: Víctor Rodríguez 2016
Materias:
Acceso en línea:http://hdl.handle.net/11086/3709
Aporte de:
id I10-R14111086-3709
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Epistemología
Historia de la ciencia
spellingShingle Epistemología
Historia de la ciencia
Oller, Carlos A.
Una lógica del razonamiento consistente
topic_facet Epistemología
Historia de la ciencia
description Se ha señalado a menudo que hay una diferencia fundamental entre la manera en que los seres humanos manejan la información inconsistente y la manera en que esta es tratada en la mayoría de los sistemas lógicos. Siendo la inconsistencia en la información la norma más bien que la excepción, los seres humanos son bastante hábiles en razonar con la parte "segura" de una información que contiene inconsistencias locales. Esta manera de tratar la información inconsistente parece más eficiente que la estrategia de revisar la información para desembarazarse de las inconsistencias, dado que la verificación y el mantenimiento de la consistencia en una base de conocimiento grande puede ser un procedimiento muy costoso en términos de los recursos requeridos. En este trabajo caracterizaremos semánticamente la relación de inferencia de un sistema no-monótono para el razonamiento consistente.
format conferenceObject
author Oller, Carlos A.
author_facet Oller, Carlos A.
author_sort Oller, Carlos A.
title Una lógica del razonamiento consistente
title_short Una lógica del razonamiento consistente
title_full Una lógica del razonamiento consistente
title_fullStr Una lógica del razonamiento consistente
title_full_unstemmed Una lógica del razonamiento consistente
title_sort una lógica del razonamiento consistente
publisher Víctor Rodríguez
publishDate 2016
url http://hdl.handle.net/11086/3709
work_keys_str_mv AT ollercarlosa unalogicadelrazonamientoconsistente
bdutipo_str Repositorios
_version_ 1764820396103696387