GOAL agent programming language

<h2 id="overview">Overview</h2>
<p>The main features of GOAL include:
</p>
<ul><li>Declarative beliefs: Agents use a symbolic, logical language to represent the information they have, and their beliefs or knowledge about the environment they act upon in order to achieve their goals. This <i>knowledge representation language</i> is not fixed by GOAL but, in principle, may be varied according to the needs of the programmer.</li>
<li>Declarative goals: Agents may have multiple goals that specify <i>what</i> the agent wants to achieve at some moment in the near or distant future. Declarative goals specify a state of the environment that the agent wants to establish, they do not specify actions or procedures how to achieve such states.</li>
<li>Blind commitment strategy: Agents commit to their goals and drop goals only when they have been achieved. This commitment strategy, called a <i>blind</i> commitment strategy in the literature, is the <i>default</i> strategy used by GOAL agents. Cognitive agents are assumed to not have goals that they believe are already achieved, a constraint which has been built into GOAL agents by dropping a goal when it has been <i>completely</i> achieved.</li>
<li>Rule-based <a href="/facts/Action_selection/PQPAvJvl">action selection</a>: Agents use so-called <i>action rules</i> to select actions, given their beliefs and goals. Such rules may <i>underspecify</i> the choice of action in the sense that multiple actions may be performed at any time given the action rules of the agent. In that case, a GOAL agent will select an arbitrary enabled action for execution.</li>
<li>Policy-based intention modules: Agents may focus their attention and put all their efforts on achieving a subset of their goals, using a subset of their actions, using only knowledge relevant to achieving those goals. GOAL provides modules to structure action rules and knowledge dedicated to achieving specific goals. Informally, modules can be viewed as policy-based intentions in the sense of <a href="/facts/Michael_Bratman/o8phPqWh">Michael Bratman</a>.</li>
<li>Communication at the <a href="/facts/Knowledge_level/TQ4HAgaf">knowledge level</a>: Agents may communicate with each other to exchange information, and to coordinate their actions. GOAL agents communicate using the knowledge representation language that is also used to represent their beliefs and goals.</li>
<li>Testing: You can also write tests for GOAL.</li></ul>
<h2 id="goal-agent-program">GOAL agent program</h2>
<table>  <tbody><tr><td></td><td></td></tr></tbody><tbody><tr><td>An example blocks world problem</td><td>Another Example: A GOAL Multi-Agent Elevator Controller<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a></td></tr></tbody></table>
<p>A GOAL agent program consists of six different sections, including the <i>knowledge</i>, <i>beliefs</i>, <i>goals</i>, <i>action rules</i>, <i>action specifications</i>, and <i>percept rules</i>, respectively. The knowledge, beliefs and goals are represented in a <a href="/facts/Knowledge_representation/9lnzyILD">knowledge representation</a> language such as <a href="/facts/Prolog/r5h66Qh1">Prolog</a>, <a href="/facts/Answer_set_programming/Qv1BmBWU">Answer set programming</a>, <a href="/facts/SQL/UjQLJcYm">SQL</a> (or <a href="/facts/Datalog/67jbYWDb">Datalog</a>), or the <a href="/facts/Planning_Domain_Definition_Language/755ID27d">Planning Domain Definition Language</a>, for example. Below, we illustrate the components of a GOAL agent program using Prolog.
</p><p>The overall structure of a GOAL agent program looks like:
</p>
main: <agentname> {
  <sections>
}

<p>The GOAL agent code used to illustrate the structure of a GOAL agent is an agent that is able to solve <a href="/facts/Blocks_world/Bq1aDx6J">Blocks world</a> problems. The beliefs of the agent represent the current state of the Blocks world whereas the goals of the agent represent the goal state. The <i>knowledge</i> section listed next contains additional conceptual or domain knowledge related to the Blocks world domain.
</p>
knowledge{
  block(a), block(b), block(c), block(d), block(e), block(f), block(g).
  clear(table).
  clear(X) :- block(X), not(on(Y,X)).
  tower([X]) :- on(X,table).
  tower([X,Y|T]) :- on(X,Y), tower([Y|T]).
}

<p>Note that all the blocks listed in the knowledge section reappear in the <i>beliefs</i> section again as the position of each block needs to be specified to characterize the complete configuration of blocks.
</p>
beliefs{
  on(a,b), on(b,c), on(c,table), on(d,e), on(e,table), on(f,g), on(g,table).
}

<p>All known blocks also are present in the <i>goals</i> section which specifies a goal configuration which reuses all blocks.
</p>
goals{
  on(a,e), on(b,table), on(c,table), on(d,c), on(e,b), on(f,d), on(g,table).
}

<p>A GOAL agent may have multiple goals at the same time. These goals may even be conflicting as each of the goals may be realized at different times. For example, an agent might have a goal to watch a movie in the movie theater and to be at home (afterwards).
</p><p>In GOAL, different notions of goal are distinguished. A primitive goal is a statement that follows from the goal base in conjunction with the concepts defined in the knowledge base. For example, tower([a,e,b]) is a primitive goal and we write goal(tower([a,e,b]) to denote this. Initially, tower([a,e,b]) is also an achievement goal since the agent does not believe that a is on top of e, e is on top of b, and b is on the table. Achievement goals are primitive goals that the agent does not believe to be the case and are denoted by a-goal(tower([a,e,b]). It is also useful to be able to express that a goal has been achieved. goal-a(tower([e,b]) is used to express, for example, that the tower [e,b] has been achieved with block e on top of block b. Both achievement goals as well as the notion of a goal achieved can be defined:
</p>
a-goal(formula) ::= goal(formula), not(bel(formula))
goal-a(formula) ::= goal(formula), bel(formula)

<p>There is a significant literature on defining the concept of an achievement goal in the agent literature (see the references).
</p><p>GOAL is a rule-based programming language. Rules are structured into modules. The <i>main module</i> of a GOAL agent specifies a strategy for selecting actions by means of action rules. The first rule below states that moving block X on top of block Y (or, possibly, the table) is an option if such a move is constructive, i.e. moves the block in position. The second rule states that moving a block X to the table is an option if block X is misplaced.
</p>
main module{
  program{
    if a-goal(tower([X,Y|T])), bel(tower([Y|T])) then move(X,Y).
    if a-goal(tower([X|T])) then move(X,table).
  }
}

<p>Actions, such as the move action used above, are specified using a <a href="/facts/Stanford_Research_Institute_Problem_Solver/jRBHW0T2">STRIPS</a>-style specification of preconditions and postconditions. A <a href="/facts/Precondition/dWbBdG2e">precondition</a> specifies when the action can be performed (is enabled). A <a href="/facts/Postcondition/4tF1Havd">postcondition</a> specifies what the effects of performing the action are.
</p>
actionspec{
  move(X,Y) {
    pre{ clear(X), clear(Y), on(X,Z), not(X=Y) }
    post{ not(on(X,Z)), on(X,Y) }
}

<p>Finally, the <i>event module</i> consists of rules for processing events such as percepts received from the environment. The rule below specifies that for all percepts received that indicate that block X is on block Y, and X is believed to be on top of Z unequal to Y, the new fact on(X,Y) is to be added to the belief base and the atom on(X,Z) is to be removed.
</p>
event module{
  program{
    forall bel( percept(on(X,Y)), on(X,Z), not(Y=Z) ) do insert(on(X,Y), not(on(X,Z))).
  }
}

<h2 id="related-agent-programming-languages">Related agent programming languages</h2>
<p>The GOAL agent programming language is related to but different from other agent programming languages such as <a href="https://wayback.archive-it.org/all/20130302203951/ftp://db.stanford.edu/pub/cstr/reports/cs/tr/91/1389/CS-TR-91-1389.pdf">AGENT0</a>, <a href="/facts/AgentSpeak/A7sqx3a2">AgentSpeak</a>, <a href="/facts/2APL/x6wxx70n">2APL</a>, <a href="https://www.cs.toronto.edu/cogrobo/main/systems/index.html">Golog</a>, <a href="/facts/JACK_Intelligent_Agents/oIckecc8">JACK Intelligent Agents</a>, <a href="https://web.archive.org/web/20090317072231/http://jadex.informatik.uni-hamburg.de/bin/view/About/Overview">Jadex</a>, and, for example, <a href="http://jason.sourceforge.net/">Jason</a>. The distinguishing feature of GOAL is the concept of a <a href="/facts/Declarative_programming/gogtdzcJ">declarative</a> goal. Goals of a GOAL agent describe <i>what</i> an agent wants to achieve, not how to achieve it. Different from other languages, GOAL agents are committed to their goals and only remove a goal when it has been <i>completely</i> achieved. GOAL provides a programming framework with a strong focus on <a href="/facts/Declarative_programming/gogtdzcJ">declarative programming</a> and the <a href="/facts/Reasoning/tcBImN8J">reasoning</a> capabilities required by cognitive agents.
</p>
<h2 id="see-also">See also</h2>
<ul><li><a href="/facts/Agent_communication_language/8n06bjCm">Agent communication language</a></li>
<li><a href="/facts/Autonomous_agent/WDb3UqAS">Autonomous agent</a></li>
<li><a href="/facts/Cognitive_architecture/6EgYFrx5">Cognitive architecture</a></li>
<li><a href="/facts/Declarative_programming/gogtdzcJ">Declarative programming</a></li>
<li><a href="/facts/Practical_reasoning/lNVkg44d">Practical reasoning</a></li>
<li><a href="/facts/Rational_agent/x5dJh18Q">Rational agent</a></li></ul>

Notes
<p>Literature on the notion of a goal:
</p>
<ul><li>Lars Braubach, Alexander Pokahr, Daniel Moldt and Winfried Lamersdorf (2004). Goal Representation for BDI Agent Systems, in: The Second International Workshop on Programming Multiagent Systems.</li>
<li>Philip R. Cohen and Hector J. Levesque (1990). Intention Is Choice with Commitment. Artificial Intelligence 42, 213–261.</li>
<li>Andreas Herzig and D. Longin (2004). C&l intention revisited. In: Proc. of the 9th Int. Conference Principles of Knowledge Representation and Reasoning (KR’04), 527–535.</li>
<li>Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer (2000). Agent Programming with Declarative Goals. In: Proc. of the 7th Int. Workshop on Intelligent Agents VII (ATAL’00), pp. 228–243.</li>
<li>Anand S. Rao and Michael P. Georgeff (1993). Intentions and Rational Commitment. Tech. Rep. 8, <a href="/facts/Australian_Artificial_Intelligence_Institute/mVo2cYAD">Australian Artificial Intelligence Institute</a>.</li>
<li>Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer (2009). Goals in Conflict: Semantic Foundations of Goals in Agent Programming. International Journal of Autonomous Agents and Multi-Agent Systems.</li></ul>
<h2 id="external-links">External links</h2>
<ul><li><a href="https://goalapl.atlassian.net/wiki/">The GOAL Agent Programming Language home</a></li></ul>

<h2 id="references">References</h2>

<ol>
<li id="fn:1"><p>The elevator simulator is originally written by Chris Dailey and Neil McKellar and is available in its original form via http://sourceforge.net/projects/elevatorsim. <a href="http://sourceforge.net/projects/elevatorsim" target="_blank">http://sourceforge.net/projects/elevatorsim</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li>
</ol>

GOAL agent programming language open-in-new

GOAL agent programming language