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...
Guardado en:
Autores principales: | , |
---|---|
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 |