AgentSpeak(L) and ASTRA

Using the ASTRA IDE to write an Agent Program

Step 1: Creating an ASTRA Project To write an ASTRA program, you need to install the ASTRA Eclipse Plugin. Once you have the plugin installed, you should select “File→New→ASTRA Project…” …

ASTRA Example: Belief Update

Belief Update This final example illustrates how AgentSpeak(L) permits the modification of the agents internal state through the belief update plan operators.  The ASTRA equivalent is: 01 agent Uppy { …

ASTRA Example: Belief Queries

The third example below show an ASTRA agent that uses the belief query plan operator.  It also includes an initial belief (as well as an initial goal). 01 agent Query { 02 module …

ASTRA Example: Subgoals

The second example illustrates the use of goals in an AgentSpeak(L) program. The ASTRA equivalent is: 01 agent Subby { 02 module Console C; 03 04 initial !init(); 05 06 …

ASTRA Example: Hello World

At their core, ASTRA programs are executed in exactly the same way as AgentSpeak(L) programs. The main differences come in the syntax, and the anciliary supports, such as modules, multiple inheritance, …

Writing ASTRA Programs

Before we launch into some examples of ASTRA programs, the last thing we need to do is to introduce the overall structure of an ASTRA program.  ASTRA is different form …

Plan Rules in ASTRA

In ASTRA, plan rules are defined using a different syntax to that used in AgentSpeak(L).  Specifically, the syntax adopted in ASTRA attempts to be closer to the syntax used in languages like …

Beliefs, Goals and Events in ASTRA

Beliefs, Goals and Events in ASTRA In terms of beliefs, goals, and events, the main difference is that terms and variables are typed.  The type system employed by ASTRA is based …

ASTRA and AgentSpeak(L)

ASTRA is based upon AgentSpeak(L) in that it provides all of the same basic functionality as AgentSpeak(L) but then augments this basic functionality with  a range of additional features that …

AgentSpeak(L) Example: Belief Update

This final example illustrates how AgentSpeak(L) permits the modification of the agents internal state through the belief update plan operators.  One operator is provided to support the addition of new beliefs …

AgentSpeak(L) Example: Belief Queries

The third example program specifies an AgentSpeak(L) agent that uses the belief query plan operator.  It also includes an initial belief (as well as an initial goal): 01 !init(). 02 is(rem, …

AgentSpeak(L) Example: Subgoals

The second example program illustrates the use of goals (and in particular, subgoals) in AgentSpeak(L) programs. The program itself is a slightly modified version of the Hello World program that moves …

AgentSpeak(L) Example: Hello World

As a first example of AgentSpeak(L) we present the basic hello world program.  This program consists of two statements: an initial goal (line 01) and a plan rule (lines 03-04). As …

Introduction to AgentSpeak(L)

AgentSpeak(L) is an agent programming language, that is based on Belief-Desire-Intention (BDI) theory.  This theory models rational decision making as a process of state manipulation.  The idea is that the …