Lógica Matemática - Resolución y Encadenamiento

Resolución y Encadenamiento en Lógica

• La resolución es un método de demostración que requiere que las sentencias estén en formato CNF y aplicar una estrategia de reducción al absurdo.
• En LPO, la resolución es más compleja debido a la necesidad de tratar cuantificadores universales, existenciales y la igualdad entre sentencias.
• El encadenamiento es un principio similar al modus ponens de la lógica, requiere que las sentencias estén en una forma específica (cláusulas definidas de primer orden).

Lógica Proposicional (LP)

• La lógica proposicional se utiliza para representar conocimiento y razonar.
• La lógica proposicional se basa en la resolución y el encadenamiento.

Lógica de Primer Orden (LPO)

• LPO es más compleja que LP debido a la necesidad de tratar cuantificadores universales, existenciales y la igualdad entre sentencias.
• LPO se utiliza en inteligencia artificial, específicamente en el lenguaje de programación Prolog.

Prolog

• Prolog es un lenguaje de programación declarativo, es decir, se indica qué hay que hacer, pero no cómo se hace.
• La sintaxis de Prolog es similar a la de LPO, con variables en mayúsculas y constantes en minúsculas.

Ejemplos de Lógica Proposicional

• En el ejemplo de Wumpus, se utiliza la lógica proposicional para razonar sobre la posición del Wumpus en un mapa.
• Se utilizan sentenciascomo 𝑃𝑃𝑖𝑖,𝑗𝑗 (Pit) y 𝐵𝐵𝑖𝑖,𝑗𝑗 (Breeze) para representar conocimiento sobre el mapa.
• Se utilizan operaciones lógicas como negación, conjunción y disyunción para razonar sobre el mapa.

Semántica en Wumpus

• La semántica en Wumpus se basa en la idea de que la brisa produce un hedor en las posiciones cercanas.
• Se utiliza una tabla de verdad para determinar la relación entre las sentencias.

Aprende sobre los conceptos de resolución y encadenamiento en lógica matemática, incluyendo la forma de sentencias en CNF y la aplicación de estrategias de reducción al absurdo.