Planificación y formalización de acciones para agentes inteligentes

En esta tesis se define un formalismo que combina acciones y argumentación rebatible para representar dominios y proble-mas de planificación. Lo novedoso de este formalismo es que permite representar conocimiento acerca del dominio y definir acciones utilizando la Programación en Lógica Rebatible. E...

Descripción completa

Detalles Bibliográficos
Autor principal: García, Diego R.
Otros Autores: Simari, Guillermo R.
Formato: tesis doctoral
Lenguaje:Español
Publicado: 2012
Materias:
Ciencias de la computación
Inteligencia artificial
Planificación y argumentación rebatible
Acceso en línea:http://repositoriodigital.uns.edu.ar/handle/123456789/2249
Aporte de:
Repositorio Institucional Universidad Nacional del Sur (UNS) de Universidad Nacional del Sur
id I20-R126123456789-2249
record_format dspace
institution Universidad Nacional del Sur
institution_str I-20
repository_str R-126
collection Repositorio Institucional Universidad Nacional del Sur (UNS)
language Español
orig_language_str_mv spa
topic Ciencias de la computación
Inteligencia artificial
Planificación y argumentación rebatible
spellingShingle Ciencias de la computación
Inteligencia artificial
Planificación y argumentación rebatible
García, Diego R.
Planificación y formalización de acciones para agentes inteligentes
topic_facet Ciencias de la computación
Inteligencia artificial
Planificación y argumentación rebatible
description En esta tesis se define un formalismo que combina acciones y argumentación rebatible para representar dominios y proble-mas de planificación. Lo novedoso de este formalismo es que permite representar conocimiento acerca del dominio y definir acciones utilizando la Programación en Lógica Rebatible. El conocimiento del dominio permite razonar rebatiblemente acerca de las precondiciones, restricciones y efectos de las acciones, las cuales permiten cambiar el entorno para lograr las metas de un problema de planificación. Además, se define un nuevo método de planificación que combina técnicas de Planificación de Orden Parcial con Argumentación Rebatible, y permite resolver problemas de planificación definidos utilizando el formalismo de representación antes mencionado. La incor-poración de Argumentación Rebatible permite utilizar el cono-cimiento del dominio para razonar rebatiblemente durante la construcción de un plan. Los formalismos basados en argumen-tación rebatible permiten representar y razonar con conoci-miento que involucre información incompleta o errónea. Esta característica está presente en muchos aspectos de un pro-ceso de planificación, donde no siempre es posible contar de ante mano con toda la informacion necesaria para resolver un problema.
author2 Simari, Guillermo R.
author_facet Simari, Guillermo R.
García, Diego R.
format tesis doctoral
author García, Diego R.
author_sort García, Diego R.
title Planificación y formalización de acciones para agentes inteligentes
title_short Planificación y formalización de acciones para agentes inteligentes
title_full Planificación y formalización de acciones para agentes inteligentes
title_fullStr Planificación y formalización de acciones para agentes inteligentes
title_full_unstemmed Planificación y formalización de acciones para agentes inteligentes
title_sort planificación y formalización de acciones para agentes inteligentes
publishDate 2012
url http://repositoriodigital.uns.edu.ar/handle/123456789/2249
work_keys_str_mv AT garciadiegor planificacionyformalizaciondeaccionesparaagentesinteligentes
bdutipo_str Repositorios
_version_ 1764820505438715904

Ejemplares similares