El marcado de un árbol dialéctico en DeLP es pspace-completo

La Programación en Lógica Rebatible (DeLP) es una extensión de la Programación en Lógica que permite representar conocimiento tentativo y razonar a través de argumentos a partir de él. Su semántica operacional está basada en un análisis dialéctico donde argumentos a favor y en contra de un literal i...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cecchi, Laura, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2011
Materias:
Ciencias Informáticas
Logic Programming
sistemas argumentativos; razonamiento rebatible; complejidad
Semantics
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/18790
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-18790
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
Logic Programming
sistemas argumentativos; razonamiento rebatible; complejidad
Semantics
spellingShingle Ciencias Informáticas
Logic Programming
sistemas argumentativos; razonamiento rebatible; complejidad
Semantics
Cecchi, Laura
Simari, Guillermo Ricardo
El marcado de un árbol dialéctico en DeLP es pspace-completo
topic_facet Ciencias Informáticas
Logic Programming
sistemas argumentativos; razonamiento rebatible; complejidad
Semantics
description La Programación en Lógica Rebatible (DeLP) es una extensión de la Programación en Lógica que permite representar conocimiento tentativo y razonar a través de argumentos a partir de él. Su semántica operacional está basada en un análisis dialéctico donde argumentos a favor y en contra de un literal interactúan, construyendo un árbol dialéctico. En este trabajo, nos enfocamos al estudio de la complejidad del proceso de marcado del árbol dialéctico, con el cual se determina si su raíz fue derrotada. Este punto es de gran importancia en DeLP, ya que permite determinar si el literal soportado por el argumento raíz del árbol será considerado entre las creencias de un agente que razona. Hemos probado que el marcado del árbol dialéctico es pspace-completo.
format Objeto de conferencia
Objeto de conferencia
author Cecchi, Laura
Simari, Guillermo Ricardo
author_facet Cecchi, Laura
Simari, Guillermo Ricardo
author_sort Cecchi, Laura
title El marcado de un árbol dialéctico en DeLP es pspace-completo
title_short El marcado de un árbol dialéctico en DeLP es pspace-completo
title_full El marcado de un árbol dialéctico en DeLP es pspace-completo
title_fullStr El marcado de un árbol dialéctico en DeLP es pspace-completo
title_full_unstemmed El marcado de un árbol dialéctico en DeLP es pspace-completo
title_sort el marcado de un árbol dialéctico en delp es pspace-completo
publishDate 2011
url http://sedici.unlp.edu.ar/handle/10915/18790
work_keys_str_mv AT cecchilaura elmarcadodeunarboldialecticoendelpespspacecompleto
AT simariguillermoricardo elmarcadodeunarboldialecticoendelpespspacecompleto
bdutipo_str Repositorios
_version_ 1764820463270232067

Ejemplares similares