Lógica y Conjuntos La lógica es importante en los sistemas expertos, donde el mecanismo de inferencia

razona a partir de los hechos para extraer conocimiento. Lógica clásica • La lógica formal: es una de las
primeras aproximaciones a la representación del conocimiento para su tratamiento en los sistemas
computacionales, y en la IA. • La lógica formal es el SILOGISMO • El termino formal tiene que ver con la
Sintaxis mas que con la semántica. • Ejemplo: – Premisa: Todos los guadros son moofers – Premisa: Jorge es
un guadro – Conclusión: Jorge es un moofers. • La lógica es un sistema formal, describe la realidad es decir la
forma como se relaciona las frases lógicas más que con su significado Ejemplo: – Premisa: Todos los hombres son
mortales – Premisa: Sócrates es un hombre – Conclusión: Sócrates es mortal. (Sócrates ( HombreCriaturas ( mortales)))
¿Por qué es importante la lógica en los Sistemas Expertos? • La evolución de la lógica: – La lógica de proposiciones:
se ocupa de la manipulación de variables lógicas que representan proposiciones. – La lógica de predicados de
primer orden: hace uso de cuantificadores – La lógica estandar de Lukasiewicz: valores multivalentes – La lógica
modales: emplean expresiones como • “es necesario que”, “es posible que”, etc. Lógica Proposicional  Lógica
Proposicional , llamado también calculo proposicional  Es la forma básica para la manipulación de proposiciones,  Las
proposiciones o hechos es representado por un símbolo (variable proposicional) Las oraciones declarativas pueden
clasificarse con un valor de verdad “verdadero” o “falso” Por ejemplo: P = “el wumpus está muerto” Q = “Toledo es
el presidente del Perú” R = P v Q Lógica proposicional ¿Que es una proposición? • Una proposición es una
sentencia (oración) correctamente formada que puede ser verdadera o falsa • Es una sentencia declarativa. • Representa
un hecho de la realidad. • Es una oración del lenguaje que consta de un sujeto y un predicado, tiene un valor de verdad. •
Las oraciones interrogativas, admirativo, imperativas, no afirman nada y no pueden ser considerados enunciados. Lógica
proposicional Ejemplos de proposiciones  Luis y Marta van de pesca.  Luis llamó a Marta para salir.  El autobús
pasa a las seis  Mañana lloverá. χ ¡siéntate! χ ¿cuándo sale el autobús? χ ¿fueron a pescar Luis y Marta finalmente? χ
¡Eso es grandioso! Lógica Proposicional Las afirmaciones pueden ser : Cerradas, Abiertas y compuestas •
afirmaciones cerradas: son las que se pueden determinar su valor de verdad de forma absoluta, se le llama frase o
proposición. – “un cuadrado tiene cuatro lados iguales” . (tiene un valor de verdad verdadero) – “Fernando Belaunde
Terry fue presidente del Perú en tres periodos” (tiene un valor de verdad falso) • Afirmaciones abiertas, son las que no
se pueden responder de manera absoluta. Ejemplo: – Las espinacas son deliciosas – Aquella señorita es alta. • Las
afirmaciones compuestas, hacen uso de conectores lógicos Ejemplo: Un cuadrado tiene cuatro lados iguales y un
hexágono tiene cinco lados. P = Un cuadrado tiene cuatro lados iguales Q = Un hexágono tiene cinco lados. R = P Q
Sintaxis y Semántica Sintaxis • Conjunción (Λ). • Disyunción (V) • Implicación • Premisas • Conclusión. • Equivalencia •
Negación. • Sentencias Atómicas • Sentencias Completas Semántica • Tabla de verdad. • Validez e inferencia • Modelos
• Reglas de inferencia Sintaxis conector Significado ^ Y; conjunción V O; disyunción ~ No; negación -> Si..entonces;
condicional <-> Si …y solo …si; doble condicional Es la forma de Lógica proposicional - símbolos • Los símbolos usados
en la lógica proposicional son: – Las constantes lógicas Verdadero y Falso. – Los símbolos de proposiciones tales
como P y Q. – Los conectivos lógicos ^,v,->, <->, y paréntesis (). – Todas las oraciones se forman combinando los
símbolos anteriores mediante ciertas reglas. • Las constantes lógicas Verdadero y Falso constituyen oraciones en sí
mismas • Un símbolo propositivo como P o Q es una oración en sí misma. • Encerrar entre paréntesis una oración
produce también una oración, por ejemplo (P  Q). enunciar (expresar) las sentencias Premisa: Todos los hombre son
mortales Premisa: Sócrates es un hombre Conclusión: Sócrates es mortal. Lógica proposicional…..(Sintaxis) •
Conjunción (Λ) (and). • Disyunción (V) (or). Conjunción P  Q coyuntos disyunción P v Q disyuntos Lógica
proposicional…..(Sintaxis) • Implicación (). P implica Q (P  Q) – Aquí se tiene antecedentes y consecuentes. – A
las implicaciones también se les llama aseveraciones si-entonces. Oración: Si está lloviendo entonces lleva una
sombrilla. • bicondicional (). La bicondicional como P  Q. – Es verdadero solo cuando P y Q tienen los mismos
valores de verdad. – La bicondicional es equivalente a: (PQ) val revs(QP) Oración: El nuevo sol sube solo si el dólar
baja, y si el dólar baja entonces el nuevo sol sube Lógica proposicional…..(Sintaxis) • Premisas. Son los antecedentes
de una implicación. • Conclusión. Corresponden al consecuente de una implicación Ejemplos: Premisa1: Si un libro es
sobre ordenadores entonces es terriblemente aburrido Premisa2: Éste es un libro sobre ordenadores Conclusión: Este
libro es terriblemente aburrido • Tautología. – Es una frase compuesta que siempre es verdadera, sin importar si sus
frases individuales son verdaderas o falsas. • Contradicción. – Es una frase compuesta que siempre es falsa. • Una
frase condicional no es una tautología. Ejemplo: o me voy de viaje o no me voy de viaje. Donde: P = me voy de viaje.
Tabla de verdad Tautología Contradicción P -P P ^ P P vP 1 0 1 0 0 1 1 0 Lógica proposicional…..(Sintaxis) 
Equivalencia.  Dos sentencias α y β son equivalentes lógicamente si es que son verdaderas con el mismo conjunto de
hechos. P Λ Q y Q Λ P Se expresan como α ↔ β  Negación (no).  A una oración como P se le llama
negación de P.  es el único de los conectores que funcionan como una sola oración.  Sentencias Atómicas
(indivisibles)  Verdadero, falso, P, Q, R, S  Sentencias Completas.  Sentencia | Conectivo | Sentencia  -
Sentencia Ejercicios • Formaliza las siguientes proposiciones: 1. No es cierto que no me gusta bailar 2. Me gusta bailar
y leer libros de ciencia-ficción. 3. Si los gatos de mi hermana no soltaran tanto pelo, me gustaría acariciarlos. 4. Si y sólo
si, observara a un marciano con mis propios ojos, creería que hay vida extraterrestre. 5. Una de dos: o salgo a dar un
paseo, o me pongo a estudiar como un energúmeno. 6. Si los elefantes volaran o supieran tocar el acordeón, pensaría
que estoy loco y dejaría que me internaran en un psiquiátrico. 7. Prefiero ir de vacaciones o estar sin hacer nada si tengo
tiempo para ello y no tengo que ir a trabajar. Solución 1. B = me gusta bailar. ¬(¬B) 2. B = me gusta bailar. C = me
gusta leer libros de ciencia ficción. B ∧C 3. G = los gatos de mi hermana sueltan pelo. A = me gustaría acariciarlos. ¬G →
A 4. M = observara a un marciano con mis propios ojos. E = creería que hay vida extraterrestres. M ⇔E 5. P = salir a dar
un paseo. E = estudiar como un energúmeno. P v E 6. V = los elefantes vuelan. T = los elefantes tocan él acordeón. L =
estar loco. P = internar en un psiquiátrico. ( V v T ) →( L vrevs P) 7. V = ir de vacaciones. N = no hacer nada. T = tener
tiempo. I = ir a trabajar. (T vrevs¬I ) →(V vN ) Ejercicios • Formaliza la siguientes proposición: Si tuvieran que
justificarse ciertos hechos por su enorme tradición entonces, si estos hechos son inofensivos y respetan a todo ser
viviente y al medio ambiente, no habría ningún problema. Pero si los hechos son bárbaros o no respetuosos con los
seres vivientes o el medio ambiente, entonces habría que dejar de justificarlos o no podríamos considerarnos dignos de
nuestro tiempo. P = tuvieran que justificarse ciertos hechos por su enorme tradición Q = hechos inofensivos U = hechos
barbaros R = respetan todo ser viviente T = S = al medio ambiente T = habria un problema Ejercicios • Formaliza la
siguientes proposición: Mary puede escribir el programa en Fortran o Pascal o de plano no escribirlo. Si no escribe el
programa sacará cero y reprobará el curso. Si reprueba el curso será puesta en el padrón de jalados y si se saca cero su

novio la dejará. Si Mary escribe el programa en Fortran reprobará el curso pero si lo escribe en Pascal pasará . Lógica
de predicados La lógica de predicados permite “predicar” o enunciar algo sobre los objetos, es decir, definir atributos y
relaciones entre elementos Lógica de Predicados • Es una lógica con suficiente expresividad para representar nuestro
sentido común. • Considera el mundo constituido por objetos y propiedades que los distingan, a diferencia de la lógica
proposicional que sólo permite representar hechos. • Está basada en la idea de que las sentencias realmente expresan
relaciones entre objetos, así como también cualidades y atributos de tales objetos. • Los objetos pueden ser personas,
objetos físicos, o conceptos. Lógica de Predicados • Las cualidades, relaciones o atributos, se denominan predicados.
Los objetos se conocen como argumentos o términos del predicado. • Al igual que las proposiciones, los predicados
tienen un valor de veracidad, pero a diferencia de las proposiciones, su valor de veracidad, depende de sus términos. Un
predicado puede ser verdadero para un conjunto de términos, pero falso para otro. Predicado Un predicado es lo que se
afirma del sujeto. Predicado. • Propiedades • Cualidades • Relaciones • Atributos. • Funciones Sujeto. • Argumentos •
Términos • Objetos, Personas, Conceptos Sujetopredicado atributos sentencia Proposiciones y Predicados • Una
proposición es una oración completa donde se afirma algo acerca de un sujeto identificado. • Una sentencia en lógica de
predicados es una oración completa donde se afirma algo acerca de un sujeto. El sujeto puede ser una constante o una
variable. sentencia = oración = enunciado Ejemplos • Objetos: – personas, casas, números, la SUNAT, USMP, colores,
guerras, siglos. • Relaciones: – diferente_que, hermano-de, cerca_de, amigo_de, de_color, hijo_de_y_padre_de, vive_en,
es_el_dueño. • Propiedades: – Rojo, redondo, pisos, • Funciones: – el_siguiente, mayor_que, sumatoria, Ejercicio •
Uno más dos es igual a tres – Objetos: uno, dos, tres, uno más dos. – Relación: igual Función: más igual(mas(UNO,
DOS),TRES) • Las casas cercanas a los ríos son peligrosas – Objetos: casas, ríos – Propiedad: peligrosas Relación:
cercanía cercanas(casas, ríos)  peligrosas(casas) Ejercicio • Wayra vive en la provincia de condorcanqui y chaccha
coca. – Objetos: WAYRA, CONDORCANQUI, COCA – Relación: vive, chaccha Propiedad: provincia
provincia(CONDORCANQUI), vive(WAYRA,CONDORCANQUI), chaccha(WAYRA, COCA) Lógica de predicados
Ejemplo: Se tiene la siguiente sentencia: • “Moquegua es soleado en primavera” – Objetos: Moquegua, soleado,
primavera – Relación: es, en • en(es(Moquegua, soleado),primavera) • Región(moquegua), clima(soleado),
estación(primavera) Oraciones Atómicas • Los términos y signos de predicado se combinan para formar oraciones
atómicas, mediante las que se afirman hechos. • Una oración atómica está formada por un signo de predicado y por una
lista de términos entre paréntesis, ejemplo Hermano (Ricardo, Juan) Casado (PadreDe (Ricardo), MadreDe (Juan))
Oraciones • Mediante los conectores lógicos se pueden construir oraciones más complicadas, ejemplo: – Hermano
(Ricardo, Juan) Vrevz Hermano (Juan, Ricardo) – Mayor (Juan, 30) V Menor (Juan, 30). – Mayor (Juan, 30)  -Menor
(Juan, 30) – Hermano (Robin, Juan) Lógica de predicados “Cuantificadores” “Los Cuantificadores permiten expresar
propiedades de grupos completos de objetos en vez de enumerarlos por sus nombres” Tipos de cuantificadores • Dos
tipos de cuantificadores que admite la lógica de predicados de primer orden – El cuantificador existencial: describe una
afirmación como verdadera por lo menos para un miembro del dominio. Erevx – El cuantificador universal: una
afirmación cuantificada universalmente tiene el mismo valor de verdad para todos los reemplazos en el mismo dominio.
Acabza Cuantificador universal (Adcabz) Ejemplo: • “Todos los gatos son mamíferos” Representando con
cuantificador universal: • (Ax )(P) (Ax ) (Si x es un gato  x es un Mamífero) Se tiene la siguiente afirmación: –
“Mancha es un gato” y “Mancha es mamífero” Representando en lógica de predicados – (Ax )(Gato (x) 
Mamífero (x)) – Se lee: para todo x, si x es un gato, entonces x es un mamífero. Lo cual equivale a – Gato (Mancha) 
Mamífero (Mancha) ^ Gato (Rebeca) Mamífero (Rebeca) ^ Gato (Félix)  Mamífero (Félix) ^ (Juan)  Mamífero
(Juan) Vdcbz … Cuantificación existencial (ﾖ ) Ejemplo, si queremos decir que: Mancha tiene un hermano que es un
gato – (ﾖ x) Hermano (x, Mancha) ᶺ Gato (x) – (ﾖ x) Hermano (x, Mancha) ᶺ Gato (x) equivale a las oraciones: (Hermano
(Ringo, Mancha) ᶺ Gato (Ringo)) V (Hermano (Rebeca, Mancha) ᶺ Gato (Rebeca)) V (Hermano (Félix, Mancha) ᶺ Gato
(Félix)) V (Hermano (Ricardo, Mancha) ᶺ Gato (Ricardo)) V… – Así como  es el conector natural para Adcz. – ˄âĪ es el
conector natural para ﾖ . Cuantificador existencial ( ﾖ ) Se tiene la siguiente Proposición: “Todos los perros tienen
cuatro patas” • Representando con cuantificador universal, en lógica de predicados: – (Ax ) (perro (x)  cuatro patas
(x)) • Representando con cuantificador existencial, en lógica de predicados: – ( ﾖ x ) (perro (x) ˄ tres patas (x)) Las
afirmaciones cuantificadas y sus negaciones • Sea P que representa “elefantes y mamíferos” Ejemplo Significado (1a)
(Ax )(P) “todos los elefantes son mamíferos” (1b) (ﾖ x )(~P) “algunos elefantes no son mamíferos” (2a) (ﾖ x )(P) “algunos
elefantes son mamíferos” (2b) (Ax )(~P) “ningún elefante es mamífero” Cuantificadores anidados • Para toda X y
toda Y, si X es el padre de Y, entonces Y es el hijo de X – (Ax, y) Padre (x, y)  Hijo ( y, x) • Todas las
personas aman a alguien – (Ax)( ﾖ y) Aman (x, y) • Siempre hay alguien a quien todos aman – (ﾖ y) (Ax) Aman ( x, y)
Relaciones entre A y ﾖ Ambos cuantificadores están estrechamente relacionados entre sí mediante la negación. – A
todos les desagradan las espinacas ≡No hay alguien a quien le gusten las espinacas (Ax) ~LeGustan (x, espinacas) ≡
~( ﾖ x) LeGustan (x, espinacas) – A todos les gusta el helado ≡ No hay alguien a quien no le guste el helado (Ax)
LeGusta(x, helado) ≡ ⌐(ﾖ x) ⌐LeGusta (x, helado) Igualdad • Para formular afirmaciones en las que los dos términos
se refieren a un mismo objeto se utiliza el símbolo de igualdad: – Padre (Juan) = Enrique • El signo de igualdad sirve
para describir las propiedades de una función determinada o se puede emplear en la negación para insistir en que dos
términos no son el mismo objeto: – (ﾖ x, y) Hermano(Mancha, x) ˄ Hermano(Mancha, y) ˄ ⌐(x = y) Ejemplos • Todas
las ciudades tienen un policía que ha sido mordido por todos los perros de la Ciudad. (Ax) { ciudad(x)  (ﾖ y) {policía (y,
x) ˄ [(Az) { perro(z) ˄ vive_en(z, x)]  mordido (z, y)}}} • Para cada conjunto x, hay un conjunto y tal que el cardinal de y
es mayor que el cardinal de x. (Ax) {conjunto(x)  (ﾖ y)(ﾖ u)(ﾖ v) [conjunto(y) ˄ cardinal(u,x) ˄ cardinal(v,y) ˄ es_mayor
(v,u)]} • Todos los bloques que están encima de bloques que han sido movidos o que están unidos a bloques que han
sido movidos, también han sido movidos. (Ax)(Ay) { {bloque(x)˄bloque (y) ˄ [ encima(x, y) V unido(x, y) ]˄ movido(y)} 
movido(x) } SISTEMAS BASADOS EN REGLAS Los sistemas basados en reglas son una herramienta eficiente para
tratar problemas de: sistemas de control de tráfico, sistemas de seguridad, transacciones bancarias, etc. Sistemas
Basados en Reglas - Base de Conocimiento - Motor de Inferencia(M.P. y M.T.) - Subsistema de Control de
Coherencia(No dar hechos inconsistentes, por el usuario) Detalles Base de Conocimiento (- Conocimiento: Se
almacena en la B.C. y son un conjunto de objetos y conjunto de reglas, -Datos :Trabaja en memoria de trabajo y son los
hechos o evidencia conocidos en una situación particular) Representación de un Objeto y Regla ejmplo Objeto: nota,
valores=[1,2,3..10]| objeto: admitir , valores:[si,pendiente,no] Regla 1: Si nota > 9, entonces calificación = sobresaliente.
Regla 2: Si puesto < 20 o nota > 7, entonces Admitir = sí y Notificar = sí. Sistemas Basado en Reglas: Ejemplo cajero
automatico: Objeto Conjunto de posibles|valores Tarjeta {verificada, no verificada} Fecha {expirada, no expirada} Clave
{correcto, incorrecto} Intentos {excedidos, no excedidos} Balance {suficiente, insuficiente} Límite {excedido, no excedido}
Pago {autorizado, no autorizado} Reglas : Regla1: Si Tarjeta = verificada  - Fecha = no expirada Clave = correcto
 - Intentos = no excedido  - Balance = suficiente  - Limite = no excedido - Entonces - Pago = autorizado Ejemplo
de Gente Famosa: Tabla nombre,americano,político, mujer | Regla 1: Si Nombre = Clinton, entonces Americano = sí y
Político = sí y Mujer = no. Sistemas Basados en Reglas Restricciones en las reglas.  No permitir en los antecedentes
el operador lógico ^y v  Limitar las conclusiones a expresiones lógicas simples. Razones para imponer estas
restricciones. 1. Son fáciles de presentar a la hora de escribir un programa. 2. Las reglas más generales pueden ser
reemplazadas por conjuntos de reglas. A esto se le llama sustitución de reglas. Sistemas Basados en Reglas Ejemplo:
Se tiene la siguiente regla - Regla 2: Si A o B, entonces C, Es equivalente por la regla - Regla 2a: Si A y B, entonces C,
El Motor de inferencia Hace uso de dos tipos de elementos: los datos (hechos o evidencia) y el conocimiento (el
conjunto de reglas almacenado en la base de conocimiento). Para obtener nuevas conclusiones o hechos. Reglas de
Inferencia Modus ponens: s Adquiere la siguiente forma lógica: [(p  q )  p]  q traducido al lenguaje natural sería así:
si p implica q, y p es verdadero, entonces q también debe ser verdadero. Expresado en forma simbólica: p -> q ^ P->q
Modus tollers Adquiere la siguiente forma lógica: [(p  q )  ~q]  ~p traducido al lenguaje natural sería así: si p
implica q, y q es falso, entonces p también debe ser falso. Expresado en forma simbólica: p -> q ^~q->~p La regla
Modus Tollens equivale a una expansión de la base de conocimiento. sdd Si se tiene solo la Regla 1 en la base de
conocimiento  Utilizando la regla de inferencia Modus Tollens para “invertir” la Regla 1 y obtener alguna conclusión
cuando se tiene información sobre los objetos de su conclusión. Aplicando Modus Tollens a la regla “Si A, entonces B”
es equivalente a aplicar la regla Modus Ponens a la regla “Si B , entonces A.” En este caso de Regla 1, utilizando la
equivalencia A = C y B = C A = F o B = F, se obtiene la Regla 1b Modus ponens Ejemplo se tiene la siguiente
proposición: “Si hago mucho deporte, entonces estoy cansado, y es cierto que hago mucho deporte, por lo que estoy
cansado”  P= hago mucho deporte  Q=estoy cansado El argumento tiene dos premisas.  La primera es el
condicional “P implica Q".  La segunda premisa indica que P es verdadera. De estas dos premisas se deduce la
conclusión  Q es verdad. Ejemplo se tiene la siguiente proposición: “Si no hay errores, entonces el programa se
cumple, y no hay errores por lo que el programa se cumple”  P= no hay errores  Q= el programa se cumple. El
argumento tiene dos premisas.  La primera es el condicional “P implica Q".  La segunda premisa indica que P es
verdadera. De estas dos premisas se deduce la conclusión  Q es verdad. Modus tollens Ejemplo se tiene la siguiente
proposición: “Si llueve entonces voy al cine y no fui al cine, por lo tanto no llovió” Donde:  P=llueve  Q= voy al cine El
argumento tiene dos premisas.  La primera es el condicional “P implica Q".  El valor de la conclusión, P es falsa. 
Entonces La segunda premisa indica que Q es falsa. Encadenamiento de Reglas ns Una de las estrategias de
inferencia mas utilizadas para obtener conclusiones compuestas es el llamado encadenamiento de reglas. Esta
estrategia puede utilizarse cuando las premisas de ciertas reglas coinciden con las conclusiones de otras. La estrategia
de encadenamiento de reglas se da con el algoritmo siguiente: Algoritmo 2.1: Encadenamiento de reglas. 1. Asignar a
los objetos sus valores conocidos tales como los dan los hechos conocidos o la evidencia 2. Ejecutar cada regla de la
base de conocimiento y concluir nuevos hechos si es posible. 3. Repetir la Etapa 2 hasta que no puedan ser obtenidos
nuevos hechos. Donde:  Datos: Una base de conocimiento (objetos y reglas) Ejemplo ecadenamiento de reglas: si
se tiene las siguientes reglas. R1: Si A y B entonces C R2: Si D y E y F entonces G R3: Si H y I entonces J R4: Si C y
G entonces K R5: Si G y J entonces L R6: Si K y L ent Ejemplo: si se tiene las siguientes reglas. R1: Si A y B
entonces C R2: Si D y E y F entonces G R3: Si H y I entonces J R4: Si C y G entonces K R5: Si G y J entonces L R6: Si
K y L entonces M  y se dan los siguientes hechos H = cierto, I = cierto, K = cierto y M = falso.  Supóngase, que el
motor de inferencia Encadenamiento de Reglas Orientado a un Objetivo El algoritmo de encadenamiento de reglas
orientado a un objetivo requiere:  El usuario debe seleccionar, en primer lugar, una variable o nodo objetivo;  luego
el algoritmo navega a través de las reglas en búsqueda de una conclusión para el nodo objetivo.  Si no se obtiene
ninguna conclusión con la información existente, entonces el algoritmo fuerza a preguntar al usuario en busca de nueva
información, para obtener información sobre el objetivo. Donde:  Datos: Una base de conocimiento (objetos y Asigna a
los objetos sus valores conocidos tales como están dados en los hechos de partida, si es que existe alguno. Marcar
todos los objetos cuyo valor ha sido asignado. Si el nodo objetivo está marcado, ir a la Etapa 7; en otro caso: (a)
Designar como objetivo inicial el objetivo en curso. (b) Marcar el objetivo en curso. (c) Sea Objetivos Previos = φ, donde
φ es el conjunto vacío. (d) Designar todas las reglas como activas (ejecutables). (e) Ir a la Etapa 2. Encontrar una regla
activa que incluya el objetivo en curso y ninguno de los objetos en Objetivos Previos. Si se encuentra una regla, ir a la
Etapa 3; en otro caso, ir a la Etapa 5. Compilación de Reglas Otra forma de tratar con reglas encadenadas consiste en
comenzar con un conjunto de datos (información) y tratar de alcanzar algunos objetivos. Esto se conoce con el nombre
de compilación de reglas. Ejemplo: Considérese las seis reglas de la Figura. Son conocidos los valores de los
objetos A, B, D, E, F, H, e I. Los restantes objetos, C, G, J, K, L y M, son bjeti Utilizando las seis reglas, pueden
obtenerse las siguientes ecuaciones objetivo:  La R1 implica C = A  B. Las tres primeras ecuaciones son
equivalentes a las tres primeras reglas.  Las tres ecuaciones objetivo son, respectivamente, equivalentes a las
reglas siguientes:  R4a: Si A y B y D y E y F, entonces K.  R5a: Si D y E y F y H e I, entonces L.  R6a: Si A y B y
D y E y F y H e I, entonces M.  Por ello, si, por ejemplo, cada uno de los objetos {A, B, D, E, F, H, I} toma  La R2
implica G = D  E  F.  La R3 implica J = H  I.  La R4 implica K = C  G = (A  B)  (D  Sistemas
Basados en Reglas Control de coherencia: Coherencia de reglas Coherencia de hechos Control de la
coherencia El objetivo del control de la coherencia consiste en: 1. Ayudar al usuario a no dar hechos inconsistentes, 
Ejemplo, dándole al usuario las restricciones que debe satisfacer la información demandada. 2. Evitar que entre en la
base de conocimiento cualquier tipo de conocimiento inconsistente o contradictorio. Definición: Un conjunto de reglas
se denomina coherente si existe, al menos, un conjunto de valores de todos los objetos que producen conclusiones no
contradictorias Ejemplo: Se tienen las siguientes reglas, que relacionan dos objetos A y B binarios {C, F}:  Regla 1: Si
A = C, entonces B = C.  Regla 2: Si A = C, entonces B = F.  Regla 3: Si A = F, entonces B = C.  Regla 4: Si A = F,
entonces B = F. Valores No factibles Se dice que un valor a para el objeto A no es factible si las conclusiones
obtenidas al hacer A = a contradicen cualquier combinación de valores del resto de los demás valores Coherencia de
los Hechos Los datos o evidencias suministrados por los usuarios deben ser también consistentes en sí y con el
conjunto de reglas de la base de datos. Por ello, el sistema no debe aceptar hechos que contradigan el conjunto de
reglas y/o el conjunto de hechos existente en cada instante del proceso. Ejemplo: Se tienen las siguientes reglas:  R1:
Si A = 0 y B = 0, entonces C = 0.  R2: Si A = 0 y D = 0, entonces C = 1. El sistema no debe aceptar el conjunto de
hechos A=0, B=0 y C=1, por contradecir a la Estrategias para lograr La coherencia de los hechos: 1. Eliminar todos
los valores no factibles (los que contradicen el conjunto de reglas y/o hechos) de los objetos una vez detectados. 2. El
motor de inferencia debe comprobar que los hechos conocidos no contradicen el conjunto de reglas. 3. Suministrar al
usuario una lista de objetos a los que no se ha asignado valores previamente. 4. Para cada uno de los objetos, mostrar
y aceptar sólo sus valores factibles. Ejemplo de los Agentes Secretos: Se tienen cuatro agentes secretos, Alberto,
Luisa, Carmen y Tomás, cada uno está en uno de los cuatro países: Egipto, Francia, Japón y España. Se han recibido
los siguientes telegramas de los agentes:  De Francia: Luisa está en España.  De España: Alberto está en Francia.
 De Egipto: Carmen está en Egipto.  De Japón: Carmen está en Francia. El problema radica en que no se sabe quien
ha enviado cada uno de los mensajes, pero es conocido que Tomas miente (¿es un agente doble?) y que los demás
agentes dicen la verdad. Paso 1: Analizar cada uno de los telegramas, tomando en consideración que el agente Tomas
miente.  De Francia: Luisa está en España. Se deduce las siguientes reglas  R1: Si Tomás está en Francia,
entonces Luisa no está en España.  R2: Si Tomás no está en Francia, entonces Luisa está en España.  De
España: Alberto está en Francia. da lugar a:  R3: Si Tomás está en España, entonces Alberto no está en Francia De
Egipto: Carmen está en Egipto. da lugar a: R5: Si Tomás está en Egipto, entonces Carmen no está en Egipto. R6:
Si Tomás no está en Egipto, entonces Carmen está en Egipto. De Japón: Carmen está en Francia. da lugar a: R7: Si
Tomás está en Japón, entonces Carmen no está en Francia. Se tienen las ocho reglas.  R1: Si Tomás está en
Francia, entonces Luisa no está en España.  R2: Si Tomás no está en Francia, entonces Luisa está en España. 
R3: Si Tomás está en España, entonces Alberto no está en Francia.  R4: Si Tomás no está en España, entonces
Alberto está en Francia.  R5: Si Tomás está en Egipto, entonces Carmen no está en Egipto.  R6: Si Tomás no está
en Egipto, entonces Carmen está en Egipto.  R7: Si Tomás está en Japón, entonces Carmen no está en Francia. 
R8: Si Tomás no está en Japón, entonces Carmen está en Francia Se tienen las ocho reglas.  R1: Si Tomás está en
Francia, entonces Luisa no está en España.  R2: Si Tomás no está en Francia, entonces Luisa está en España. 
R3: Si Tomás está en España, entonces Alberto no está en Francia.  R4: Si Tomás no está en España, entonces
Alberto está en Francia.  R5: Si Tomás está en Egipto, entonces Carmen no está en Egipto.  R6: Si Tomás no está
en Egipto, entonces Carmen está en Egipto.  R7: Si Tomás está en Japón, entonces Carmen no está en Francia. 
R8: Si Tomás no está en Japón, entonces Carmen Reglas CLIPS defrule determina-si-arranca "" ?A <-
(auto (arranca nose) (compostura)) => (if (si-o-no-p "Arranca el motor (si/no)? ")
then (if (si-o-no-p "Funciona normal (si/no)? ") then (modify ?A (arranca si)
(funciona normal) (bateria cargada) (marcha si)
(gasolina si) (punterias normal) (compostura "No tiene
nada!!")) else (modify ?A (arranca si) (bateria
cargada) (marcha si) (gasolina si) (funciona mal))) else
(modify ?A (arranca no) (funciona no)))) (defrule marcha "" ?A <- (auto (arranca no)
(marcha nose) (compostura)) => (if (si-o-no-p "Tiene marcha (si/no)? ") then
(modify ?A (marcha si)) else (modify ?A (marcha no)))) Inserta hecho por bloques:
(deffacts estado-inicial (alta Jose-Martinez iop) (anterior Jose-Martinez
infarto) (dolor Jose-Martinez lado-izquierdo) (paciente Juan-Lopez asmatico) )
Template deftemplate auto (slot arranca (type SYMBOL) (allowed-values si no nose)
(default nose)) (slot funciona (type SYMBOL) (allowed-values normal mal no nose)
(default nose)) (slot bateria (type SYMBOL) (allowed-values cargada descargada
nose) (default nose)) (slot marcha (type SYMBOL) (allowed-values si no
nose) (default nose)) (slot gasolina (type SYMBOL) (allowed-values si no
nose) (default nose)) (slot punterias (type SYMBOL) (allowed-values
normal quemadas sucias desajustadas nose) (default nose))
(multislot compostura)