On cumulativity in the context of defeasible argumentation
Las lógicas que permiten razonar de manera no-monótona suelen ser caracterizadas por la propiedad que carecen - casualmente, la monotonía - en vez de serlo por aquellas que sí gozan. Gabbay, Makinson y Kraus propusieron un conjunto de propiedades básicas de las relaciones de inferencia que toda teo...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
2008
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/21770 |
| Aporte de: |
| Sumario: | Las lógicas que permiten razonar de manera no-monótona suelen ser caracterizadas por la propiedad que carecen - casualmente, la monotonía - en vez de serlo por aquellas que sí gozan.
Gabbay, Makinson y Kraus propusieron un conjunto de propiedades básicas de las relaciones de inferencia que toda teoría no-monótona debería satisfacer. No obstante, existen varios formalismos aparentemente razonables que no satisfacen algunos de estos principios, por caso la mayoría de los formalismos de argumentación rebatible. En este artículo determinamos el estado de estas propiedades básicas en el marco de dos populares sistemas argumentativos |
|---|