INSTITUTO TECNOLOGICO DE TUXTLA GUTIERREZ

Inteligencia Artificial Procesos de razonamiento segn la lgica Haga clic para modificar el estilo de subttulo del Integrantes: patrn Aguilar Prez Alan Candelaria Velzquez Sergio Garca Gamboa Francisco Tuxtla Gutirrez, Chiapas; a 19 de 3/10/13 febrero del 2013

LGICA
Ciencia formal y una rama de la filosofa que estudia los principios de la demostracin e inferencia vlida. EnInteligencia artificial, lalgica difusa, olgica Haga clic para modificar el estilo de subttulo del borrosase utiliza para la resolucin de una patrn variedad de problemas, principalmente los relacionados con control de procesos industriales complejos y sistemas de decisin en general, la resolucin y la compresin de datos. Consiste en la aplicacin de la lgica difusa con la intencin de imitar elrazonamientohumano en laprogramacinde computadoras
3/10/13

DEMOSTRACIN
Sucesin coherente de pasos que, tomando como verdadero un conjunto de premisas llamado hiptesis, permite asegurar la veracidad de una Haga clic para modificar el estilo de subttulo del tesis patrn Estos pasos deben estar fundamentados en la aplicacin de reglas de deduccin (fundadas ya sea enaxiomaso enteoremasanteriormente demostrados o en reglas bsicas de deduccin del sistema en cuestin). El hecho de no conocer ninguna demostracin de un teorema no implica su no veracidad; slo la demostracin de la negacin de este resultado implica que es falso. 3/10/13

AXIOMA
Proposicin tan clara y evidente que se admite sin necesidad de demostracin. Cada uno de los principios fundamentales e indemostrables sobre los que se construye una teora. Haga clic para modificar el estilo de subttulo del patrn Lalgicadel axioma es partir de unapremisacalificada deverdaderapor s misma (el axioma), y de sta inferir otrasproposicionespor medio delmtodo deductivo, de lo cual se obtienen conclusiones coherentes con el axioma. Los axiomas han de cumplir slo un requisito: de ellos, y dereglas de 3/10/13inferencia, han de deducirse todas las

Ejemplos: 1+1=2 o A es hermano de B o C es hijo de A Haga clic para modificar el estilo de subttulo del Entonces podemos decir que B es to de C, o patrn bien C es sobrino de B

3/10/13

Teorema

Un teorema es una proposicin que puede demostrarse

de forma lgica a partir de un axioma o de otros teoremas que fueron demostrados con anterioridad.

3/10/13

Ejemplo: Si dos rectas paralelas se cortan con una recta secante se cumple la relacin de ngulos siguiente: 1 - Los ngulos alternos/internos son iguales. 2 - Los ngulos alternos/externos son iguales. 3 - Los ngulos 3/10/13 correspondientes son

Razonamiento

Se le llama razonamiento al resultado de la actividad mental de razonar, es decir, un conjunto de proposiciones enlazadas entre s que dan apoyo o justifican una idea.

3/10/13

Razonamiento: En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lgicas necesarias entre ellos. (Ruiz Limn, 2007).

3/10/13

Lgica inductiva
obtienes

La lgica inductiva es cuando a partir de un

elemento o unos pocos elementos conclusiones a acerca del universo.

Por ejemplo:

Mi perro ladra y el perro del vecino ladra. Por lo tanto seguramente todos los perros ladran.

3/10/13

Lgica deductiva

La lgica deductiva es cuando a partir de un universo sacas conclusiones de un elemento del universo. Por ejemplo:
Todos los perros ladran. Por lo tanto, mi perro ladra

3/10/13

Qu es un Teorema?

Qu es el Razonamiento?

Qu es la lgica inductiva?

Qu es la lgica deductiva?

Qu es axioma?

3/10/13