INSTITUTO TECNOLÓGICO SUPERIOR DEJESÚS CARRANZAINGENIERÍA EN SISTEMAS COMPUTACIONALESINTELIGENCIA ARTIFICIALUNIDAD III.PRE...
UNIFICACIÓNCuando se tienen sentencias compuestas por predicados y conectivos lógicos,se debe evaluar la veracidad de cada...
Modus ponens.- Es la más importante, en los sistemas basados enconocimiento. Establece que:Si las sentencias p y (p ® q) s...
Próxima SlideShare
Cargando en…5
×

unidad 3Unificación

107 visualizaciones

Publicado el

0 comentarios
0 recomendaciones
Estadísticas
Notas
  • Sé el primero en comentar

  • Sé el primero en recomendar esto

Sin descargas
Visualizaciones
Visualizaciones totales
107
En SlideShare
0
De insertados
0
Número de insertados
2
Acciones
Compartido
0
Descargas
2
Comentarios
0
Recomendaciones
0
Insertados 0
No insertados

No hay notas en la diapositiva.

unidad 3Unificación

  1. 1. INSTITUTO TECNOLÓGICO SUPERIOR DEJESÚS CARRANZAINGENIERÍA EN SISTEMAS COMPUTACIONALESINTELIGENCIA ARTIFICIALUNIDAD III.PRESENTA:LIDUVINA RODRÍGUEZ CORTESKAREN CAAMAÑO LÓPEZMÓNICA TOLEDO VILLALOBOSJOSÉ ANTONIO MALDONADO CORTESDOCENTE:ALEJANDRA LILI TORRES JIMÉNEZJESUS CARRANZA, VER., MAYO DEL 2013
  2. 2. UNIFICACIÓNCuando se tienen sentencias compuestas por predicados y conectivos lógicos,se debe evaluar la veracidad de cada uno de sus componentes para determinarsi toda la sentencia es verdadera o falsa. Para ello, se busca en el conjunto deaxiomas la forma de establecer la veracidad de los predicados componentes.Un predicado componente se dice que es verdadero si se identifica con unaxioma de la base de información. En la lógica de predicados, este proceso esalgo complicado ya que las sentencias pueden tener términos variables. A lospredicados que tienen variables por argumentos, se los denomina patrones.La unificación es el proceso de computar las sustituciones apropiadas quepermitan determinar si dos expresiones lógicas, ya sean predicados o patrones,coinciden.El proceso de unificación involucra los siguientes pasos:Todo predicado que no contenga variables en sus argumentos, debentener un axioma que se identifique totalmente, para considerarlo comoverdadero.Si un predicado contiene una variable, esta debe ser asociada a un valordeterminado. Esta asociación se realiza buscando en la base deaxiomas y seleccionando todos aquellos que se identifican con el patrónen todo, excepto por la variable. La variable es asociada con el valor enla posición correspondiente del axioma. Si más de un axioma seidentifica con el predicado dado, todos los valores asociados sonconsiderados y son tratados separadamente.El proceso de identificación continúa asumiendo que el valor de lavariable es el valor asociado, en cualquier lugar que esta aparezca.Los conectivos lógicos son aplicados a todos los predicados, paradeterminar la veracidad de la sentencia dada.INFERENCIA Y RAZONAMIENTOInferir es concluir o decidir a partir de algo conocido o asumido; llegar a unaconclusión. A su vez, razonar es pensar coherente y lógicamente; establecerinferencias o conclusiones a partir de hechos conocidos o asumidos.El proceso de razonamiento, por lo tanto, involucra la realización deinferencias, a partir de hechos conocidos. Realizar inferencias significa derivarnuevos hechos a partir de un conjunto de hechos conocidos como verdaderos.La lógica de predicados proporciona un grupo de reglas sólidas, con las cualesse pueden realizar inferencias. Las principales Reglas de Inferencia son:
  3. 3. Modus ponens.- Es la más importante, en los sistemas basados enconocimiento. Establece que:Si las sentencias p y (p ® q) se conocen que son verdaderas,entonces se puede inferir que q también es verdadera.Modus tolens.- Esta regla establece que:Si la sentencia (p ® q) es verdadera y q es falsa,Entonces se puede inferir que p también es falsa.Resolución.- Utiliza refutación para comprobar una determinada sentencia.La refutación intenta crear una contradicción con la negación de la sentenciaoriginal, demostrando, por lo tanto, que la sentencia original es verdadera. Laresolución es una técnica poderosa para probar teoremas en lógica yconstituye la técnica básica de inferencia en PROLOG, un lenguaje quemanipula en forma computacional la lógica de predicados. La regla deresolución, establece que:Si (AÚ B) es verdadero y (~B Ú C) es verdadero,Entonces (A Ú C) también es verdadero.

×