Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- La lógica difusa (también llamada lógica borrosa (en inglés: fuzzy logic)) es una lógica paraconsistente multivaluada en la cual los valores de verdad…26 kB (3384 palabras) - 20:04 4 ene 2024
- La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación…9 kB (1155 palabras) - 12:04 25 abr 2024
- Mozart es una implementación del lenguaje Oz. Soporta los siguientes paradigmas: programación lógica funcional imperativa orientada a objetos con restricciones…799 bytes (43 palabras) - 09:43 29 ago 2019
- CLIPS es una herramienta que provee un entorno de desarrollo para la producción y ejecución de sistemas expertos. Fue creado a partir de 1984, en el Lyndon…11 kB (1446 palabras) - 17:49 29 sep 2023
- La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto. La lógica por…2 kB (204 palabras) - 14:13 28 ene 2024
- En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando…1 kB (109 palabras) - 16:33 5 ago 2019
- FOIL es un algoritmo usado en informática en el campo de la inteligencia artificial y más concretamente en el campo de la programación lógica inductiva…2 kB (294 palabras) - 10:56 6 oct 2019
- Turbo Prolog es un completo sistema de desarrollo de software que incluye un compilador y un entorno de desarrollo integrado (IDE) para el lenguaje de…4 kB (353 palabras) - 16:19 25 ene 2024
- En matemáticas, una función booleana regular es una clase particular de funciones booleanas que toma en cuenta el ordenamiento de sus distintos parámetros…4 kB (469 palabras) - 09:33 4 nov 2020
- El GNU Prolog (también llamado gprolog) es un compilador con un ambiente interactivo de depuración para el lenguaje Prolog disponible para Unix, Windows…976 bytes (89 palabras) - 21:13 20 oct 2020
- SWI-Prolog es una implementación en código abierto (en inglés, open source) del lenguaje de programación Prolog. Su autor principal es Jan Wielemaker.…1 kB (123 palabras) - 21:52 16 ene 2024
- Un sistema de producción (o sistema de reglas de producción) es un programa de ordenador usado normalmente para proporcionar alguna forma de inteligencia…10 kB (1524 palabras) - 05:28 21 nov 2022
- En lógica y en ciencias de la computación, la unificación es un proceso algorítmico para resolución de ecuaciones con expresiones simbólicas. Se pueden…33 kB (3698 palabras) - 23:33 9 oct 2023
- La programación inductiva (IP por sus siglas en inglés) es una área específica dentro de la programación automática, cubriendo investigaciones de inteligencia…10 kB (1123 palabras) - 15:32 16 ene 2024
- Kernel Language 1 o KL1 es un lenguaje de programación desarrollado en 1987 por el Institute for New Generation Computer Technology (Instituto para la…3 kB (297 palabras) - 15:09 25 ene 2024
- La programación de conjuntos de respuestas (ASP) es una forma de programación declarativa orientada a problemas de búsqueda difíciles (principalmente NP-hard)…25 kB (2759 palabras) - 09:18 12 dic 2023
- El anti-unificación es el proceso de construir una generalización común a dos expresiones simbólicas dadas. Al igual que en la unificación, se distinguen…4 kB (511 palabras) - 21:29 1 abr 2021
- La lógica difusa o lógica borrosa (en inglés: fuzzy logic) es un tipo de lógica multivaluada en la cual los valores de verdad de las variables pueden ser…3 kB (349 palabras) - 11:18 9 dic 2023
- miniKanren es una familia de lenguajes de programación para programación lógica. Minikaren está disponible como DSL en muchos lenguajes: Scheme, Haskell…5 kB (629 palabras) - 05:40 14 feb 2024