Integración de ontologías Datalog ± mediante consolidación a través de debilitamiento

En sistemas que manejan e intercambian grandes volúmenes de información es necesario contar con métodos adecuados para manejar conflictos que aparecen en la medida que sus bases de conocimiento evolucionan y se integra con otras fuentes de información. Este conocimiento es frecuentemente expresado por ontologías; no solo por el valor expresivo, sino también por las diferentes restricciones semánticas que se pueden aplicar al conocimiento, originadas por el dominio de aplicación o por los propios usuarios. Esta línea de I+D profundiza en la resolución automatizada de conflictos en ontologías expresadas en Datalog±; ya sea estos generados por inconsistencia o incoherencia. Se pretende definir métodos que resuelven los conflictos que surgen al integrar dos o más ontologías Datalog ±. Una operación de integración sobre varias ontologías, debe restaurar la consistencia y coherencia en el todo, no solo considerando las características intrínseca de la información integrada, sino también meta-información relacionada con la confiabilidad de cada fuentes, la ocurrencia de información, etc. En particular, se definirán mecanismos resolución de incoherencias e incoherencias que produzcan alguna forma de debilitamiento o modificación de las reglas; para lograr la mínima pérdida de información en el proceso de integración. Finalmente, se analizar´a los mecanismos descriptos para extenderlos a la integración con otras fuentes de datos, en particular con Bases de Datos Relacionales.Eje: Agentes y Sistemas Inteligentes.Red de Universidades con Carreras en Informática (RedUNCI

Integración de bases de creencias manteniendo coherencia y consistencia con criterio unificado de credibilidad

Esta línea de I+D propone desarrollar frameworks para la integración de bases de conocimientos provenientes de diferentes fuentes. Estos frameworks modelan escenarios de Revisión de Creencias en entornos de múlti-agentes, con mecanismos para solucionar conflictos de inconsistencia e incoherencia recurrentes al integrar varios repositorios masivos locales y de gestión diferente. Se pretende que el proceso de integración, logre consensuar un criterio unificado de credibilidad que refleja la confianza global en cada fuente; y posteriormente, efectivice la integración como una vista unificada de la información des repositorios locales, basándose en el orden de credibilidad establecido.Eje: Agentes y Sistemas Inteligentes.Red de Universidades con Carreras en Informátic

Integración de bases de creencias manteniendo coherencia y consistencia con criterio unificado de credibilidad

Esta línea de I+D propone desarrollar frameworks para la integración de bases de conocimientos provenientes de diferentes fuentes. Estos frameworks modelan escenarios de Revisión de Creencias en entornos de múlti-agentes, con mecanismos para solucionar conflictos de inconsistencia e incoherencia recurrentes al integrar varios repositorios masivos locales y de gestión diferente. Se pretende que el proceso de integración, logre consensuar un criterio unificado de credibilidad que refleja la confianza global en cada fuente; y posteriormente, efectivice la integración como una vista unificada de la información des repositorios locales, basándose en el orden de credibilidad establecido.Eje: Agentes y Sistemas Inteligentes.Red de Universidades con Carreras en Informátic

Integración de bases de creencias manteniendo coherencia y consistencia con criterio unificado de credibilidad

Esta línea de I+D propone desarrollar frameworks para la integración de bases de conocimientos provenientes de diferentes fuentes. Estos frameworks modelan escenarios de Revisión de Creencias en entornos de múlti-agentes, con mecanismos para solucionar conflictos de inconsistencia e incoherencia recurrentes al integrar varios repositorios masivos locales y de gestión diferente. Se pretende que el proceso de integración, logre consensuar un criterio unificado de credibilidad que refleja la confianza global en cada fuente; y posteriormente, efectivice la integración como una vista unificada de la información des repositorios locales, basándose en el orden de credibilidad establecido.Eje: Agentes y Sistemas Inteligentes.Red de Universidades con Carreras en Informátic

Implementación de operadores de consolidación de ontologías en Datalog +/-

En los últimos tiempos, la colaboración y el intercambio de información se han vuelto aspectos cruciales de muchos sistemas. En estos entornos es de vital importancia definir métodos automáticos para resolver conflictos entre el conocimiento compartido por distintos sistemas. Este conocimiento es frecuentemente expresado a través de ontologías que pueden ser compartidas por los sistemas que utilizan el mismo. Dentro de las diferentes posibilidades para expresar conocimiento en los últimos tiempos un lenguaje que ha recibido cada vez más atención es Datalog+/-; debido a ser un lenguaje que ofrece un alto nivel de expresividad por construir reglas en fragmentos de Lógica de Primer Orden, permitiendo su compresión natural en la forma de esquemas de lógica clásica. Por otro lado, Datalog+/- como máquina de inferencia, tiene la propiedad de ser decidible, y (en la mayoría de los casos) tratable permitiendo manejar volúmenes masivos de datos de entornos reales. Sin embargo, el uso del conocimiento, especialmente compartido, suele traer aparejados conflictos en el mismo que dificulta su explotación por procesos automatizados. Es decir, aceptar nuevas observaciones y datos suele traer aparejados violaciones a la integridad y consistencia del cuerpo de conocimiento. En este sentido, el principal desafío es eliminar los conflictos la inconsistencias e incoherencias que puedan surgir en el conocimiento expresado. En la presente investigación se busca comprobar empíricamente la correctitud, computabilidad y eficiencia de operadores de contracción de kernel y de cluster para manejo de inconsistencias e incoherencias en ontologías Datalog+/- a través de la implementación de los mismos. Para esto, se analizará el disenño teórico de los operadores de contracción de kernel y cluster y su aplicación práctica para eliminar conflictos. A partir de un proyecto de software que implementa un intérprete Datalog+/-, se codificará las funcionalidades requeridas e implementarán los citados operadores.Eje: Agentes y Sistemas Inteligentes.Red de Universidades con Carreras en Informática (RedUNCI

Guías para aplicación de Normas de Calidad para los procesos de Ingeniería de Software en productos desarrollados con Lenguajes de Programación Open Source: relevamiento y aplicación en PYMES de la zona de influencia de la UNER Concordia

El Software Libre u Open Source es una forma de licenciamiento que da a los usuarios la libertad de compartir, estudiar y modificar el software. Este paradigma ha tenido impedimentos para su adopción en ambientes empresariales y comerciales debido a concepciones en muchos casos erróneas. En la actualidad, varias de estas ideas se han desmitificado, brindando una dosis de realidad a las oportunidades y obstáculos de esta filosofía. Esto se manifiesta en una evolución y aceptación paulatina de la adopción de software libre como temática central en la Ingeniería de Software. Este contexto plantea la necesidad de contar con estándares de medición y certificación de calidad específicos para productos de Software Libre y de las competencias y desempeño de empresas y profesionales que utilicen, generen y promocionen el Software Libre. Este proyecto de investigación propuso la formulación de marcos metodológicos y modelos de certificación relacionados con software libre y lenguajes de programación open source, tanto para empresas usuarias como desarrolladoras. De esta manera, se pretendió dar valor agregado y ventaja competitiva a las empresas y profesionales que utilicen, desarrollen y/o promuevan el Software Libre y las tecnologías abiertas

Integración de bases de creencias manteniendo coherencia y consistencia: teoría y aplicaciones

Este proyecto permitió el desarrollo frameworks para la integración de bases de conocimientos de diferentes fuentes. Se definieron mecanismos de Belief Revision para solucionar conflictos de inconsistencia e incoherencia recurrentes al integrar repositorios. Se planteó un escenario multiagente, en el que cada agente tiene su propio repositorio, en dónde se integra el conocimiento global. Los operadores de integración merging permiten extraer una vista coherente del conocimiento de una sociedad de agentes. La construcción propuesta se basó en kernels contracctions, con funciones de incisión para resolver conflictos que eliminan un mínimo de sentencias. Considerar escenarios multiagente, donde hay agentes más creíbles que otros, aumento el interés por modelos de confiabilidad. Consecuentemente, se propuso una solución en la que cada agente asigna un valor reflejándo su credibilidad de cada agente restante. Así, el operador de merging considera este valor de credibilidad. Se presentó una mejora en resolución de conflictos utilizando la acumulación (accrual) de credibilidad asociado a cada formula. Este nuevo operador obtiene la base de conocimiento mejor valorada entre las bases disponibles, de acuerdo con la credibilidad agregada. Se implementó un prototipo del framework como una aplicación web