Combining quantitative and qualitative reasoning in defeasible argumentation
Labeled Deductive Systems (LDS) were developed as a rigorous but exible method- ology to formalize complex logical systems, such as temporal logics, database query languages and defeasible reasoning systems. LDSAR is a LDS-based framework for defeasible argumentation which subsumes di erent existin...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2002
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23110 |
| Aporte de: |
| id |
I19-R120-10915-23110 |
|---|---|
| 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 Defeasible Argumentation Quantitative Reasoning Labelled Deductive Systems ARTIFICIAL INTELLIGENCE |
| spellingShingle |
Ciencias Informáticas Defeasible Argumentation Quantitative Reasoning Labelled Deductive Systems ARTIFICIAL INTELLIGENCE Chesñevar, Carlos Iván Simari, Guillermo Ricardo Combining quantitative and qualitative reasoning in defeasible argumentation |
| topic_facet |
Ciencias Informáticas Defeasible Argumentation Quantitative Reasoning Labelled Deductive Systems ARTIFICIAL INTELLIGENCE |
| description |
Labeled Deductive Systems (LDS) were developed as a rigorous but exible method- ology to formalize complex logical systems, such as temporal logics, database query languages and defeasible reasoning systems.
LDSAR is a LDS-based framework for defeasible argumentation which subsumes di erent existing argumentation frameworks, providing a testbed for the study of dif- ferent relevant features (such as logical properties and ontological aspects, among others).
This paper presents LDS AR, an extension of LDSAR that incorporates the ability to combine quantitative and qualitative features within a uni ed argumentative setting.
Our approach involves the assignment of certainty factors to formulas in the knowl- edge base. These values are propagated when performing argumentative inference, o ering an alternative source of information for evaluating the strength of arguments in the dialectical analysis. We will also discuss some emerging logical properties of the resulting framework. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
Chesñevar, Carlos Iván Simari, Guillermo Ricardo |
| author_facet |
Chesñevar, Carlos Iván Simari, Guillermo Ricardo |
| author_sort |
Chesñevar, Carlos Iván |
| title |
Combining quantitative and qualitative reasoning in defeasible argumentation |
| title_short |
Combining quantitative and qualitative reasoning in defeasible argumentation |
| title_full |
Combining quantitative and qualitative reasoning in defeasible argumentation |
| title_fullStr |
Combining quantitative and qualitative reasoning in defeasible argumentation |
| title_full_unstemmed |
Combining quantitative and qualitative reasoning in defeasible argumentation |
| title_sort |
combining quantitative and qualitative reasoning in defeasible argumentation |
| publishDate |
2002 |
| url |
http://sedici.unlp.edu.ar/handle/10915/23110 |
| work_keys_str_mv |
AT chesnevarcarlosivan combiningquantitativeandqualitativereasoningindefeasibleargumentation AT simariguillermoricardo combiningquantitativeandqualitativereasoningindefeasibleargumentation |
| bdutipo_str |
Repositorios |
| _version_ |
1764820465667276802 |