Universidad Fermín Toro

Violeta León CI 18262154

¿Qué es, explique y ejemplos Lógica de predicados?

La lógica de predicados, llamada también lógica cuantificacional,

comienza distinguiendo dos clases de términos: los que representan individuos
(gramaticalmente “sujetos”) y los que representan propiedades (gramaticalmente
“predicados”). Lógicamente los llamaremos argumentos y predicados
respectivamente, de acuerdo a este esquema:

El predicado determina al argumento y es considerado por la lógica de

predicados como una nota o característica del sujeto. Las proposiciones que
intervienen en este nuevo tipo de inferencia son atómico – predictivas.
Consecuentemente, de acuerdo a la cantidad del sujeto, pueden clasificarse en:
singulares (el sujeto es un individuo), universales (el sujeto es una totalidad de
individuos) y particulares (el sujeto es una parcialidad de individuos).

Una función proposicional expresa simbólicamente la forma de una

proposición individual. Para ampliar su significación a mas individuos se le
anteponen los cuantificadores. Así se tiene:

Px : x es periodista.
(ⱻx)Px : algunos x son periodistas.
(Ɐx)Px : todos los x son periodistas.
 La variable que constituye al cuantificador es precisamente la variable que
se desea cuantificar. No es, pues, necesario que siempre se escriba “x”, sino que
también puede intervenir cualquier variable individual como “y”, “z”.

¿Qué es Algoritmo de resolución?

El método de resolución es una regla de inferencia que toma dos cláusulas

y produce una tercera que es consecuencia lógica de éstas. El proceso consiste en
identificar y borrar parejas complementarias de dos cláusulas, una de cada
cláusula y luego, combinar las otras literales para formar una cláusula nueva.

En el método de resolución, se dice que una lista de cláusulas es

inconsistente si se puede derivar la cláusula vacía de una lista de cláusulas. En
este método, para demostrar que una fórmula se puede derivar de un conjunto de
sentencias, se realiza lo siguiente: se niega la conclusión y se agrega al conjunto
de sentencias que conforman la premisa, y si a partir de estos argumentos es
posible derivar la cláusula vacía se dice que la premisa deriva a la sentencia de la
conclusión.

Dicho en otras palabras, el método de resolución, es un intento de

mecanizar el proceso de deducción natural de esa forma eficiente. Las
demostraciones se consiguen utilizando el método refutativo (reducción al
absurdo), es decir lo que intentamos es encontrar contradicciones. Para probar
una sentencia nos basta con demostrar que su negación nos lleva a una
contradicción con las sentencias conocidas (es insatisfactible). Si la negación de
una sentencia entra en contradicción con los hechos de nuestra base de
conocimiento es porque lo contrario, es decir, la sentencia original era verdadera
y se puede deducir lógicamente de las sentencias que componen dicha base de
conocimientos.

Existen distintas estrategias de resolución: sistemática, con conjunto

soporte, unitaria, primaria y lineal.
Explique los pasos del algoritmo de resolución

Entrada: un conjunto de cláusulas C.

Salida: detecta si C es insatisfacible.

Paso 1. Buscar dos cláusulas C1, C2 que pertenecen a C tales que exista un literal

l que cumple que l pertenece a C1 y no l pertenece a C2.

Paso 2. Si se encuentran:

Paso 2.1: calcular Ri(C1,C2) y añadirlo al conjunto C.

Paso 2.2: Si Ri(C1,C2) = ? entonces salir indicando que C es insatisfacible.

Paso 2.3: Si no, añadir Ri (C1,C2) a C y volver a 1.

Paso 3. Si no se encuentran: salir indicando que C no es insatisfacible.

¿qué es la resolución semántica?

Es aquella controlada por la semántica declarativa. La idea es dividir al

conjunto insatisfacible de cláusulas , en dos conjuntos, basados en una
interpretación particular:

 1 los que son verdaderos y

 los que son falsos

Como es insatisfacible, no existe una interpretación que haga los dos conjuntos
verdaderos o falsos.

Escoger una cláusula de y una de y añadir el resolvente a donde le

corresponda

Ejemplo:
 (interpretación)

¿Qué es resolución unitaria?

Se puede definir la resolución unitaria como un procedimiento de

emparejamiento que compara dos literales y descubre si existe un conjunto de
sustituciones que los haga idénticos. La idea básica de la unificación es muy
sencilla. Para unificar dos literales vamos recorriéndolos de izquierda a derecha.
En primer lugar, se comprueba si los predicados coinciden. Si es así, se avanza; si
no es que no son unificables. Si el predicado concuerda, se compararán los
argumentos. Si el primero de ellos coincide en ambos literales, continuamos con
el siguiente. De esta manera hasta completar todos los argumentos. Como resulta
obvio, ambos literales deben tener el mismo número de argumentos.

Para conseguir que cada argumento de un literal sea coincidente con su

homólogo en el otro literal, debemos buscar una sustitución que nos permita
emparejarlos. La única condición que debe reunir esta sustitución es que ha de
aplicarse a todo el literal, es decir, que la sustitución afecta a todo el literal, y no
sólo al argumento en cuestión. Por decirlo de una manera sencilla, las
sustituciones se van arrastrando a lo largo del proceso de unificación.

¿qué es resolución lock?

Se basa en la indexación de los literales de las cláusulas; donde distintas

ocurrencias de un literal tendrán asignado un índice distinto. Esta indexación
permite establecer una ordenación de los literales de cada cláusula. Es importante
señalar, que los literales en el resolvente heredan el índice de las cláusulas padre.
En caso de factorización, se deja el literal de índice menor.
¿qué es la hiperresolución?

Es una variante del método de resolución que permite obtener un

resolvente de forma simultánea saltando varias ramas del árbol de derivación.
Para ello, ubica los componentes de la cláusula de una forma conveniente para
realizar esta poda múltiple. El objetivo de la regla de hiperresolución es producir
una cláusula positiva a partir de un conjunto de cláusulas, una de ellas negativa o
mixta y las demás positivas.