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

Autores
Gómez, Sergio Alejandro; Simari, Guillermo Ricardo
Año de publicación
2012
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Agentes y Sistemas Inteligentes
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
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
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/18385
Acceder
id SEDICI_948e5e9ce4e6955b548adcd04956ad5f
oai_identifier_str oai:sedici.unlp.edu.ar:10915/18385
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Extensiones a la programación en lógica rebatible para modelar reglas con disyunciones en la cabeza: aplicaciones al razonamiento con ontologías potencialmente inconsistentesGómez, Sergio AlejandroSimari, Guillermo RicardoCiencias Informáticasinteligencia artificialModal logicLOGICS AND MEANINGS OF PROGRAMSrazonamiento no-monótonoargumentación rebatibleprogramación en lógica rebatibleweb semánticaontologíaslógicas para la descripciónprogramación en lógicadisyuntivaagentes inteligentesEsta 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.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI)2012info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf78-82http://sedici.unlp.edu.ar/handle/10915/18385spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-766-082-5info: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:20Zoai:sedici.unlp.edu.ar:10915/18385Institucionalhttp://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:20.857SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv 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 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
spellingShingle 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
Gómez, Sergio Alejandro
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
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
dc.creator.none.fl_str_mv Gómez, Sergio Alejandro
Simari, Guillermo Ricardo
author Gómez, Sergio Alejandro
author_facet Gómez, Sergio Alejandro
Simari, Guillermo Ricardo
author_role author
author2 Simari, Guillermo Ricardo
author2_role author
dc.subject.none.fl_str_mv 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
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
dc.description.none.fl_txt_mv 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.
Eje: Agentes y Sistemas Inteligentes
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2012
dc.date.none.fl_str_mv 2012
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/18385
url http://sedici.unlp.edu.ar/handle/10915/18385
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-950-766-082-5
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
78-82
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_ 1842260096459997184
score 13.13397

Publicaciones similares