Laboratorio de Inteligencia Artificial

Laboratorio de Inteligencia Artificial

Realizar las prcticas 10, 11 y 12 siguiendo los siguientes pasos:Sin ordenador:Definir DominioDefinir los predicados y funciones que se consideren necesariosEscribir las sentencias en lgica de predicados de primer orden (axiomas y teorema)Negar el teoremaPasar todas las sentencias a forma clausal siguiendo los pasos estudiados en claseUtilizar refutacin por resolucin para llegar a la clasula vaca, utilizando las sustituciones que sean necesarias.Responder a la pregunta si la hay, indicando cmo se ha llegado a la respuesta

Utilizando SLI:Escribir los programasUtilizar las opciones de la configuracin para comprobar que todos los pasos hechos a mano son correctos

Prctica N 10.-

Sabiendo que Lanzarote ama a la reina Ginebra, Lanzarote no ama a ninguno de sus amigos, el rey Arturo es amigo de Lanzarote, y los amigos de Lanzarote odian a quienes Lanzarote ama, a quin odia Arturo?

Prctica N 11.-

Todos los ejecutivos llevan corbatas discretas. Ninguna persona joven se cansa haciendo deporte. Las personas que no se cansan haciendo deporte llevan corbatas llamativas.Demostrar usando resolucin que ningn ejecutivo es joven.

Prctica N 12.-

Los deportistas entrenan con constancia.Slo los no luchadores no alcanzarn la victoria.Los que alcanzan la victoria se distinguirn de la masa.Algunos espaoles son deportistas.Ningn no luchador entrena con constancia.Demostrar usando resolucin que algunos espaoles se distinguirn de la masa.