A preliminary study of computational complexity in non-monotonic reasoning

In this work we analyze existing complexity results in the area of non-monotonic reasoning in general and argumentation in particular. Even though the area of argumentation is based on solid theoretical foundations, its main problems rely on the computational complexity of the system that have so fa...

Descripción completa

Detalles Bibliográficos
Autores principales: Capobianco, Marcela, Chesñevar, Carlos Iván, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2005
Materias:
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
preliminary study
computational complexity
non-monotonic reasoning
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21163
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21163
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
preliminary study
computational complexity
non-monotonic reasoning
spellingShingle Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
preliminary study
computational complexity
non-monotonic reasoning
Capobianco, Marcela
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
A preliminary study of computational complexity in non-monotonic reasoning
topic_facet Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
preliminary study
computational complexity
non-monotonic reasoning
description In this work we analyze existing complexity results in the area of non-monotonic reasoning in general and argumentation in particular. Even though the area of argumentation is based on solid theoretical foundations, its main problems rely on the computational complexity of the system that have so far been developed. In order to use argumentation in real time scenarios we must find an implementation with a reasonable response time. Complexity analysis of argument systems is an indispensable tool for addressing this taks. We expect that the development of this research line will result in a general analysis of the issues in complexity of argument systems, leading to an efficient implementation of a particular formalism, observation-based defeasible logic programming, that could be integrated in an intelligent agent architecture.
format Objeto de conferencia
Objeto de conferencia
author Capobianco, Marcela
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author_facet Capobianco, Marcela
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author_sort Capobianco, Marcela
title A preliminary study of computational complexity in non-monotonic reasoning
title_short A preliminary study of computational complexity in non-monotonic reasoning
title_full A preliminary study of computational complexity in non-monotonic reasoning
title_fullStr A preliminary study of computational complexity in non-monotonic reasoning
title_full_unstemmed A preliminary study of computational complexity in non-monotonic reasoning
title_sort preliminary study of computational complexity in non-monotonic reasoning
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/21163
work_keys_str_mv AT capobiancomarcela apreliminarystudyofcomputationalcomplexityinnonmonotonicreasoning
AT chesnevarcarlosivan apreliminarystudyofcomputationalcomplexityinnonmonotonicreasoning
AT simariguillermoricardo apreliminarystudyofcomputationalcomplexityinnonmonotonicreasoning
AT capobiancomarcela preliminarystudyofcomputationalcomplexityinnonmonotonicreasoning
AT chesnevarcarlosivan preliminarystudyofcomputationalcomplexityinnonmonotonicreasoning
AT simariguillermoricardo preliminarystudyofcomputationalcomplexityinnonmonotonicreasoning
bdutipo_str Repositorios
_version_ 1764820465520476160

Ejemplares similares