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: |
| Sumario: | 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. |
|---|