Resumen agentes y multiagentes

Programación de Agentes y Sistemas Multi-Agentes
Tarea 1 Miguel Betancourt Hernández Departamento de Inteligencia Artificial Universidad Veracruzana Facultad de Física e Inteligencia Artificial Sebastián Camacho No 5, Xalapa, Ver., México 91000 22 de mayo de 2010
1. Basados en el artículo de Wooldridge y Jennings. Intelligent Agents: Theory and Practice. En Knowledge Engineering Review 10(2),1995, expliquen y ejemplifiquen los conceptos de teoría de agente, arquitectura de agente y lenguaje de agente. Tras la lectura del artículo ¿Cuales consideran que son los principales temas de la investigación multiagentes? Expliquen. (25 puntos) La noción de agente es central en la Inteligencia Artificial. Existen dos usos del término agente: el débil y el fuerte. Por una parte, el débil denota unsistema de computadora basado en hardware y software con propiedades tales como autonomía, habilidades sociales, reactividad, y pro-actividad; por otra parte, la noción fuerte hace referencia a conceptualizarlos e implementarlos usando conceptos aplicados a los humanos como conocimientos, creencias, intenciones, obligaciones, entro otros. Para entender lo que es un agente se identifican trespuntos: 1) Teoría de agente, 2) Arquitectura de agente y 3) Lenguaje de agentes.

Teoría de agente El término teoría de agente, se refiere a las especificaciones de un agente, los investigadores que estudian las teorías de agentes desarrollan formalismos para representar las propiedades de los agentes. Una pregunta importante que se plantea es cómo conceptualizar a los agentes. Por ejemplo, Dennettvio a los agentes como sistemas intencionales haciendo uso de la psicología popular donde el comportamiento humano se predice y explica a través de la atribución de actitudes como querer, creer, esperar, temer, entre otros. De esta forma acuñando el término de sistema intencional para describir entidades donde el comportamiento puede ser predicho atribuyendo creencias, deseos y perspicaciaracional. Por otra parte, Shardlow define que un agente es un sistema que es más conveniente describir por una postura intencional. Considera actitudes para representar agentes dividiéndolas en dos categorías información de actitudes: 1) información que tiene el agente del mundo que ocupa y, 2) pro-actitudes, es decir, la forma de guiar las acciones del agente.

De acuerdo con Konolige, existen dosproblemas a ser direccionados en el desarrollo de formalismos lógicos para nociones intencionales: sintáctico y semántico. Cualquier formalismo puede ser caracterizado en términos de dos atributos independientes: el lenguaje de formulación y el modelo semántico. Por una parte, el problema sintáctico tiene dos enfoques: el lenguaje modal y el metalenguaje; por otra parte, el problema semántico tienetambién dos enfoques: 1) el de mundos posibles adoptando posibles mundos semánticos donde el agente tienes creencias, conocimientos y metas y 2) el del problema de omnisciencia lógica que implica que el agente razone perfectamente. El modelo de mundos posibles para lógicas de conocimiento y creencia fue originalmente propuesto por Hintikka acuñando el término de alternativas epistémicas paradescribir los posibles mundos dados las creencias. Para mostrar cómo los posibles mundos pueden ser incorporados al marco de trabajo semántico de la lógica, la lógica epistémica se formula usando la lógica modal usando la semántica de Kripke la cual esencialmente es la lógica proposicional clásica pero añadiendo dos operadores: necesariamente y posiblemente. La semántica de las conectivas modales se daintroduciendo una relación de accesibilidad en los modelos para el lenguaje. Esta relación define cuales mundos son considerados accesibles para cada uno de los otros mundos. Se identifican 4 axiomas: T (corresponde a una relación reflexiva de accesibilidad), D (relación de accesibilidad serial), 4 (relación de accesibilidad transitiva también llamado axioma de introspección positiva) y 5...