Embedding abduction in nonmonotonic theories

An important ampliative inference schema that is commonly used is abduction. Abduction plays a central role in many applications, such as diagnosis, expert systems, and causal reasoning. In a very broad sense we can state that abduction is the inference process that goes from observations to explana...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Delrieux, Claudio
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
abduction
observation
inference system
inference process
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21801
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21801
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
abduction
observation
inference system
inference process
spellingShingle Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
abduction
observation
inference system
inference process
Delrieux, Claudio
Embedding abduction in nonmonotonic theories
topic_facet Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
abduction
observation
inference system
inference process
description An important ampliative inference schema that is commonly used is abduction. Abduction plays a central role in many applications, such as diagnosis, expert systems, and causal reasoning. In a very broad sense we can state that abduction is the inference process that goes from observations to explanations within a more general context or theoretical framework. That is to say, abductive inference looks for sentences (named explanations), which, added to the theory, enable deductions for the observations. Most of the times there are several such explanations for a given observation. For this reason, in a narrower sense, abduction is regarded as an inference to the best explanation. However, a problem that faces abduction is the explanation of anomalous observations, i. e., observations that are contradictory with the current theory. It is perhaps impossible to do such inferences in monotonic theories. For this reason, in this work we will consider the problem of characterizing abduction in nonmonotonic theories. Our inference system is based on a natural deduction presentation of the implicational segment of a relevant logic, much similar to the R! system of Anderson and Belnap. Then we will discuss some issues arising the pragmatic acceptance of abductive inferences in nonmonotonic theories.
format Objeto de conferencia
Objeto de conferencia
author Delrieux, Claudio
author_facet Delrieux, Claudio
author_sort Delrieux, Claudio
title Embedding abduction in nonmonotonic theories
title_short Embedding abduction in nonmonotonic theories
title_full Embedding abduction in nonmonotonic theories
title_fullStr Embedding abduction in nonmonotonic theories
title_full_unstemmed Embedding abduction in nonmonotonic theories
title_sort embedding abduction in nonmonotonic theories
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/21801
work_keys_str_mv AT delrieuxclaudio embeddingabductioninnonmonotonictheories
bdutipo_str Repositorios
_version_ 1764820464912302081

Ejemplares similares