2. • Es el tipo de razonamiento que contrasta con el razonamiento
deductivo estándar, este último es el más utilizado en
matemáticas, una de las aplicaciones más comunes para este
es el juego clásico llamado SODOKU, ya que lleva al
razonamiento de manera deductiva, es decir se utilizan hechos
conocidos para llegar a una solución o a una conclusión lógica
que es de antemano verdadera.
3. • El razonamiento inductivo es el que generaliza y conjetura las
soluciones, se convierten estas en posibles, el cual es basado
en la observación y no en la lógica, los seres humanos al
momento del razonamiento, utilizamos ambos, el deductivo y el
inductivo.
4. • La mayoría de los sistemas lógicos tienen una relación de
consecuencia monótona, lo que quiere decir es que el agregar
una fórmula a una teoría, nunca se produce una reducción de
su conjunto de consecuencias.
5. • Intuitivamente, la monotonicidad indica que el agregar nuevos
conocimientos no se reduce el conjunto de las cosas conocidas.
Por ejemplo: Donde A es una fórmula cualquiera y à y Ä son
conjuntos de fórmulas cualesquiera.
6. Una lógica monótona no puede manejar varios
tipos de razonamiento tales como:
el razonamiento por defecto, el cual nos dice que los hechos
pueden ser conocidos únicamente por la carencia de evidencia de
lo contrario,
el razonamiento abductivo el cual dice que los hechos sólo se
deducen en calidad de explicaciones probables,
el razonamiento acerca del conocimiento, en donde la ignorancia
de un hecho debe ser retractada cuando el hecho sea conocido y
la revisión de creencias en donde el nuevo conocimiento puede
contradecir creencias anteriores, obligando a revisarlas.
7. Estas limitaciones son un inconveniente en gran
cantidad de problemas que se presentan en inteligencia
artificial, que tienen un carácter no monótono. Un
razonamiento se llama monótono cuando a lo largo del
proceso el conjunto de «cosas sabidas» es siempre
creciente.
Pero en la realidad suele ocurrir que, a medida que avanza
el proceso de inferencias, nuevas evidencias o acciones del
mismo sistema anulan premisas o conclusiones anteriores, y
para formalizar esto se necesita una lógica no monótona. Un
proceso frecuente es el razonamiento por defecto: suponer
8. El razonamiento monótono es parte de la
lógica clásica y abarca los siguientes temas:
• Deducción lógica que consiste que a partir de unas premisas,
representadas con símbolos y a través de unas reglas
obtendremos siempre una conclusión
9. Los símbolos representan los conectores o
conjuntores (¬, &, ˅, ->, <=>), se encuentran letras
enunciativas (p, r, s) y símbolos auxiliares ((), |-).
Ejemplo:
* Si llueve entonces uso paraguas o no salgo de casa,
* Se da el caso de que llueva
* Por lo tanto no salgo de casa
10. La lógica proposicional se basa en la verdad o la falsedad de las
proposiciones y de cómo se transmite la verdad de una
proposición (premisas) a otras (conclusión)
o La Proposición son aquellos enunciados afirmativos del cual se
sabe que tiene dos valores de verdad mutuamente excluyentes:
verdadero o falso.
o Las proposiciones se representan por las letras minúsculas:
p,q,r,s,t,…., pero también utiliza la notación : p1,p2,p3, p4, p5
Por ejemplo:
P1= pasaremos la materia de IA
˅ (P1)= V (Verdadero)
P2= hoy es un día soleado….
˅ (P2) = F (Falso)
11. Lógica de primer orden o lógica de predicados o cálculo de
predicados, es un sistema formal diseñado para estudiar la
inferencia de los lenguajes de primer orden. Esta tiene un
compromiso donde la realidad implica además, objetos y las
relaciones entre ellos.
Por ejemplo:
• María es madre y Antonio es hijo de María
• Toda madre ama a sus hijos.
13. Deducción lógica.
• “Si graniza (g) o nieva (n) entonces, uso paraguas (p) o no salgo
de casa (¬s).
• Se da el caso de que graniza (g). Por lo tanto, no salgo de casa
(¬s).”
(g ˅ n) -> (p ˅ ¬s), g |- ¬s
14. Lógica proposicional.
P1= Me graduaré del Instituto Tecnológico de Ciudad Juárez.
˅ (P1) = V (Verdadero)
P2= Hoy es el Fin del Mundo.
˅ (P2) = F (Falso)
15. Lógica de predicados
1. Edgar es papá y Adrián es hijo de Edgar.
2. Todo padre ama a sus hijos.