Entradas

LOGICA DE PRIMER ORDEN

Imagen
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

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

Imagen
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

Imagen
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...

BUSQUEDA HEURISTICA

Imagen
BUSQUEDA HEURISTICA Búsqueda Heurística Los métodos de búsqueda heurísticas (del griego heuriskein, que significa encontrar) están orientados a reducir la cantidad de búsqueda requerida para encontrar una solución. Cuando un problema es presentado como un árbol de búsqueda el enfoque heurístico intenta reducir el tamaño del árbol cortando nodos pocos prometedores. Estos métodos se llaman métodos fuertes porque ellos son más poderosos que los estudiados hasta aquí al incorporar conocimiento heurístico o heurística. La Heurística no garantiza que siempre se tome la dirección de la búsqueda correcta, por eso este enfoque no es óptimo sino suficientemente bueno. Frecuentemente son mejores los métodos heurísticos que los métodos de búsquedas a ciegas. Las desventajas y limitaciones principales de la heurística son: La flexibilidad inherente de los métodos heurísticos pueden conducir a errores o a manipulaciones f...

ARBOLES DE BUSQUEDA

Imagen
ARBOLES DE BUSQUEDA Árbol de búsqueda Ir a la navegación Ir a la bú En ciencias de la computación , un árbol de búsqueda es una estructura de datos de tipo árbol utilizado para localizar llaves concretas dentro de un conjunto. Para que un árbol pueda funcionar como árbol de búsqueda en cada nodo tiene que cumplirse que su llave tiene que ser más grande que cualquier llave contenida en su subárbol izquierdo y menor que cualquier llave contenida en su subárbol derecho. La ventaja de los árboles de búsqueda es su eficiencia en el tiempo de búsqueda, dado que el árbol está razonablemente balanceado, lo que quiere decir que todas las hojas se encuentran a profundidades similares. Existen varias estructuras de datos de tipo árbol de búsqueda, varias de las cuales también permiten la inserción y eliminación eficiente de elementos, operaciones que tienen que mantener el equilibrio del árbol. Tipos de Árboles Árbol de búsq...