Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"operador de consecuencias"”.
-
Operador de consecuencias extendido por agregadores formales para modelar bases de datos con incertidumbre
La Programación Lógica nació a partir de los trabajos realizados en demostración automática de teoremas e inteligencia artificial a principios de la segunda mitad del siglo XX, entre los que destacó el trabajo de Robinson, donde introdujo una regla de inferencia que resultó fundamental para el …
-
Contribución al estudio del razonamiento ordinario y la computación con palabras
El trabajo es una contribución al desarrollo de los modelos de Conjeturas, Hipótesis y Consecuencias (Modelos CHC), como encargados de formalizar el razonamiento ordinario o de sentido común. La mayor aportación de este trabajo es la introducción de la posibilidad de manejar la imprecisión típica …