Agentes que razonan de manera Lógica.
El objetivo de esto es implantar agentes basados en conocimiento a los cuales se les considere que poseen un conocimiento de su mundo, y que por ende son capaces de razonar acerca de las acciones a emprender. Para ellos los agentes necesitan conocer muchas cosas: el estado actual del mundo, como inferir propiedades de este que no sean evidentes a través de la percepción, cómo evoluciona el mundo con el paso del tiempo, que es lo que se desea lograr y qué tipo de acciones tomar en torno a las circunstancias. Algunos de los elementos básicos en el diseño de un agente (como el del mundo de Wumpus) son: un lenguaje formal mediante el cual se expresará el conocimiento y diversas formas de realizar el razonamiento utilizando el mismo lenguaje, a el conjunto de estos elementos de le denomina lógica. Un agente basado en el conocimiento. El componente medular de una agente basado en el conocimiento es la Base del Conocimiento o BC el cual es un conjunto de representaciones de ciertos hechos acerca del mundo y a cada una de estas representaciones se les llama oración y a su vez las oraciones se expresan en un lenguaje denominado lenguaje para la representación del conocimiento . Para añadir nuevas oraciones a la BC son necesarias dos tareas las cuales son informar y preguntar , con esto simplemente la BC no puede hacer gran cosa, es mas no podría hacer nada. Decidir
qué hacer en base en base a l o informado por la BC es base del mecanismo de inferencia otro elemento de suma importancia en un agente basado en el conocimiento. Dadas las definiciones de informar y preguntar el agente basado en el conocimiento de ninguna manera es un programa arbitrario para determinar acciones basándose en una variable de estado interna. En todo momento el agente basado en el conocimiento se caracteriza por los siguientes tres niveles: y
El nivel de conocimiento o nivel epistemológico . En este se puede definir un agente basándose en lo que éste sabe.
y
El nivel lógico. Es donde el conocimiento se codifica mediante oraciones.
y
El nivel de implantación. Este opera la arquitectura del agente y es donde se encuentran las representaciones representaciones fís icas de las oraciones oraciones correspondientes a nivel lógico.
Se puede construir un agente basado en el conocimiento informándole a este lo que necesita saber. El programa inicial del agente, antes de que empiece a recibir percepciones, se construye incorporando de una en una todas las oraciones que representen todo lo que el diseñador sabe acerca del ambiente. Si se da el caso de que el lenguaje de representación facilite expresar este conocimiento conocimiento mediante oraciones, el problema de construcción construcción se fa cilita enormemente enormemente y a esto se le conoce como enfoque declarativo de la construcción de un sistema. El ambiente del mundo del Wumpus. El mundo del Wumpus es un ejemplo pleno de motivos para estimular el razonamiento lógico, el Wumpus es un antiguo juego de computadora el cual consiste en un agente que explora cuna cueva en donde hay habitaciones conectadas entre sí por pasadizos. En algún sitio de la cueva habita el Wumpus un monstruo que devorara a todo aquel que entre en su habitación. Además en algunas habitaciones hay insondable precipicios, y la única motivación de dicha travesía es el encontrar una pila de oro. Para los juegos de computadoras contemporáneos el Wumpus resulta demasiado fácil, sin embargo resulta adecuado para campo de prueba de los agentes inteligentes.
Especificación del ambiente. El mundo del Wumpus es una cuadricula circunscripta por muros, en los cuadros hay agentes y objetos, el agente siempre comienza en la esquina inferior izquierda, en la posición [1,1]. La tarea del agente consiste en encontrar el oro, regresar a [1,1] y salir de la cueva. Los agentes logran un buen desempeño en un ambiente singular con solo memorizar las acciones que parecen funcionar en dicho ambiente. En la mayoría de los ambientes hay una manera de que él agente tome sin riesgo el oro. En algunos de los ambientes él agente debe decidir entre regresar con las manos vacías o morir en el intento por obtener el oro. Representación, razonamiento y lógica. El objetivo de la representación del conocimiento es expresar en forma manejable por la computadora, de manera que se le pueda utilizar como un auxiliar para el buen desempeño de los agentes. Un agente para la representación del conocimiento consta de dos aspectos: y
La sintaxis. Explica las posibles configuraciones mediante las cuales se forman las oraciones.
y
La semántica. Determina los hechos del mundo a los que hacen alusión las oraciones. Si tanto la sintaxis como la semántica están definidas de manera precisa podemos decir que el
lenguaje es una lógica. Con base a la sintaxis y la semántica se obtiene el mecanismo de inferencia que servirá al agente que emplee el lenguaje. Lo que deseamos es crear nuevas oraciones que necesariamente son verdaderas, suponiendo que las previas también lo sean. A este tipo de relación que guardan las oraciones se les llama consecuencia o implicación y refleja la relación que tiene un hecho derivado de otro.
Mediante un procedimiento de inferencia se pueden obtener dos cosas: partiendo de la base de conocimiento BC , tal procedimiento permite generar nuevas oraciones que dan a entender que son implicaciones de BC . O bien, dados una base de conocimiento BC y otra oración , informara si es consecuencia de BC o si no lo es. A un procedimiento
de inferencia que genere solo oraciones
implicadas se le denomina procedimiento fidedigno o protector de la verdad . El testimonio de la manera de operar de un procedimiento de inferencia confiable se denomina demostración. Se considera que un procedimiento de inferencia es completo si es capaz de encontrar
toda demostración respectiva de toda oración implicada. Mediante una revisión de la semántica de los lenguajes lógicos se obtiene lo que se conoce como teoría de la demostración del lenguaje, en la que se especifica que los pasos de razonamiento que son confiables. Representación. En un buen lenguaje para representar el conocimiento se combinan las ventajas de los lenguajes naturales y de los lenguajes formales. Debe de ser l o suficientemente expresivo y conciso para que nos permita expresar de manera breve todo lo que hay que decir.
