Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes

Esta propuesta de investigación se basa en el estudio de las posibilidades de extender la sintaxis del lenguaje de la Programación en Lógica Rebatible (DeLP) para permitir la representación de disyunciones en la cabeza de las reglas y, luego, redefinir acordemente las nociones de construcción de arg...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Gómez, Sergio Alejandro, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/18385
Aporte de:
id I19-R120-10915-18385
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
inteligencia artificial
Modal logic
LOGICS AND MEANINGS OF PROGRAMS
razonamiento no-monótono
argumentación rebatible
programación en lógica rebatible
web semántica
ontologías
lógicas para la descripción
programación en lógica
disyuntiva
agentes inteligentes
spellingShingle Ciencias Informáticas
inteligencia artificial
Modal logic
LOGICS AND MEANINGS OF PROGRAMS
razonamiento no-monótono
argumentación rebatible
programación en lógica rebatible
web semántica
ontologías
lógicas para la descripción
programación en lógica
disyuntiva
agentes inteligentes
Gómez, Sergio Alejandro
Simari, Guillermo Ricardo
Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes
topic_facet Ciencias Informáticas
inteligencia artificial
Modal logic
LOGICS AND MEANINGS OF PROGRAMS
razonamiento no-monótono
argumentación rebatible
programación en lógica rebatible
web semántica
ontologías
lógicas para la descripción
programación en lógica
disyuntiva
agentes inteligentes
description Esta propuesta de investigación se basa en el estudio de las posibilidades de extender la sintaxis del lenguaje de la Programación en Lógica Rebatible (DeLP) para permitir la representación de disyunciones en la cabeza de las reglas y, luego, redefinir acordemente las nociones de construcción de argumentos, ataque, derrota, garantía y resultados de consultas. Este nuevo marco argumentativo permitirá modelar el razonamiento sobre ontologías Description Logics que posean disyunciones en el miembro derecho de los axiomas de inclusión de sus respectivas terminologías.
format Objeto de conferencia
Objeto de conferencia
author Gómez, Sergio Alejandro
Simari, Guillermo Ricardo
author_facet Gómez, Sergio Alejandro
Simari, Guillermo Ricardo
author_sort Gómez, Sergio Alejandro
title Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes
title_short Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes
title_full Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes
title_fullStr Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes
title_full_unstemmed Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes
title_sort extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentes
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/18385
work_keys_str_mv AT gomezsergioalejandro extensionesalaprogramacionenlogicarebatibleparamodelarreglascondisyuncionesenlacabezaaplicacionesalrazonamientoconontologiaspotencialmenteinconsistentes
AT simariguillermoricardo extensionesalaprogramacionenlogicarebatibleparamodelarreglascondisyuncionesenlacabezaaplicacionesalrazonamientoconontologiaspotencialmenteinconsistentes
bdutipo_str Repositorios
_version_ 1764820464139501569