You are on page 1of 10

Agentes basados en el conocimiento Un componente fundamental del agente basado en el conocimiento es la base de conocimiento o KB (de knowledge base) La base

de conocimiento esta formada por un conjunto de sentencias, donde una sentencia es la representacion de un hecho del mundo en un lenguaje de representacion del conocimiento. Un agente basado en el conocimiento necesita mecanismos para introducir sentencias en la KB y para realizar consultas sobre el contenido de la KB. Otro componente fundamental es elmecanismo de inferencia, que debe asegurar que la respuesta a cualquier consulta sobre la KB siga/se derive de lo que ha sido introducido en la KB. El agente se construye anadiendo a la KB sentencias que representan el conocimiento que posee el disenador del problema: enfoque declarativo.
El esquema de un agente basado en el conocimiento generico: function KB-AGENT(percept) returns an action static: KB, a knowledge base t, a counter, initially 0, indicating time TELL(KB, MAKE-PERCEPT-SENTENCE(percept, t)) action ASK(KB, MAKE-ACTION-QUERY(t)) TELL(KB, MAKE-ACTION-SENTENCE(action,t)) tt+1 return action notar que el esquema puede hacer pensar en un agente con estado interno Tell sirve para introducir sentencias y Ask para realizar consultas los detalles del lenguaje de representacion y del mecanismo de inferencia estan ocultos Un agente basado en conocimiento (ABC) es aquel sistema que posee conocimiento de su mundo y que es capaz de razonar sobre las posibles acciones que puede tomar para cambiar el estado de su mundo Componentes de un Agente basado en conocimientos (I) Base de conocimiento (BC): conjunto de sentencias. Cada sentencia se expresa en un lenguaje denominado lenguaje de representacin del conocimiento y representa alguna asercin acerca del mundo. Tareas asociadas y requieren realizar inferencia: DECIR, para aadir sentencias nuevas PREGUNTAR, para preguntar qu se sabe. Componentes de un Agente basado en conocimientos (II) Inicialmente contiene algn conocimiento de antecedentes (conocimiento previo no aprendido) Cada vez que se invoca el programa del agente , se realizan dos cosas: DICE a la base de conocimiento lo que ha percibido. PREGUNTA, a la base de conocimiento qu accin debe ejecutar, luego graba la respuesta. Una vez que se ha elegido la accin el agente graba su eleccin mediante un DECIR y ejecuta la accin. Niveles de un agente Un agente basado en conocimiento obtiene las acciones de acuerdo a un nivel de conocimiento (en el que se especifica lo que el agente sabe y los objetivos que tiene para establecer su comportamiento; es el nivel abstracto, describe qu es lo que el agente sabe; corresponde al dominio del conocimiento El Nivel lgico, e s donde el conocimiento se codifica mediante oraciones o sentencias. Nivel de implementacin, e s el que opera la arquitectura del sistema y dnde se encuentra las representaciones fsicas de las oraciones correspondientes al nivel lgico. Tipos de enfoque para la representacin del conocimiento Enfoque declarativo (saber qu). El conocimiento se representa mediante un conjunto de sentencias junto con unos procedimientos generales que las manipulan E nfoque procedural (saber cmo) , el conocimiento est descrito mediante un conjunto de procedimientos que permiten resolver un problema. Para que un agente tenga xito su diseo debe combinar ambos elementos declarativos y procedurales.

II AGENTES BASADOS EN EL CONOCIMIENTO

Un Agente Basado en Conocimiento (ABC) es aquel sistema que posee conocimiento de su mundo y que es capaz de razonar sobre las posiblesacciones que puede tomar para cambiar el estado de su mundo. El ABC es un conjunto de sentencias, representado mediante un lenguaje de representacin de conocimiento. EL ABC consiste principalmente en: 2.1 Base del conocimiento:

o o o

Es un sistema de oraciones que representan hechos acerca del mundo, expresado en un algn lenguaje de representacin del conocimiento. Cada hecho est representado por una sentencia u oracin Siempre que se ejecuta el programa del agente basado en el conocimiento, sucede dos cosas: El programa informa a la Base de Conocimiento lo que percibe. El programa pregunta a la Base de Conocimiento qu hacer, luego graba la respuesta. La pregunta se responde mediante el razonamiento lgico.

2.2 Motor de inferencia

Deduce nuevas oraciones o sentencias a partir de las oraciones almacenadas en la base de conocimiento y de las nuevas percepciones Adicin de nuevo conocimiento. En la fig. 1 tenemos un esquema que representa el ABC.

Fig. 1 Esquema de representacin del conocimiento 2.3 LENGUAJE DE LA REPRESENTACIN DEL CONOCIMIENTO Virtualmente todos los lenguajes de representacin del conocimiento se basan, de cierta manera, en lgica formal (lgica proposicional, lgica del predicado, lgica temporal) 2.4 LGICA Una lgica es un sistema formal para describir lo que esta sucediendo en un momento determinado y que consta de: Sintaxis : Reglas que explican cmo construir oraciones o sentencias legales Semntica : Cmo las oraciones representan hechos en el mundo. La semntica estudia el significado de los signos lingsticos, esto es, palabras, expresiones y oraciones. Qu signos existen y cules son los que poseen significacin esto es, qu significan para los hablantes, cmo los designan (es decir, de qu forma se refieren a ideas y cosas), y por ltimo, cmo los interpretan los oyentes. - Teora : Reglas para inferir oraciones desde otras oraciones Si la semntica y la sintaxis estn definidas de manera precisa, se dice que el lenguaje es una lgica.

2.4.1 SINTAXIS Un buen lenguaje de representacin de conocimiento debe de combinar las ventajas de los lenguajes naturales (espaol, quechua, ingles, etc) y lenguajes formales(C, pascal, lisp, etc):

Debe ser lo suficiente expresivo y conciso para que nos permita expresar de manera sucinta todo lo que hay que decir.

Debe ser inequvoco (no ambiguo) e independiente del contexto para su interpretacin. Debe ser eficiente en el sentido de que debe existir un procedimiento de inferencia que permita obtener nuevas inferencias a partir de oraciones en nuestro idioma. 2.4.2 SEMNTICA

En lgica, el significado de una oracin es aquello que se afirma del mundo, que el mundo sea de una forma. Una vez que mediante la semntica se interpreta una oracin, sta puede ser cierta o falsa. Una oracin es cierta dentro de una interpretacin determinada si el estado de asuntos que representa es cierta. El significado de una oracin depende tanto de la oracin como del contexto en que se produce.

III LGICA PROPOSICIONAL


La lgica proposicional es una rama de la lgica clsica que estudia las proposiciones o sentencias lgicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto de verdad. La lgica proposicional se preocupa por la manera de representar las cosas. 3.1 Proposicin: se define una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras. 3.2 SINTAXIS DE LA LGICA DE PROPOSICIONAL Los patrones o expresiones de la lgica proposicional se construyen a partir de un alfabeto que consta de los siguientes smbolos:

Las constantes lgicas Verdadero ( Los conectivos lgicos , , , , y

) y Falso (

). Tambin pueden ser V o F

Los smbolos de variables tales como P y Q. Smbolos de puntuacin: parntesis ( ), corchetes [ ] y llaves { } para evitar ambigedades Todas las oraciones se forman combinando los smbolos anteriores mediante ciertas reglas.

Las constantes lgicas Verdadero y Falso constituyen oraciones en s mismas Las variables proposicionales P, Q, R, son oraciones Encerrar entre parntesis una oracin produce tambin una oracin, por ejemplo (P Q). Combinar oraciones con los conectadores lgicos siguientes forma una oracin

Oraciones: son Un conjunto de palabras con sentido gramatical.

La oracin es la mnima unidad comunicacional, con significado completo. La oracin en la lgica, es la unidad de anlisis fundamental. Conjuncin () (y). A la oracin cuyo conector principal es (y) se le llama conjuncin, y a sus partes se les llama coyuntos. Disyuncin (V) (o). A la oracin cuyo conector principal es (o) se le llama disyuncin, y a sus partes se les llama disyuntos.

o o

Implicacin ( ). Una oracin como P R se conoce como implicacin (o condicional), su premisa o antecedente es P y su conclusino consecuente es R. A las implicaciones tambin se les llama reglas o aseveraciones si-entonces. Premisas. Son los antecedentes de una implicacin. Equivalencia. Dos sentencias y son equivalentes lgicamente si es que son verdaderas con el mismo conjunto de hechos. Negacin ( ) (no). A una oracin como P se le llama negacin de P. es el nico de los conectores que funcionan como una sola oracin.

3.3 EJERCICIOS FORMALIZAR LOS RAZONAMIENTOS: 1. " Si el resultado obtenido es superior al previsto en 5 unidades, ser debido a no haber realizado el proceso a la temperatura adecuada o a la existencia de errores en los clculos finales."

Solucin p = Resultado obtenido menor al previsto en 5 unidades. q = Haber realizado el proceso a la temperatura adecuada. r = Existencia de errores en los clculos finales. q rp 2) " El anlisis realizado, innecesario si nos dejamos llevar por la precipitacin, se torna necesario si nos paramos a reflexionar sobre el mensaje que se pretende transmitir." solucin p = Anlisis realizado es necesario. q = Nos dejamos llevar por la precipitacin. r = Nos paramos a reflexionar sobre el mensaje que se pretende transmitir. q pr p 3)" El cncer no lograr curarse a no ser que se logre determinar su causa y se consiga encontrar frmacos adecuados o bien para prevenirlo o para curarlo." solucin p = El cncer lograr curarse. q = Se logra determinar su causa. r = Se consigue encontrar frmacos adecuados para prevenirlo. s = Se consigue encontrar frmacos adecuados para curarlo. q r sp 3.4 SEMNTICA DE LA LGICA DEL PROPOSICIONAL

Una interpretacin asocia cada variable proposicional con una proposicin sobre el mundo. Porque las proposiciones son o verdades o falso, podemos tambin especificar una interpretacin asignando los valores de verdad VERDAD y FALSO directamente a las variables proposicionales, sin importar qu proposicin cada uno denota. Cada conector lgico es definido por una tabla de verdad Dado una interpretacin de las variables proposicionales, nosotros podemos utilizar una tabla de verdad para calcular el valor de verdad de cualquier oracin bajo esa interpretacin En trminos generales, una semntica permite atribuir un significado a las expresiones del lenguaje simblico considerado. En el caso de un lenguaje deprogramacin como C, esta semntica es procedural y consiste en describir el efecto que produce el programa sobre sus estructuras de datos. Para un lenguaje de representacin, lo que interesa es capturar una descripcin del universo modelado. La lgica permite hacer esto asignando un valor de verdad a cada expresin del lenguaje. La semntica de un lenguaje proposicional depende 1. 2. De la interpretacin de los conectivos lgicos, que tienen el mismo significado en todos los dominios, De los valores de verdad asignados a las variables proposicionales, distintos segn la situacin reflejada

3.5 TABLAS DE VERDAD Se emplean en la lgica para determinar los posibles valores de verdad de una expresin o proposicin. O si un esquema de inferencia, como argumento, es formalmente vlido mostrando que, efectivamente, es una tautologa. La tabla de verdad de una sentencia es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituyen la sentencia y el valor de verdad de la sentencia para cada interpretacin. Dado que en el clculo proposicional se opera slo sobre dos valores de verdad, para cualquier expresin existe un nmero finito de valuaciones posibles que se pueden tabular. La tabla de verdad de una expresin con n variables proposicionales tiene 2n filas Semntica

Negacin Consiste en cambiar el valor de verdad de una variable proposicional.

V F

F V

Disyuncin: La sentencia ser verdadera cuando una o ambas variables proposicionales sean verdaderas.

Conjuncin :La sentencia ser verdadera slo cuando ambas variables proposicionales sean verdaderas.

V V F F

V F V F

V F F F

Condicional La sentencia ser verdadera cuando se cumpla si es vlido p entonces lo es q.


p q

V V

V F

V F

F F

V F

V V

Bicondicional La sentencia ser verdadera cuando ambas variables proposicionales sean iguales.
p q

V V F F

V F V F

V F F V

Disyuncin exclusiva La sentencia ser verdadera slo cuando slo una de las dos variables proposicionales sea verdadera, pero no las dos.
P q

V V F F

V F V F

F V V F

3.6 EQUIVALENCIA LGICA Dos formulas A; B se dicen equivalentes (se denota por B AB) si para toda interpretacin I, se cumple que Vi (A)= Vi( B) Teorema : A B si y slo si la frmula A B es vlida A continuacin se presenta una tabla con una serie de equivalencias de uso comn 1. Supresin de Implicacin: 1.1 2. Contraposicin: 2.1 3. Supresin de Doble Implicacin: 3.1 4. Absorcin: 5. Elemento neutro ( identidad) 1. 2. 3. AVA AFA

5.3 A F F 5.4 A V V 6. Complementario- Contradiccin 6.1 A A F 6.2 AA V

FV VF 7. Idempotencia 8. Commutativa 9. Asociativa 10. Distributiva 11. De Morgan 12. Doble Negacin 3.7 VALIDEZ E INFERENCIA Los trminos "razonamiento" e "inferencia" son utilizados para referirse a cualquier proceso mediante el que se obtienen conclusiones. Las tablas de verdad sirven no solo para definir los conectores, sino tambin para probar la validez de las oraciones. Si se desea considerar una oracin, se construye una tabla de verdad con una hilera por cada una de las posibles combinaciones de valores de verdad correspondientes a los signosproposititos de la oracin. Se calcula el valor de verdad de toda la oracin, en cada una de las hileras. Si la oracin es verdadera en cada una de las hileras. La oracin es valida. Las tablas nos manifiestan los valores de verdad de cualquier proposicin, as como el anlisis de los mismos, encontrndonos con los siguientes casos:

Tautologa o validez: Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es V.

Contradiccin: Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F

Contingencia (verdad indeterminada) Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa, o no se tiene suficiente informacin para llegar a una conclusin

Satisfabilidad. Si en la tabla de verdad se obtiene al menos una VERDAD 3.8 EJERCICIOS 1. ((P H) P ) P Solucin

Respuesta: s es valida 2.

Determinar La Validez De La Siguiente oracin compleja Si no llueve salgo al campo. Si salgo al campo respiro. Por tanto, respiro si y slo si no llueve." Respuesta: NO es vlido, puedo salir al campo, lloviendo y respirar. Luego no se deduce que respire si y solo si no llueve.

Si ha nevado ser difcil conducir. Si no es fcil conducir llegar tarde si no salgo temprano. Ha nevado. Luego saldr temprano. Respuesta El razonamiento NO es vlido porque puede darse el caso de NO salir temprano y llegar tarde habiendo nevado y siendo difcil conducir. Cumplindose todas las premisas. 3.9 REGLAS DE INFERENCIA Existen ciertos patrones de inferencia que se presentan una y otra vez, lo que permite establecer de una vez por todas su c onfiabilidad. La regla permite evitar pasar por las tablas de verdad. 3. A partir de una implicacin y la premisa de la implicacin, se puede inferir la conclusin.

4.

Modus ponens o implicacin-Eliminacin: A partir de una conjuncin se puede inferir cuales son los coyuntos(elementos)

5.

Y- Eliminacin: (eliminacin de ^ ) A partir de una lista de oraciones es posible inferir su conjuncin

6.

Y- Introduccin (Introduccin del ^) A partir de una oracin es posible inferir su disyuncin con todo lo dems.

7.

O- Introduccin (Introduccin del ) A partir de una oracin doblemente negada, es posible inferir una oracin positiva

8.

Eliminacin de la doble negacin: A partir de una disyuncin, si uno de los disyuntos es falso, entonces se puede inferir que el otro es verdadero.

9. 10.

Resolucin unitaria resolucin:

Es la mas difcil. Puesto que B no puede ser al mismo tiempo verdadera ni falsa, uno de los otros disyuntos debe ser en una de las premisas. O tambin, que la implicacin es transitiva.

3.10 EJERCICIOS

Utilice la tabla de verdad para determinar para demostrar que la siguiente oracin es valida y que por lo tanto la equivalencia es correcta P^ (q rp ^ q) ( p^ r)]
p q r P ^ (q r) p ^ q) ( p^ r) V F V V V F V V V V V V V V V V V F V F V V V V F F F F F F F F F V F F V V V V F F F F V F V F V F V F F F F F

V V V V V V V F V F

V F V V V V F F F F F F V V F F F F

V V F V F F

F V F F F F

TAUTOLOGIA Por tanto: P^ (q r) [p ^ q) ( p ^ r)], Es vlida y equivalente

Haciendo uso de la lgica equivalente simplificar las siguiente proposicin

( P ^ q) (P^q) P ^ ( q q) ................................R. Distributiva(10.2) P ^ ( V ) .........................R. Complementaria (6.2) P ...................................R. Identidad (5.1)

Haciendo uso de las reglas de inferencia Demostrar que : pqqp 1. p q Premisa 2. q Regla. Eliminacin de ^ (1) 3. p Regla. Eliminacin de ^ (1) 4. q p Regla. Introduccin del 2,3)

Introduccion Los agentes basados en objetivos estan mejor preparados para resolver problemas que los agentes reejos simples Vamos a ver como dotando a los agentes de razonamiento logico pueden obtener un buen desempeno realizando tareas mas difciles Un agente logicoobasado en el conocimientoparte de conocimiento y utiliza el razonamiento logico para decidir las acciones que le llevaran a su objetivo Un agente basado en el conocimiento necesita conocimiento muy variado: sobre el mundo: estado actual, como inferir sus propiedades a partir de percepciones, como evoluciona, ... sobre el objetivo a conseguir sobre las acciones a realizar dependiendo de las circunstancias