La relevancia de la lógica relevante en el razonamiento no monotónico

La lógica clásica es un sistema formal muy bien establecido cuyo objetivo podría describirse como el de razonar con conocimiento verdadero e inmutable. En la lógica clásica las inferencias son de-ductivas, lo cual tiene la propiedad de validez, es decir, preserva la verdad de los antecedentes, resul...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Delrieux, Claudio
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
Lógica Relevante
Theory of Computation
Razonamiento no Monotónico
Distributed Systems
ARTIFICIAL INTELLIGENCE
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21637
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21637
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Lógica Relevante
Theory of Computation
Razonamiento no Monotónico
Distributed Systems
ARTIFICIAL INTELLIGENCE
spellingShingle Ciencias Informáticas
Lógica Relevante
Theory of Computation
Razonamiento no Monotónico
Distributed Systems
ARTIFICIAL INTELLIGENCE
Delrieux, Claudio
La relevancia de la lógica relevante en el razonamiento no monotónico
topic_facet Ciencias Informáticas
Lógica Relevante
Theory of Computation
Razonamiento no Monotónico
Distributed Systems
ARTIFICIAL INTELLIGENCE
description La lógica clásica es un sistema formal muy bien establecido cuyo objetivo podría describirse como el de razonar con conocimiento verdadero e inmutable. En la lógica clásica las inferencias son de-ductivas, lo cual tiene la propiedad de validez, es decir, preserva la verdad de los antecedentes, resultando imposible deducir una conclusión falsa a partir de antecedentes verdaderos. Si bien sus características sintácticas y semánticas son inmejorables en dicha situación, desde un punto de vista pragmático resulta difícil adecuar la lógica clásica a situaciones mundanas, fundamentalmente por lo problemático del concepto de verdad y su difícil aplicabilidad. Una de las razones de esto es que en una lógica debería estar también expresada la conexión necesaria entre la conclusión de una inferencia y sus premisas, es decir, la relevancia de las premisas para la conclusión [2]. Es poco intuitivo en la lógica clásica que de una premisa falsa se pueda concluir cualquier sentencia arbitraria, así como que una conclusión verdadera pueda ser inferida a partir de cualquier premisa arbitraria. Éstas, entre otras, son las denominadas paradojas de la implicación. En este trabajo proponemos que la lógica relevante presupone una mejor base el razonamiento en general y para la implementación computacional de sistemas basados en conocimiento. Se muestra una presentación de una lógica relevante en un sistema de deducción natural, la cual es computacionalmente implementable, y se discuten sus aplicaciones en el razonamiento revisable.
format Objeto de conferencia
Objeto de conferencia
author Delrieux, Claudio
author_facet Delrieux, Claudio
author_sort Delrieux, Claudio
title La relevancia de la lógica relevante en el razonamiento no monotónico
title_short La relevancia de la lógica relevante en el razonamiento no monotónico
title_full La relevancia de la lógica relevante en el razonamiento no monotónico
title_fullStr La relevancia de la lógica relevante en el razonamiento no monotónico
title_full_unstemmed La relevancia de la lógica relevante en el razonamiento no monotónico
title_sort la relevancia de la lógica relevante en el razonamiento no monotónico
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/21637
work_keys_str_mv AT delrieuxclaudio larelevanciadelalogicarelevanteenelrazonamientonomonotonico
bdutipo_str Repositorios
_version_ 1764820464764452866

Ejemplares similares