Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
Obtenga beneficios adicionales
Aún no tiene una suscripción a Virtual Pro?
Para acceder a este contenido se requiere una suscripción
Este estudio propone adoptar un novedoso algoritmo de razonamiento de tableau para la lógica de descripción con semántica basada en un retículo de De Morgan residuado finito. Se proporciona la sintaxis, semántica y propiedades lógicas de esta lógica, y se presenta un algoritmo de tableau sólido, completo y terminante para decidir la consistencia de ABox difuso y el problema de satisfacibilidad de conceptos con respecto a TBox. Además, basándose en un bosque de completación extendido y/o con una serie de técnicas de optimización sólidas para verificar la satisfacibilidad con respecto a un TBox en la lógica, se presenta aquí un nuevo procedimiento de decisión de tableau optimizado ExpTime (óptimo en complejidad). La evaluación experimental indica que las técnicas de optimización consideradas resultan en una mejora significativa en la eficiencia.
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.
Artículo:
Problema óptimo de reaseguro-inversión para un asegurador y un reasegurador con un proceso de salto-difusión
Artículo:
Análisis de la fiabilidad del sistema de señalización de mensajes variables para aparcamientos urbanos
Artículo:
Flujo hidromagnético inestable de un fluido radiante pasado una placa vertical calentada por convección con el deslizamiento de Navier.
Artículo:
Los algoritmos iterativos de extragradiente de tipo Mann con regularización para resolver problemas de desigualdad variacional, problemas de factibilidad dividida y problemas de puntos fijos.
Artículo:
Modelando y simulando el nuevo coronavirus con implicaciones de portadores asintomáticos.
Artículo:
Creación de empresas y estrategia : reflexiones desde el enfoque de recursos
Artículo:
La gestión de las relaciones con los clientes como característica de la alta rentabilidad empresarial
Artículo:
Análisis socioeconómico de la problemática de los desechos plásticos en el mar
Artículo:
Los web services como herramienta generadora de valor en las organizaciones
Virtual Pro es un portal virtual de formación, investigación y comunicación especializado en procesos industriales.
� 2021, Virtual Pro �, una marca de Grupo INGCO. Todos los derechos reservados
