Sistemas de argumentación rebatible y lógica polivalente
Este trabajo tiene un doble propósito: primero, mostrar que la argumentación rebatible puede brindar una semántica clara para algunas lógicas polivalentes, como las que consideran algún valor intermedio no clasificable como distinguido (emparentado con la verdad) ni como antidistinguido ("empar...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | conferenceObject |
| Lenguaje: | Español |
| Publicado: |
Eduardo Sota
2016
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/3478 |
| Aporte de: |
| Sumario: | Este trabajo tiene un doble propósito: primero, mostrar que la argumentación rebatible puede brindar una semántica clara para algunas lógicas polivalentes, como las que consideran algún valor intermedio no clasificable como distinguido (emparentado con la verdad) ni como antidistinguido ("emparentado" con la falsedad); Y segundo, mostrar cómo puede operarse lógicamente• con el conocimiento tentativo producido (justificado) por un sistema argumentativo. El primer propósito es de importancia lógica. El segundo es de importancia para la Inteligencia Artificial -el campo en el que se han desarrollado los sistemas argumentativos-, ya que el sistema que se presenta sugiere implementaciones computacionales que mejorarían la eficiencia de los programas basados en argumentación rebatible. |
|---|