reglas y hechos ia
TRANSCRIPT
REGLAS Y HECHOS
Lic. Iris Albarrán
Inteligencia Artificial
UTILIZACIÓN DE REGLAS
Para describir un mundo se podrían expresar sus elementos y relaciones de manera asimilar a como se hace en los sistemas de bases de datos.
Ejemplo: Se tienen los siguientes datos sobre el personal especializado, en el departamento de Sistemas de una empresa que desarrolla software
EJEMPLOEmpleado Formación Especializac
iónExperienciaAños
N° de equipos a que pertenece
Carlos Pérez Ing. de sistemas
Inst .de redes 5 2
Luisa Molina Ing. de Computación
Arq. de Computador
3 3
Raúl González
Ing. en Informática
Diseño de pág. Web
4 4
Carla Rodríguez
Lic. En Computación
Flujo en Redes
3 2
El conocimiento que se tiene sobre el departamento, puede servir de apoyo a los mecanismos de inferencia.
Quien es el empleado con mayor experiencia en el Dpto.?
En lugar de exponer los hechos, se especifican un conjunto de reglas para determinar ante una situación dada, el empleado idóneo para realizar un trabajo especifico, se dispondrá de estos datos para proporcionar la información que las reglas necesitan.
El conocimiento acerca del mundo esta contenido en Reglas.
TIPOS DE CLÁUSULAS QUE CONFORMAN UNA BASE DE CONOCIMIENTO
Base de conocimiento
Hechos
Reglas
Objetivos
CARACTERÍSTICAS DE LOS TIPOS DE CLÁUSULAS
Las reglas son clausulas que describen una acción dinámica relativa al dominio de los elementos. Su estructura esta dada por un conjunto de condiciones denominado antecedentes y una acción a tomar llamada consecuente, ejemplo si la puerta n° 1 esta cerrada utilice la puerta 3.
CARACTERÍSTICAS DE LOS TIPOS DE CLÁUSULAS
Los hechos son clausulas que expresan parte del conocimiento. Se refiere al estado del Ser. Los hechos son datos o información que se tiene sobre una situación a considerar. Ejemplo. El motor está funcionando
CARACTERÍSTICAS DE LOS TIPOS DE CLÁUSULAS
Los objetivos son clausulas que expresan lo que se desea demostrar. Ejemplo El objeto se puede levantar.
Un objetivo se puede resolver con hechos.
Hechos: llueve estoy_en_la_calle Reglas: me_mojo :- llueve, estoy_en_la_calle
El formato lógico de reglas es equivalente a if (llueve and estoy_en_la_calle) then me_mojo.
consecuente :- precedente, precedente, ..., precedente
EJEMPLO Al inspector Fernández se le solicitó analizar la
siguiente situación relacionada con el robo de una caja fuerte: Hay tres personas sospechosas, Memo, Popi y Pira. Además se sabe lo siguiente: 1)Si Memo es culpable y Popi inocente entonces Pira es culpable
2) Pira nunca trabaja solo. 3) Memo no trabaja con Pira. 4)Se sabe que al menos uno de estos tres personajes es
culpable y que nadie distinto a ellos intervino.
¿Puede acusar a algunos de ellos?
Popi es culpable. Supongamos que Popi es inocente, entonces si Memo es culpable, Pira también los es según 2) pero esto contradice 3): Memo no trabaja con Pira. Por lo tanto Memo también es inocente. Pira debe ser el culpable ya que tanto Popi como Memo son inocentes.
Luego por 1 y 3: Pira nunca trabaja solo y no trabaja con Memo. Entonces, Popi es el culpable
LA INFERENCIA
Existen técnicas de demostración para inferir un resultado cuando se tiene un conjunto de proposiciones lógicas, entre ellas están: deducción natural, las tablas de la verdad, las formas normales conjuntivas y disjuntivas. La reducción al absurdo, etc.
USANDO LÓGICA PROPOSICIONAL
P Memo es culpable Q Popi es culpable R Pira es culpable
Proposiciones: 2)Pira nunca trabaja solo3)Si Memo es culpable y Popi inocente entonces Pira es culpable4)Memo no trabaja con Pira5)4)Se sabe que al menos uno de estos tres personajes es culpable y que nadie distinto a ellos intervino.
1)P ^ ¬q→r (2)2)r→p Ѵ q (1)3)¬(P^r) (3)4)pѴqѴr (4)
EJERCICIO
Realice el conjunto de reglas y hechos para determinar que un estudiante conoce los elementos de la programación básica:
2. Tipos de datos elementales3. Condiciones y ciclos