Una lógica del razonamiento consistente
Fil: Oller, Carlos A. Universidad de Buenos Aires. Facultad de Filosofía y Letras; Argentina.
Main Author: | |
---|---|
Format: | conferenceObject |
Language: | spa |
Published: |
Universidad Nacional de Córdoba
2016
|
Subjects: | |
Online Access: | http://hdl.handle.net/11086/3709 |
_version_ | 1801216279420338176 |
---|---|
author | Oller, Carlos A. |
author_facet | Oller, Carlos A. |
author_sort | Oller, Carlos A. |
collection | Repositorio Digital Universitario |
description | Fil: Oller, Carlos A. Universidad de Buenos Aires. Facultad de Filosofía y Letras; Argentina. |
format | conferenceObject |
id | rdu-unc.3709 |
institution | Universidad Nacional de Cordoba |
language | spa |
publishDate | 2016 |
publisher | Universidad Nacional de Córdoba |
record_format | dspace |
spelling | rdu-unc.37092023-12-15T12:59:14Z Una lógica del razonamiento consistente Oller, Carlos A. Epistemología Historia de la ciencia Fil: Oller, Carlos A. Universidad de Buenos Aires. Facultad de Filosofía y Letras; Argentina. 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. Fil: Oller, Carlos A. Universidad de Buenos Aires. Facultad de Filosofía y Letras; Argentina. 2016-09-02T18:48:56Z 2016-09-02T18:48:56Z 2003-08 conferenceObject 950-33-0390-7 http://hdl.handle.net/11086/3709 spa Atribución-NoComercial-SinDerivadas 2.5 Argentina http://creativecommons.org/licenses/by-nc-nd/2.5/ar/ Universidad Nacional de Córdoba |
spellingShingle | Epistemología Historia de la ciencia Oller, Carlos A. Una lógica del razonamiento consistente |
title | 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_short | Una lógica del razonamiento consistente |
title_sort | una logica del razonamiento consistente |
topic | Epistemología Historia de la ciencia |
url | http://hdl.handle.net/11086/3709 |
work_keys_str_mv | AT ollercarlosa unalogicadelrazonamientoconsistente |