Agentes que razonan de manera Lógica

5/12/2018 Agentes que razonan de manera Lógica - slidepdf.com

http://slidepdf.com/reader/full/agentes-que-razonan-de-manera-logica 1/3

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 tomaren 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 lo 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 fís icas de las 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 mediante oraciones, el problema de construcción se facilita 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 oracionesimplicadas 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 lo suficientemente expresivo y conciso para

que nos permita expresar de manera breve todo lo que hay que decir.

Agentes que razonan de manera Lógica

Documents

Transcript of Agentes que razonan de manera Lógica