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)
Idioma: Español. Detalles de publicación: San José de Cúcuta: Universidad Francisco de Paula Santander, 2002.Descripción: 116 Páginas. Ilustraciones. 680 KB.(Calificación Meritoria)Tema(s): Clasificación CDD:- TIS 006.3 21 ed. R784a
Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|---|
Trabajos de Grado | BIBLIOTECA EDUARDO COTE LAMUS Sala 1 | Colección de trabajos de grado | TIS 006.3 R784a (Navegar estantería(Abre debajo)) | C.1 | Disponible | Facultad de Ingeniería. Plan de Estudios de Ingeniería de Sistemas | 0039358 | |
Trabajos de Grado | BIBLIOTECA EDUARDO COTE LAMUS | Colección de trabajos de grado | TIS 006.3 R784a (Navegar estantería(Abre debajo)) | C.2 | Disponible | Facultad de Ingeniería. Plan de Estudios de Ingeniería de Sistemas | 0050841 |
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
Meritoria