Biblioteca122.739 documentos en línea

Artículos

Incoherency Problems in a Combination of Description Logics and RulesProblemas de incoherencia en una combinación de lógicas de descripción y reglas

Resumen

Se ha presentado una semántica paraconsistente para bases de conocimiento híbridas MKNF, un método de combinación para lógicas de descripción y reglas. Sin embargo, es inválido cuando ocurre incoherencia en la base de conocimiento. En este artículo, introducimos una semi-semántica para bases de conocimiento híbridas MKNF basada en una retícula de nueve valores, de modo que sea paraconsistente para bases de conocimiento incoherentes. Se muestra que un semi-modelo puede ser calculado a través de un operador de punto fijo y de hecho es un modelo MKNF paraconsistente cuando la base de conocimiento es incoherente. Además, aplicamos una retícula de seis valores a bases de conocimiento híbridas MKNF y presentamos una semántica sospechosa para distinguir diferentes niveles de confianza. Por último, investigamos la relación entre la semántica sospechosa y la semántica paraconsistente.

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento