10 Questions
¿Cuál es el valor de verdad de ¬(𝑝𝑝 ⟺ 𝑞𝑞) cuando 𝑝𝑝 y 𝑞𝑞 son ambos verdaderos?
Falso
¿Qué inferimos si hay brisa en la posición (1,1)?
Hay un agujero en las posiciones cercanas
¿Qué tipo de lógica se utiliza en la semántica en Wumpus?
Lógica proposicional
¿Qué representa la sentencia 𝑃𝑃𝑖𝑖,𝑗𝑗 en la notación?
Un agujero en la posición (i,j)
¿Qué valor de verdad tiene la sentencia 𝑝𝑝 ∨ 𝑞𝑞 cuando 𝑝𝑝 es falso y 𝑞𝑞 es verdadero?
Verdadero
¿Qué relación lógica hay entre 𝑝𝑝 y 𝑞𝑞 en la sentencia 𝑝𝑝 ⟺ 𝑞𝑞?
Equivalencia
¿Qué se puede inferir de la sentencia (𝑝𝑝 ∨ 𝑞𝑞) ∧ (𝑝𝑝 ⇒ 𝑞𝑞)?
𝑝𝑝 implica 𝑞𝑞
¿Qué representa la sentencia 𝑊𝑊𝑖𝑖,𝑗𝑗 en la notación?
Un Wumpus en la posición (i,j)
¿Qué es lo que sabemos según la información dada?
Hay un agujero en las posiciones cercanas a (1,1)
¿Qué tipo de problema se aborda en la lógica computacional?
Problemas de inferencia
Study Notes
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.
Make Your Own Quizzes and Flashcards
Convert your notes into interactive study material.
Get started for free
