Dos que se conocen y buscar sustituciones que se cumplan, o bien, que sean falso.

Hablamos de la declaracin de Conoce(Juan,x) diciendo predicados, que van a tener una lgica, un orden, como el ejemplo de los hermanos, que aun asi se podran ver que pedro era hermano de juan, y juan de pedro. Conoce(juan, x) Quin conoce a Juan? Con las reglas tenemos: Encontrar una sustitucin, que esto cumpla la verdad. Entonces tenemos una sustitucin, de que juan conoce a juana. Puedo construir mecanismos de preguntas. Metodo de subsuncin Se le concoe de esta forma: Predicado (constante1, constante2)

Predicado(x, constate2)

Predicado (constante1, y)

Predicado(x,y) Ejemplo: Sino podemos llegar a un resultado que es verdadero, entonces supondremos que la sustitucin es falsa. Esto debo solucionarlo en una serie de predicados parfa asi, sacar una sustitucin. Aqu, en el ejercicio, como no le he puesto ningn cuantificador, se asume el cuantificador universal. Es decir, que mayordeedad(x), tabaco(y) ^ Vende (x,y,z) ((es un para todo, porque no tengo cuantificador)) Aqu tengo que crear una constante, que es C1, que tendr 2 condicioens: % Tiene(Juan,y) ^ Cigarrillo(y) Tiene (Juan,C1) Cigarrillo(C1)

Las constantes siempre parten con maysculas y las variables parten con minsculas. Esto es cuando vamos a construir una sintaxis. Explicado de nueco C1: lo que me dicen, la declaracin, es que tiene cigarrillos, no me est diciendo la declaracin formulando la existencia especifica, solamente que % y Tiene(Juan,

y) ^ Cigarrillo(y). aqu creo una constante, que se unificar con Tiene(Juan,C1) y y tienen que ser verdaderas por si solas, y me lo estn dando como conocimiento. Y por ello, tengo 2 proposiciones: Tiene(Juan,C1) Cigarrilo(C1)

Transform esta especificacin en 2 proposiciones. Sigamos Dice, adems Le fueron vendidos por Pedro Entonces: Cigarrillo(x) ^Tiene(Juan, x) => Vende(Pedro, x, Juan) Tambien necesitamos saber que los cigarrillos son tabaco: Cigarrillo(x) = > Tabaco(x)

Y que pasa para efectos de la ley, los escolares son menores de edad: Escolar(y) => MenorDeEdad(x)

Aqu estamos diciendo que Pedro es un criminal. Decimos que cigarrillo es Tabaco. Se sabe que Pedro es mayor de edad: MayorDeEdad(Pedro

Y que cuan es escolar: Escolar(Juan)

Y ahora lo que vamos a hacer, es unificando estas condiciones. La primera iteracin de anlisis, es que la primera permisa no tiene las premisas satisfechas, por el momento no tengo completamente con qu remplazar ac. Pero la premisa 4 satisface con {x/C1} y se aade: Vende(Pedro, C1, Juan

) La idea, ms simple, es construir los predicados que representan el conocimiento que voy adquiriendo, y de las conclusiones que puedo llegar a obtener ms adelante. Ahora, en esta estructura de los cigarrillos EFICIENCIA. Otra alternativa es hacer ENCADENAMIENTO HACIA ATRS. Por ejemplo, si se quera demostrar que Pedro era criminal

Las variables ojal tengan un nico uso dentro de la base de conocimientos. Se declaran cuantificadores, y se ve lo de universales y los otros. SENSORES Y ACTUADORES COMO FUNCIONAN LOS FILTROS MONTECARLO (CUADRITOOS) EXPLICAR COMO FUNCIONA LA CUESTION DE LOS NUMEROS D: Porque quedbamos con un espacio de 4 variables cartman

las herramientas son: Modus ponen: traducen si a=> b, y a, entonces b. puedo crear nuevas sentencias por conocimeintos nuevos y adquiridos. Unificacion: Unir 2 sentencias si la validez puede ser de todo el sistema.