Menu
▾
▴
[Jason-developers] SF.net SVN: jason: [1250] trunk/applications
|
From: <jom...@us...> - 2008-04-24 15:32:44
|
Revision: 1250
http://jason.svn.sourceforge.net/jason/?rev=1250&view=rev
Author: jomifred
Date: 2008-04-24 08:32:33 -0700 (Thu, 24 Apr 2008)
Log Message:
-----------
add abort_scheme in jason-moise
Modified Paths:
--------------
trunk/applications/jason-moise/lib/moise.jar
trunk/applications/jason-moise/src/jmoise/remove_mission.java
trunk/applications/jason-moise/src/jmoise/remove_scheme.java
trunk/applications/jason-team/src/asl/gaucho.asl
trunk/applications/jason-team/src/team-os.xml
Added Paths:
-----------
trunk/applications/jason-moise/src/jmoise/abort_scheme.java
Modified: trunk/applications/jason-moise/lib/moise.jar
===================================================================
(Binary files differ)
Added: trunk/applications/jason-moise/src/jmoise/abort_scheme.java
===================================================================
--- trunk/applications/jason-moise/src/jmoise/abort_scheme.java (rev 0)
+++ trunk/applications/jason-moise/src/jmoise/abort_scheme.java 2008-04-24 15:32:33 UTC (rev 1250)
@@ -0,0 +1,50 @@
+package jmoise;
+
+import jason.asSemantics.TransitionSystem;
+import jason.asSemantics.Unifier;
+import jason.asSyntax.Term;
+
+/**
+
+<p>Organisational action: <b><code>jmoise.abort_scheme( SchId )</code></b>:
+ used by an agent to abort the execution of a scheme.
+ SchId is the identification of the scheme instance.
+ This organisational action does not require that no agent is committed to
+ the scheme, as does .jmoise.remove_scheme.
+
+<p>Conditions to succeed:
+<ul>
+<li>the agent performing the action is the owner of the scheme;</li>
+</ul>
+
+<p>Consequences:
+<ul>
+<li>there is no more responsible groups for the scheme;</li>
+<li>the agents of the scheme are no more obligated to achieve the scheme's goals.</li>
+</ul>
+
+<p>Examples:
+<ul>
+<li> <code>jmoise.abort_scheme(wp0)</code>:
+ removes the scheme identified by wp0 form the organisational entity.</li>
+</ul>
+
+@see jmoise.create_scheme
+@see jmoise.commit_mission
+@see jmoise.remove_mission
+@see jmoise.set_goal_arg
+@see jmoise.set_goal_state
+@see jmoise.add_responsible_group
+@see jmoise.remove_scheme
+@see <a href="http://moise.sourceforge.net/doc/tutorial.pdf">Moise+ Tutorial, chapter for J-Moise+</a>
+
+@author Jomi
+
+*/
+public class abort_scheme extends MoiseBaseIA {
+
+ @Override
+ public Object execute(TransitionSystem ts, Unifier un, Term[] args) throws Exception {
+ return super.execute(ts,un,args);
+ }
+}
Modified: trunk/applications/jason-moise/src/jmoise/remove_mission.java
===================================================================
--- trunk/applications/jason-moise/src/jmoise/remove_mission.java 2008-04-24 15:06:43 UTC (rev 1249)
+++ trunk/applications/jason-moise/src/jmoise/remove_mission.java 2008-04-24 15:32:33 UTC (rev 1250)
@@ -16,7 +16,7 @@
<p>Conditions to succeed:
<ul>
<li>the agent is committed to MissionId in SchId;</li>
-<li>all goals of the mission are satisfied; if a super goal of a mission's goal is
+<li>all achievement goals of the mission are satisfied; if a super goal of a mission's goal is
satisfied, the goal is also considered as satisfied.</li>
</ul>
Modified: trunk/applications/jason-moise/src/jmoise/remove_scheme.java
===================================================================
--- trunk/applications/jason-moise/src/jmoise/remove_scheme.java 2008-04-24 15:06:43 UTC (rev 1249)
+++ trunk/applications/jason-moise/src/jmoise/remove_scheme.java 2008-04-24 15:32:33 UTC (rev 1250)
@@ -18,7 +18,7 @@
<p>Consequences:
<ul>
-<li>there is no more responsible groups for the scheme.</li>
+<li>there is no more responsible groups for the scheme.</li>
</ul>
<p>Examples:
@@ -33,6 +33,8 @@
@see jmoise.set_goal_arg
@see jmoise.set_goal_state
@see jmoise.add_responsible_group
+@see jmoise.abort_scheme
+
@see <a href="http://moise.sourceforge.net/doc/tutorial.pdf">Moise+ Tutorial, chapter for J-Moise+</a>
@author Jomi
Modified: trunk/applications/jason-team/src/asl/gaucho.asl
===================================================================
--- trunk/applications/jason-team/src/asl/gaucho.asl 2008-04-24 15:06:43 UTC (rev 1249)
+++ trunk/applications/jason-team/src/asl/gaucho.asl 2008-04-24 15:32:33 UTC (rev 1250)
@@ -32,7 +32,7 @@
});
.abolish(area(_,_,_,_,_));
jmoise.create_group(team).
-+gsize(Weight,Height)
++gsize(_Weight,_Height)
<- .abolish(area(_,_,_,_,_)).
+group(team,GId)
Modified: trunk/applications/jason-team/src/team-os.xml
===================================================================
--- trunk/applications/jason-team/src/team-os.xml 2008-04-24 15:06:43 UTC (rev 1249)
+++ trunk/applications/jason-team/src/team-os.xml 2008-04-24 15:32:33 UTC (rev 1250)
@@ -5,7 +5,7 @@
<organisational-specification
id="jason-cowboys"
- os-version="0.5"
+ os-version="0.6"
xmlns='http://moise.sourceforge.net/os'
xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance'
@@ -64,9 +64,27 @@
<functional-specification>
+ <scheme id="exploring" >
+ <goal id="find_cows" >
+ <plan operator="parallel">
+ <goal id="goto_near_unvisited" ds="go to the near unvisited location inside the area of the group" type="maintenance"/>
+ <goal id="share_cows" ds="share seen cows with other agents in the scheme" type="maintenance"/>
+ </plan>
+ </goal>
+
+ <mission id="mscouter" >
+ <goal id="share_cows" />
+ </mission>
+ <mission id="mexplorer" min="1">
+ <goal id="goto_near_unvisited" />
+ <goal id="share_cows" />
+ </mission>
+ </scheme>
</functional-specification>
<deontic-specification>
+ <deontic-relation type="obligation" role="explorer" mission="mscouter" />
+ <deontic-relation type="obligation" role="scouter" mission="mexplorer" />
</deontic-specification>
</organisational-specification>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
