Michael Flores Popocatl.

Mayra Hernndez Galindo Nayeli Hernndez Mellado

MANUAL

DE

PRCTICAS
SCB-0416

INTELIGENCIA ARTIFICIAL

PLAN ISIC-2004-296

INGENIERA

EN

SISTEMAS COMPUTACIONALES

ndice
INTRODUCCIN----------------------------------------------------------------------------------------------------------------PRCTICA 2 Complejidad de Algoritmos----------------------------------------------------------------------------------------------------LISTA DE MATERIAL, EQUIPO O REACTIVO A UTILIZAR----------------------------------------------------LISTA DE BIBLIOGRAFA REQUERIDA-------------------------------------------------------------------------------CONTROL DE CAMBIOS DEL MANUAL DE PRCTICAS---------------------------------------------------------

INTRODUCCIN

Prctica 2

SUBTEMA:

REPRESENTACIN DEL CONOCIMIENTO

Observaciones 1.- OBJETIVO Aplicar las tcnicas de representacin basadas en lgica de predicados y sus reglas de inferencia, en la solucin de problemas 2.- MARCO TEORICO Red Semntica: Esquema de representacin en red, es igual a los mapas mentales y conceptuales; representa conocimiento y es utilizado en la Inteligencia Artificial. Representa las interrelaciones entre los conceptos y elementos semnticos para formar grafos. Lgica de Proposicional: permite representar y manipular afirmaciones sobre el mundo real que nos rodea. Permite el razonamiento, primero evala sentencias simples y luego sentencias complejas, formados mediante el uso de conectivos proposicionales AND y OR. Razonamiento Montono: el razonamiento de sentido comn, establece conclusiones a partir de informacin parcial, que muchas veces se revisa o desecha cuando se obtiene nueva informacin o evidencia del dominio. Predicados: la lgica de predicados se basa en la idea de que las sentencias expresan relaciones entre objetos , cualidades y atributos denominados predicados. Los objetos se conocen como trminos o argumentos del predicado, los predicados tienen un valor de verdad que depende de sus trminos, puede ser verdadero para un conjunto de trminos, pero falso para otro. 3.- MATERIAL, EQUIPO O REACTIVO I. Sistema Operativo II.Turbo Prolog III.Arity Prolog. 4.- PROCEDIMIENTO I. Organizar por equipos a los alumnos (3 integrantes mximo). II.Realizar la siguiente red semntica y representarlos en prolog El coche de Juan es un Seat. Los Seat son coches. Los coches son vehculos. Los coches tienen sistema elctrico. Los sistemas elctricos tienen batera. Las bateras tienen cido. El cido es un producto qumico.

I. Representar los siguientes enunciados mediante lgica proposicional:

Si Antonio gan la carrera, entonces Baltasar o Carlos fueron los segundos. Si Baltasar fue segundo, entonces no gan Antonio. Si Demetrio fue segundo, no lo fue Carlos. Antonio gan la carrera. Por tanto, Demetrio no fue segundo". II.Realizar la tabla de verdad del ejercicio anterior. III.Realizar su demostracin del ejercicio anterior mediante implicaciones y equivalencias IV.Aplicado el mtodo Teorema de Bayes, calcule los siguientes resultados: Una planta armadora de androides recibe microcircuitos provenientes de tres fabricantes F1, F2, F3. El 50% se compra a F1 y a F2, F3 un 25% a cada uno. El porcentaje de circuitos defectuosos es de 5, 10 y 12% respectivamente para F1, F2, F3. Si los circuitos se almacenan en la planta sin identificar el proveedor: a) Determinar la probabilidad de que salga un androide asesino, o sea, tenga un circuito defectuoso. b) Si un circuito es bueno, Cul es la probabilidad. que provenga del fabricante F2 ?.

Padre(Juan, Pedro) Padre(Juan, Vicente) Padre(Juan, Lorena) Padre(Mara, Pedro) Padre(Mara, Vicente) Padre(Mara, Lorena) Padre(Pedro, Claudia) Padre(Pedro, Beatriz) Padre(Sonia, Claudia) Padre(Sonia, Beatriz) Padre(Vicente, Luis) Padre(Gloria, Luis) Padre(Lorena, Miguel) Padre(Lorena, Daniel) Padre(Javier, Miguel) Padre(Javier, Daniel

Construir las reglas para Primo, To, Hermano, Abuelo, Suegro 5.- APARATOS E INSTRUMENTOS I. Computadora 6. ACTIVIDADES, DATOS Y RESULTADOS I. Realizar la siguiente red semntica y representarlos en prolog El coche de Juan es un Seat. Los Seat son coches. Los coches son vehculos. Los coches tienen sistema elctrico. Los sistemas elctricos tienen batera. Las bateras tienen cido. El cido es un producto qumico. Juan Tienen Coches Son Vehculos Tienen Sistema Elctrico Tienen Batera Es un Seat

Acido Es un Producto Qumico

Tienen

Tienen (juan, coche) Es un (coche, seat) Son (vehculos, coches) Tienen (coches, sistema elctrico) Tienen (sistema elctrico, batera) Tienen (batera, acido) Es un (acido, producto qumico)

I. Representar los siguientes enunciados mediante lgica proposicional: Si Antonio gan la carrera, entonces Baltasar o Carlos fueron los segundos. Si Baltasar fue segundo, entonces no gan Antonio. Si Demetrio fue segundo, no lo fue Carlos. Antonio gan la carrera. Por tanto, Demetrio no fue segundo". II.Realizar la tabla de verdad del ejercicio anterior. III.Realizar su demostracin del ejercicio anterior mediante implicaciones y equivalencias IV.Aplicado el mtodo Teorema de Bayes, calcule los siguientes resultados: Una planta armadora de androides recibe microcircuitos provenientes de tres fabricantes F1, F2, F3. El 50% se compra a F1 y a F2, F3 un 25% a cada uno. El porcentaje de circuitos defectuosos es de 5, 10 y 12% respectivamente para F1, F2, F3. Si los circuitos se almacenan en la planta sin identificar el proveedor: a) Determinar la probabilidad de que salga un androide asesino, o sea, tenga un circuito defectuoso. b) Si un circuito es bueno, Cul es la probabilidad. que provenga del fabricante F2 ?.

Padre(Juan, Pedro) Padre(Juan, Vicente) Padre(Juan, Lorena) Padre(Mara, Pedro) Padre(Mara, Vicente) Padre(Mara, Lorena) Padre(Pedro, Claudia) Padre(Pedro, Beatriz) Padre(Sonia, Claudia) Padre(Sonia, Beatriz) Padre(Vicente, Luis) Padre(Gloria, Luis) Padre(Lorena, Miguel) Padre(Lorena, Daniel)

Padre(Javier, Miguel) Padre(Javier, Daniel

Inteligencia artificial [SCB-0416]

I. Construir las reglas para Primo, To, Hermano, Abuelo, Suegro CONCLUSIONES I. Al concluir esta prctica el alumno habr aplicado las tcnicas de representacin del conocimiento basadas en la lgica de predicados, pudiendo de sta manera inferir soluciones a problemas. 7. PRACTICA A RESOLVER 8.- BIBLIOGRAFA Lgica matemtica. Ed. Suppes, ed. Revert, 1988. Stuart Russell, Peter Norvig. Inteligencia Artificial (Un enfoque moderno). Ed. Prentice Hall, 1995 http://aima.cs.berkeley.edu/ Gregorio Fernndez Fernndez. Universidad Politcnica de Madrid. Escuela Tcnica Superior de Ingenieros de Telecomunicacin. Departamento de Ingeniera de Sistemas Telemticos. Grupo de Sistemas Inteligentes. http://turing.gsi.dit.upm.es/~gfer/ssii/rcsi/ Notas sobre mapas conceptuales: http://profesor.sis.uia.mx/aveleyra/comunica/mmps/mapasconceptuales.htm

LISTA DE MATERIAL, EQUIPO O REACTIVO A UTILIZAR

FOLIO NOMBRE DEL MATERIAL, EQUIPO O REACTIVO CANT. UNIDAD

Fecha de Actualizacin 26/08/2010

Pgina 1

Inteligencia artificial [SCB-0416]

LISTA DE BIBLIOGRAFA REQUERIDA

FOLIO 1 2 3 4 5 6 BIBLIOGRAFIA CANT

LISTA DE ARCHIVOS Y FORMATOS

FOLIO ARCHIVO DESCRIPCION

In telig c Artific en ia ial I (S B 4 7 d C -0 1 ).p f

TEMARIO DE LA ASIGNATURA DE INTELIGENCIA ARTIFICIAL

In telig c Artific en ia ial I.xlsx

BITCORA DE LABORATORIO DE INTELIGENCIA ARTIFICIAL

Fecha de Actualizacin 26/08/2010

Pgina 1

Inteligencia artificial [SCB-0416]

CONTROL DE CAMBIOS DEL MANUAL DE PRCTICAS

DATOS GENERALES
FECHA DE ACTUALIZACI ON
19/08/2010

ELABOR Y/O ACTUALIZ

LIC. ROSA MARIA ROSAS VAZQUEZ LIC. ESTHER ORTEGA MEJA

DESCRIPCIN DE LA ACTUALIZACIN

SE INCLUY UNA NUEVA PRCTICA PARA

Fecha de Actualizacin 26/08/2010

Pgina 2

Estructura de Inteligencia artificial [SCB-0416]Datos [SCC-0408]

FIRMAS

ELABOR

Lic. Esther Ortaga Meja Docente de la Academia de Sistemas

Lic. Rosa Mara Rosas Vzquez Docente de la Academia de Sistemas

Lic. Erick Arriaga Varela Docente de la Academia de Sistemas

REVIS

Lic. Rosa Mara Rosas Vzquez Presidente de Academia

Lic. Anglica Vivas Casique Secretario de Academia

Vo.Bo.

Autoriz

Lic. Toms Gonzlez Alvarado Jefe de Divisin de la carrera de Ingeniera en Sistemas Computacionales

Ing. Eddy Cabrera de Luna Subdirectora de Estudios Profesionales

Fecha de Actualizacin 26/08/2010

Pgina 3