| Título: | La relevancia de la lógica relevante en el razonamiento no monotónico |
| Autores: | Delrieux, Claudio |
| Fecha: |
2012-09-27 2001-05 2001 |
| Publicador: | Unversidad Nacional de La Plata |
| Fuente: |
 |
| Tipo: |
Objeto de conferencia Objeto de conferencia |
| Tema: |
Lógica Relevante Razonamiento no Monotónico Theory of Computation Distributed Systems ARTIFICIAL INTELLIGENCE Ciencias Informáticas |
| Descripción: |
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. Eje: Inteligencia Artificial Distribuida, Aspectos Teóricos de la Inteligencia Artificial y Teoría de la Computación |
| Idioma: | Español |
1 Ajuste de las variables que gobiernan los modelos de comportamiento de HDM-4 para vías no pavimentadas de la región de Antofagasta (Chile) por Rojas Cazaluade, Oscar Orlando | 6 Alternativas para el fraccionamiento de un Parque Industrial por Borrego, Juan Antonio |
2 La Agrimensura como base de investigaciones arqueológicas por Alfageme, Marcelo O.,Papagni, Jorge H. | 7 La propiedad horizontal por López, María Inés |
3 Anteproyecto de saneamiento y loteo por Antolín, Ricardo Gabriel,Williams, Enrique Oliver | 8 Laguna "San Antonio" por Milone, Ricardo Raúl |
4 Balneario Municipal de la ciudad de Diamante por Battistessa, Gustavo J.,Palomeque, José F. | 9 Estudio catastral de tierras en el partido de San Fernando por Miquelarena, Carlos Alberto |
5 | 10 |