INTELIGENCIA ARTIFICIAL

LOGICA DE PRIMER ORDEN Ir a la búsqueda Una lógica de primer orden , también llamada lógica predicativa , lógica de predicados o cálculo de predicados , es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.​ Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo constantes o variables de individuo. La lógica de primer orden tiene un poder expresivo muy superior al de la lógica proposicional .  La lógica de primer orden -también conocida como el cálculo de predicados de primer orden y la lógica de predicados -es una colección de sistemas formales utilizados en las matemáticas , la filosofía , la lingüística y la informática . Lógica de primer orden utiliza variables cuantificadas sobre los objetos no-lógicos y permite el uso de frases que contienen variables, de modo que en lugar de proposiciones ta...

RECURSIVIDAD ¿Qué es la recursividad? Es la técnica utilizada en la programación que consiste en un bloque de instrucciones se llame a si mismo para resolver una parte mas pequeña del problema inicial. Sabiendo lo anterior, comencemos. Les explicare la recursividad en prolog con un ejemplo muy conocido en la recursividad, como lo es obtener el factorial de un número. factorial(0,1). factorial(N,F) :- N>0, N1 is N-1, factorial(N1,F1), F is N * F1. La recursividad se compone de dos elemento: Caso base: La solución para un caso particular, en el ejemplo anterior el caso base es: factorial(0,1). Donde cada que se reciba un 0, nos retornara como resultado un 1, esto es un valor que ya se encuentra establecido. Caso recursivo: Consiste en utilizar la misma operación, pero tratando de llegar al caso base, que es donde se detendrá la recursividad, en este ejemplo el caso recursivo es el resto. CLICK para más información...

TABLAS DE VERDAD Una tabla de verdad lista todos los posibles valores de una o varias proposiciones simples y el valor de verdad de una o varias proposiciones compuestas construidas a partir de las proposiciones simples. En el caso más sencillo tenemos satiro simplemente una proposición simple y listamos los valores de verdad que puede tener, que en el caso de la lógica proposicional son únicamente 2: verdadero ( V {\displaystyle V} ) y falso ( F {\displaystyle F} ).  α {\displaystyle {\boldsymbol {\alpha }}} V F La tabla de verdad puede incluir tantas proposiciones simples como sea necesario, cada una listada en su propia columna. La tabla debe tener una fila por cada combinación de valores de verdad de las proposiciones simples. Si la tabla incluye dos proposiciones simples deberá tener 4 filas, si i...

LOGICA PROPOSICIONAL Ir a la búsqueda Una lógica proposicional , o a veces lógica de orden cero , es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas , llamadas conectivas lógicas , representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.​ Las lógicas proposicionales carecen de cuantificadores o variables de individuo, pero tienen variables proposicionales (es decir, que se pueden interpretar como proposiciones con un valor de verdad definido), de ahí el nombre proposicional. Los sistemas de lógica proposicional incluyen además conectivas lógicas , por lo que dentro de este tipo de lógica se puede analizar la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simples.  Como las lógicas proposicionales no tienen cuantificadores o variables de individuo, cualquier secuencia de signos q...