Arquitectura e implementación de un sistema de razonamiento de un lenguaje de conceptos basado en las logicas descriptivas dotado con las técnicas de optimización: forma negativa normal y contradicción lexica. (Archivo Eletrónico)
Ropero Montejo, Fabian Trinidad
Arquitectura e implementación de un sistema de razonamiento de un lenguaje de conceptos basado en las logicas descriptivas dotado con las técnicas de optimización: forma negativa normal y contradicción lexica. (Archivo Eletrónico) - San José de Cúcuta: Universidad Francisco de Paula Santander, 2002. - 116 Páginas. Ilustraciones. 680 KB.(Calificación Meritoria)
Incluye referencias bibliográficas
Este proyecto consiste en la arquitectura e implementación de un sistema que presta los servicios de razonamiento, satisfactibilidad y submision, básicos del componente terminologico de un leguaje de conceptos basado en logicas descriptivas y las tecnicas de optimización forma negativa normal y normalización lexica que mejoran y tratan de evitar la ejecucion de la prueba de satisfactibilidad en el algoritmo del tableaux
Inteligencia artificial
Representación y gestión del conocimiento
TIS 006.3 / R784a
Arquitectura e implementación de un sistema de razonamiento de un lenguaje de conceptos basado en las logicas descriptivas dotado con las técnicas de optimización: forma negativa normal y contradicción lexica. (Archivo Eletrónico) - San José de Cúcuta: Universidad Francisco de Paula Santander, 2002. - 116 Páginas. Ilustraciones. 680 KB.(Calificación Meritoria)
Incluye referencias bibliográficas
Este proyecto consiste en la arquitectura e implementación de un sistema que presta los servicios de razonamiento, satisfactibilidad y submision, básicos del componente terminologico de un leguaje de conceptos basado en logicas descriptivas y las tecnicas de optimización forma negativa normal y normalización lexica que mejoran y tratan de evitar la ejecucion de la prueba de satisfactibilidad en el algoritmo del tableaux
Inteligencia artificial
Representación y gestión del conocimiento
TIS 006.3 / R784a