Jason es un intérprete del lenguaje AgentSpeak (Bordini) para desarrollar agentes BDI.
Básicamente, las preferencias se representan mediante literales, que pueden estar anotados (ej: busy(john)[expires(autum)] ). Algunas anotaciones tienen un uso especial:
- perceptual [source(perception)]
- comunicación [source(nombre del agente)]
- notas mentales [source(self)]
Los objetivos pueden ser
- achievement goals , son condiciones que se quieren alcanzar y están marcados con !
- test goals, para comprobar el conocimiento actual (marcado con ?)
Los cursos de acción se establecen mediante planes. Están formados por
- un evento disparador (cambio en las creencias u objetivos, 6 en total)
- el cuerpo del plan, formado por acciones sobre el entorno, subobjetivos que se deben alcanzar (achievement goals) y también test goals, notas mentales (modificación de creencias), acciones internas (no modifican el entorno), expresiones y etiquetas de planes
El ciclo de razonamiento es el típico ciclo de BDI (me lo salto).
En cuanto a la ejecución de los planes, es capaz de detectar fallos en el plan cuando alguno de los objetivos no se puede cumplir. Si se han definido acciones correctivas para uno de esos objetivos, se buscan puntos de restauración a partir de los cuales se puedan invocar a las acciones alternativas para tratar de continuar.
Básicamente: se ha hecho un envoltorio que permite ejecutar sobre mgx/thomas agentes programados en Jason.