Thread: [Jason-developers] SF.net SVN: jason:[1398] trunk (Page 2)

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Revision: 1398
          http://jason.svn.sourceforge.net/jason/?rev=1398&view=rev
Author:   jomifred
Date:     2008-10-20 14:12:34 +0000 (Mon, 20 Oct 2008)

Log Message:
-----------
start a new example in jmoise

Modified Paths:
--------------
    trunk/src/jason/architecture/AgArch.java
    trunk/src/jason/asSyntax/ASSyntax.java
    trunk/src/jason/asSyntax/PlanBodyImpl.java
    trunk/src/jason/asSyntax/VarTerm.java

Added Paths:
-----------
    trunk/applications/jason-moise/example/moise-tutorial/
    trunk/applications/jason-moise/example/moise-tutorial/jojOS.xml
    trunk/applications/jason-moise/example/moise-tutorial/lucio.asl
    trunk/applications/jason-moise/example/moise-tutorial/marcos.asl
    trunk/applications/jason-moise/example/moise-tutorial/orgManager.asl
    trunk/applications/jason-moise/example/moise-tutorial/src/
    trunk/applications/jason-moise/example/moise-tutorial/src/gui/
    trunk/applications/jason-moise/example/moise-tutorial/src/gui/OrgAgentGUI.java
    trunk/applications/jason-moise/example/moise-tutorial/src/gui/list_bels.java
    trunk/applications/jason-moise/example/moise-tutorial/tutorial.mas2j

Added: trunk/applications/jason-moise/example/moise-tutorial/jojOS.xml
===================================================================

--- trunk/applications/jason-moise/example/moise-tutorial/jojOS.xml	                        (rev 0)
+++ trunk/applications/jason-moise/example/moise-tutorial/jojOS.xml	2008-10-20 14:12:34 UTC (rev 1398)
@@ -0,0 +1,126 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<?xml-stylesheet href="os.xsl" type="text/xsl" ?>
+
+<organisational-specification 
+
+    id="joj"
+    os-version="0.6"
+  
+    xmlns='http://moise.sourceforge.net/os'
+    xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance'
+    xsi:schemaLocation='http://moise.sourceforge.net/os
+                       http://moise.sourceforge.net/xml/os.xsd'>
+    
+    <structural-specification>
+        <role-definitions>
+            <role id="player" />
+            <role id="coach" />
+            <role id="middle">     <extends role="player"/> </role>
+            <role id="leader">     <extends role="player"/> </role>
+            <role id="back">       <extends role="player"/> </role>
+            <role id="goalkeeper"> <extends role="back"/>   </role>
+            <role id="attacker">   <extends role="player"/> </role>
+        </role-definitions>
+
+        <group-specification id="team">
+            <roles>
+                <role id="coach" min="1" max="2"/>
+            </roles>
+            <links>
+                <link from="leader" to="player" type="authority" 
+                      scope="inter-group" extends-sub-groups="true" bi-dir="false"/>
+                <link from="coach"  to="player" type="authority" 
+                      scope="inter-group" extends-sub-groups="true" bi-dir="false"/>
+                <link from="player" to="player" type="communication" 
+                      scope="inter-group" extends-sub-groups="true" bi-dir="false"/>
+                <link from="player" to="coach" type="communication" 
+                      scope="inter-group" extends-sub-groups="true" bi-dir="false"/>
+            </links>
+            <sub-groups>
+                
+                <group-specification id="attack" min="1" max="1">
+                    <roles>
+                        <role id="middle"   min="5" max="5" />
+                        <role id="leader"   min="0" max="1"/>
+                        <role id="attacker" min="2" max="2" />
+                    </roles>
+                    <formation-constraints>
+                        <compatibility from="middle" to="leader" type="compatibility" 
+                                       scope="intra-group" extends-sub-groups="false" 
+                                       bi-dir="true"/>
+                    </formation-constraints>
+                </group-specification>
+                
+                <group-specification id="defense" min="1" max="1">
+                    <roles>
+                        <role id="leader"     min="0" max="1" />
+                        <role id="goalkeeper" min="1" max="1" />
+                        <role id="back"       min="3" max="3" />
+                    </roles>
+                    <links>
+                        <link from="goalkeeper" to="back" type="authority" 
+                              scope="intra-group" extends-sub-groups="false" 
+                              bi-dir="false"/>
+                    </links>
+                    <formation-constraints>
+                        <compatibility from="back" to="leader" type="compatibility"  
+                                       scope="intra-group" extends-sub-groups="false" 
+                                       bi-dir="true"/>
+                    </formation-constraints>
+                </group-specification>
+            </sub-groups>
+            
+            <formation-constraints>
+             	<!-- sub-groups scope cardinality -->
+                <cardinality min="1" max="1" object="role" id="leader"/>
+            </formation-constraints>
+        </group-specification>
+    </structural-specification>
+    
+    
+    <functional-specification>
+        <scheme id="sideAttack" >
+            <goal id="scoreGoal" min="1">
+              <plan operator="sequence">
+                <goal id="g1" min="1" ds="get the ball" />
+                <goal id="g2" ds="to be well placed">
+                  <plan operator="parallel">
+                    <goal id="g7" min="1" ds="go toward the opponent's field" />
+                    <goal id="g8" min="1" ds="be placed in the middle field" />
+                    <goal id="g9" min="1" ds="be placed in the opponent's goal area" />
+                  </plan>
+                </goal>                
+                <goal id="g3" min="1" ds="kick the ball to the m2Ag" >
+                  <argument id="M2Ag" />
+                </goal>
+                <goal id="g4" min="1" ds="go to the opponent's back line" />
+                <goal id="g5" min="1" ds="kick the ball to the goal area" />
+                <goal id="g6" min="1" ds="shot at the opponent's goal" />
+              </plan>
+            </goal>
+            
+            <mission id="m1" min="1" max="1">
+                <goal id="g1" />
+                <goal id="g3" />
+                <goal id="g7" />
+            </mission>
+            <mission id="m2" min="1" max="1">
+                <goal id="g8" />
+                <goal id="g4" />
+                <goal id="g5" />
+            </mission>
+            <mission id="m3" min="1" max="1">
+                <goal id="g9" />
+                <goal id="g6" />
+            </mission>
+        </scheme>
+    </functional-specification>
+
+    <deontic-specification>
+        <deontic-relation type="permission" role="back"     mission="m1" />
+        <deontic-relation type="obligation" role="middle"   mission="m2" />
+        <deontic-relation type="obligation" role="attacker" mission="m3" />
+    </deontic-specification>
+</organisational-specification>
+

Added: trunk/applications/jason-moise/example/moise-tutorial/lucio.asl
===================================================================
--- trunk/applications/jason-moise/example/moise-tutorial/lucio.asl	                        (rev 0)
+++ trunk/applications/jason-moise/example/moise-tutorial/lucio.asl	2008-10-20 14:12:34 UTC (rev 1398)
@@ -0,0 +1,4 @@
+// the agent is controled by GUI
+
++!do(X) <- .print("doing ",X); X; gui.list_bels.
+

Added: trunk/applications/jason-moise/example/moise-tutorial/marcos.asl
===================================================================
--- trunk/applications/jason-moise/example/moise-tutorial/marcos.asl	                        (rev 0)
+++ trunk/applications/jason-moise/example/moise-tutorial/marcos.asl	2008-10-20 14:12:34 UTC (rev 1398)
@@ -0,0 +1,4 @@
+// the agent is controled by GUI
+
++!do(X) <- .print("doing ",X); X; gui.list_bels.
+

Added: trunk/applications/jason-moise/example/moise-tutorial/orgManager.asl
===================================================================
--- trunk/applications/jason-moise/example/moise-tutorial/orgManager.asl	                        (rev 0)
+++ trunk/applications/jason-moise/example/moise-tutorial/orgManager.asl	2008-10-20 14:12:34 UTC (rev 1398)
@@ -0,0 +1 @@
+/* nothing here, everything is implemented in the arhitecture */
\ No newline at end of file

Added: trunk/applications/jason-moise/example/moise-tutorial/src/gui/OrgAgentGUI.java
===================================================================
--- trunk/applications/jason-moise/example/moise-tutorial/src/gui/OrgAgentGUI.java	                        (rev 0)
+++ trunk/applications/jason-moise/example/moise-tutorial/src/gui/OrgAgentGUI.java	2008-10-20 14:12:34 UTC (rev 1398)
@@ -0,0 +1,143 @@
+package gui;
+
+import jason.JasonException;
+import jason.asSemantics.Intention;
+import jason.asSyntax.ASSyntax;
+import jason.asSyntax.Literal;
+import jason.asSyntax.Term;
+import jason.asSyntax.parser.ParseException;
+import jason.mas2j.ClassParameters;
+import jason.runtime.Settings;
+
+import java.awt.BorderLayout;
+import java.awt.FlowLayout;
+import java.awt.event.ActionEvent;
+import java.awt.event.ActionListener;
+import java.awt.event.ItemEvent;
+import java.awt.event.ItemListener;
+
+import javax.swing.BorderFactory;
+import javax.swing.JButton;
+import javax.swing.JComboBox;
+import javax.swing.JFrame;
+import javax.swing.JPanel;
+import javax.swing.JScrollPane;
+import javax.swing.JTextArea;
+import javax.swing.JTextField;
+import javax.swing.SwingUtilities;
+import javax.swing.border.TitledBorder;
+
+import jmoise.OrgAgent;
+
+public class OrgAgentGUI extends OrgAgent {
+
+    @Override
+    public void initAg(String agClass, ClassParameters bbPars, String asSrc, Settings stts) throws JasonException {
+        super.initAg(agClass, bbPars, asSrc, stts);
+        startGUI();
+    }
+
+    @Override
+    public void stopAg() {
+        super.stopAg();
+        frame.setVisible(false);
+    }
+    
+    JTextArea bels = new JTextArea(20,50);
+    JTextField args = new JTextField(30);
+    JFrame frame;
+    
+    String[][] actions = { { "create_group", "spec [,superGrId]" },
+                           { "remove_group", "groupID" },
+                           { "adopt_role",   "role,groupId" },
+                           { "remove_role",  "role,groupId" }
+    };
+    
+    protected void startGUI() {
+        
+        // top
+        JScrollPane pbb = new JScrollPane(bels);
+        pbb.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Belief Base", TitledBorder.LEFT, TitledBorder.TOP));
+        listBels();
+        
+        // south
+        //control.add(new JLabel("Organisational action: "));
+        
+        final JComboBox actionsCB = new JComboBox();
+        for (String[] a: actions) {
+            actionsCB.addItem(a[0]);
+        }
+        actionsCB.addItemListener(new ItemListener() {
+            public void itemStateChanged(ItemEvent ievt) {
+                int a = actionsCB.getSelectedIndex();
+                args.setText(getInternalAction(a));
+            }            
+        });
+        
+        args.setText(getInternalAction(0));
+        
+        JButton doBT = new JButton("Do");
+        doBT.addActionListener(new ActionListener() {
+            public void actionPerformed(ActionEvent e) {
+                SwingUtilities.invokeLater(new Runnable() {
+                    public void run() {
+                        executeAction(args.getText());
+                    }
+                });
+            }
+        });
+        args.addActionListener(new ActionListener() {
+            public void actionPerformed(ActionEvent e) {
+                SwingUtilities.invokeLater(new Runnable() {
+                    public void run() {
+                        executeAction(args.getText());
+                    }
+                });
+            }
+        });
+        
+        JPanel control = new JPanel(new FlowLayout());
+        control.setBorder(BorderFactory.createTitledBorder(BorderFactory.createEtchedBorder(), "Actions", TitledBorder.LEFT, TitledBorder.TOP));
+        control.add(actionsCB);
+        control.add(args);
+        control.add(doBT);
+        
+        
+        frame = new JFrame(":: "+getAgName()+" interface ::");
+        frame.getContentPane().setLayout(new BorderLayout());
+        frame.getContentPane().add(BorderLayout.CENTER, pbb);
+        frame.getContentPane().add(BorderLayout.SOUTH, control);
+        
+        frame.pack();
+        frame.setVisible(true);
+    } 
+
+    private String getInternalAction(int i) {
+        return "jmoise."+actions[i][0] + "(" + actions[i][1] + ")";
+    }
+    
+    protected void executeAction(String actionText) {
+        bels.setText("Doing: "+ actionText);
+        try {
+            Term ia = ASSyntax.parsePlanBody(actionText);
+            Literal action = ASSyntax.createLiteral("do", ia);
+            getTS().getC().addAchvGoal(action, Intention.EmptyInt);
+            getArchInfraTier().wake();
+        } catch (ParseException e) {
+            bels.setText("Error parsing "+actionText+" as an Jason internal action!\n"+e);
+        } catch (Exception e) {
+            bels.setText("Error performing action "+actionText+": "+e);
+            e.printStackTrace();
+        }
+    }
+    
+    public void listBels() {
+        bels.setText("");
+        for (Literal b: getTS().getAg().getBB()) {
+            bels.append(b+"\n");
+        }
+    }
+    
+    
+    
+}

Added: trunk/applications/jason-moise/example/moise-tutorial/src/gui/list_bels.java
===================================================================
--- trunk/applications/jason-moise/example/moise-tutorial/src/gui/list_bels.java	                        (rev 0)
+++ trunk/applications/jason-moise/example/moise-tutorial/src/gui/list_bels.java	2008-10-20 14:12:34 UTC (rev 1398)
@@ -0,0 +1,16 @@
+package gui;
+
+import jason.asSemantics.DefaultInternalAction;
+import jason.asSemantics.TransitionSystem;
+import jason.asSemantics.Unifier;
+import jason.asSyntax.Term;
+
+public class list_bels extends DefaultInternalAction {
+
+    @Override
+    public Object execute(TransitionSystem ts, Unifier un, Term[] args) throws Exception {
+        OrgAgentGUI arch = (OrgAgentGUI)ts.getUserAgArch();
+        arch.listBels();
+        return true;
+    }
+}

Added: trunk/applications/jason-moise/example/moise-tutorial/tutorial.mas2j
===================================================================
--- trunk/applications/jason-moise/example/moise-tutorial/tutorial.mas2j	                        (rev 0)
+++ trunk/applications/jason-moise/example/moise-tutorial/tutorial.mas2j	2008-10-20 14:12:34 UTC (rev 1398)
@@ -0,0 +1,12 @@
+MAS write_paper {
+   infrastructure: Centralised
+   agents:
+       orgManager [osfile="jojOS.xml",gui=yes] 
+                  agentArchClass jmoise.OrgManager;
+
+       marcos      agentArchClass gui.OrgAgentGUI;
+       lucio       agentArchClass gui.OrgAgentGUI;
+
+   classpath: "../../lib/moise.jar";"../../lib/jmoise.jar";
+}
+

Modified: trunk/src/jason/architecture/AgArch.java
===================================================================
--- trunk/src/jason/architecture/AgArch.java	2008-10-19 19:39:24 UTC (rev 1397)
+++ trunk/src/jason/architecture/AgArch.java	2008-10-20 14:12:34 UTC (rev 1398)
@@ -140,7 +140,10 @@
     
     /** Gets the agent's name */
     public String getAgName() {
-        return archTier.getAgName();
+        if (archTier == null)
+            return "no-named";
+        else
+            return archTier.getAgName();
     }
 
     /** Sends a Jason message */

Modified: trunk/src/jason/asSyntax/ASSyntax.java
===================================================================
--- trunk/src/jason/asSyntax/ASSyntax.java	2008-10-19 19:39:24 UTC (rev 1397)
+++ trunk/src/jason/asSyntax/ASSyntax.java	2008-10-20 14:12:34 UTC (rev 1398)
@@ -153,4 +153,8 @@
         return (LogicalFormula)new as2j(new StringReader(sExpr)).log_expr();
     }
 
+    /** creates a new plan's body */
+    public static PlanBody parsePlanBody(String sExpr) throws ParseException {
+        return (PlanBody)new as2j(new StringReader(sExpr)).plan_body();
+    }
 }

Modified: trunk/src/jason/asSyntax/PlanBodyImpl.java
===================================================================
--- trunk/src/jason/asSyntax/PlanBodyImpl.java	2008-10-19 19:39:24 UTC (rev 1397)
+++ trunk/src/jason/asSyntax/PlanBodyImpl.java	2008-10-20 14:12:34 UTC (rev 1398)
@@ -56,15 +56,25 @@
     }
     
     public BodyType getBodyType() {
-        return formType;
+        if (term instanceof VarTerm) { // do not use .isVar
+            return ((VarTerm)term).getBodyType();
+        } else {
+            return formType;
+        }
     }
     public void setBodyType(BodyType bt) {
         formType = bt;
     }
     
     public Term getBodyTerm() {
+        if (term instanceof VarTerm) {
+            VarTerm v = (VarTerm)term;
+            if (v.hasValue())
+                return v.getValue();
+        }
         return term;
     }
+    
     public void setBodyTerm(Term t) {
         term = t;
     }

Modified: trunk/src/jason/asSyntax/VarTerm.java
===================================================================
--- trunk/src/jason/asSyntax/VarTerm.java	2008-10-19 19:39:24 UTC (rev 1397)
+++ trunk/src/jason/asSyntax/VarTerm.java	2008-10-20 14:12:34 UTC (rev 1398)
@@ -904,6 +904,8 @@
     public BodyType getBodyType() {
         if (value != null && getValue() instanceof PlanBody)
             return ((PlanBody) getValue()).getBodyType();
+        else if (value != null && getValue().isInternalAction())
+            return BodyType.internalAction;
         else
             return BodyType.none;
     }


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.




Thread: [Jason-developers] SF.net SVN: jason:[1398] trunk (Page 2)

jason-developers