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:
Control de Aprendizaje Iterativo Óptimo en Redes Impulsado por Datos para Sistemas Lineales Discretos de Tiempo Variable con Retardos de Comunicación de Tipo Bernoulli de Una Operación
Artículo:
Algoritmos de estimación de parámetros iterativos basados en mínimos cuadrados y basados en gradientes para una clase de sistemas de error de salida lineal en parámetros de entrada múltiple y salida única.
Artículo:
Un novedoso Value Stream Mapping dinámico y difuso (DFVSM): integración de dinámica de sistemas y lógica difusa
Artículo:
Singularidades geométricas del problema de Stokes
Artículo:
Selección de modelos de aprendizaje automático para la predicción del precio del petróleo: Basado en los Atributos Duales del Petróleo.
Artículo:
Un estudio sobre la formulación de los parámetros de 5 o menos variables independientes de regresión lineal múltiple.
Tesis:
Estudio comparativo de tres sistemas de secado para la producción de un polvo deshidratado de fruta
Artículo:
Predicción de precios de vivienda basada en regresión lineal múltiple
Artículo:
Papel de la atención sanitaria habitual combinada con la telemedicina en el tratamiento del embarazo de alto riesgo en Hangzhou, China
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
