El marcado de un árbol dialéctico en DeLP es pspace-completo
- Autores
- Cecchi, Laura; Simari, Guillermo Ricardo
- Año de publicación
- 2011
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Presentado en el II Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Logic Programming
sistemas argumentativos; razonamiento rebatible; complejidad
Semantics - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/18790
Ver los metadatos del registro completo
id |
SEDICI_39572bcc7c088ab6f02a85feffb708f2 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/18790 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
El marcado de un árbol dialéctico en DeLP es pspace-completoCecchi, LauraSimari, Guillermo RicardoCiencias InformáticasLogic Programmingsistemas argumentativos; razonamiento rebatible; complejidadSemanticsLa 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.Presentado en el II Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC)Red de Universidades con Carreras en Informática (RedUNCI)2011-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf1334-1343http://sedici.unlp.edu.ar/handle/10915/18790spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:26:30Zoai:sedici.unlp.edu.ar:10915/18790Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:26:30.336SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
El marcado de un árbol dialéctico en DeLP es pspace-completo |
title |
El marcado de un árbol dialéctico en DeLP es pspace-completo |
spellingShingle |
El marcado de un árbol dialéctico en DeLP es pspace-completo Cecchi, Laura Ciencias Informáticas Logic Programming sistemas argumentativos; razonamiento rebatible; complejidad Semantics |
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 |
dc.creator.none.fl_str_mv |
Cecchi, Laura Simari, Guillermo Ricardo |
author |
Cecchi, Laura |
author_facet |
Cecchi, Laura Simari, Guillermo Ricardo |
author_role |
author |
author2 |
Simari, Guillermo Ricardo |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Logic Programming sistemas argumentativos; razonamiento rebatible; complejidad Semantics |
topic |
Ciencias Informáticas Logic Programming sistemas argumentativos; razonamiento rebatible; complejidad Semantics |
dc.description.none.fl_txt_mv |
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. Presentado en el II Workshop Aspectos Teóricos de Ciencia de la Computación (WATCC) Red de Universidades con Carreras en Informática (RedUNCI) |
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. |
publishDate |
2011 |
dc.date.none.fl_str_mv |
2011-10 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/18790 |
url |
http://sedici.unlp.edu.ar/handle/10915/18790 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf 1334-1343 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260097872429056 |
score |
13.13397 |