sl2vocabulary.java

来自「java实现的P2P多agent中间件」· Java 代码 · 共 80 行

/**
 * ***************************************************************
 * JADE - Java Agent DEvelopment Framework is a framework to develop
 * multi-agent systems in compliance with the FIPA specifications.
 * Copyright (C) 2000 CSELT S.p.A.
 * 
 * GNU Lesser General Public License
 * 
 * This library is free software; you can redistribute it and/or
 * modify it under the terms of the GNU Lesser General Public
 * License as published by the Free Software Foundation,
 * version 2.1 of the License.
 * 
 * This library is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 * Lesser General Public License for more details.
 * 
 * You should have received a copy of the GNU Lesser General Public
 * License along with this library; if not, write to the
 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
 * Boston, MA  02111-1307, USA.
 * **************************************************************
 */
package jade.content.lang.sl;

/**
 * The vocabulary of the simbols used in the FIPA SL2 language
 * @author Giovanni Caire - TILAB
 */
public interface SL2Vocabulary extends SL1Vocabulary {
  public static final String         IOTA = "iota";
  public static final String         ANY = "any";
  public static final String         ALL = "all";
  
  public static final String         IMPLIES = "implies";
  public static final String         IMPLIES_LEFT = "left";
  public static final String         IMPLIES_RIGHT = "right";
  
  public static final String         EQUIV = "equiv";
  public static final String         EQUIV_LEFT = "left";
  public static final String         EQUIV_RIGHT = "right";
  
  public static final String         EXISTS = "exists";
  public static final String         EXISTS_WHAT = "what";
  public static final String         EXISTS_CONDITION = "condition";
  
  public static final String         FORALL = "forall";
  public static final String         FORALL_WHAT = "what";
  public static final String         FORALL_CONDITION = "condition";
  
  public static final String         BELIEF = "B";
  public static final String         BELIEF_AGENT = "agent";
  public static final String         BELIEF_CONDITION = "condition";
  
  public static final String         UNCERTAINTY = "U";
  public static final String         UNCERTAINTY_AGENT = "agent";
  public static final String         UNCERTAINTY_CONDITION = "condition";
  
  public static final String         PERSISTENT_GOAL = "PG";
  public static final String         PERSISTENT_GOAL_AGENT = "agent";
  public static final String         PERSISTENT_GOAL_CONDITION = "condition";
  
  public static final String         INTENTION = "I";
  public static final String         INTENTION_AGENT = "agent";
  public static final String         INTENTION_CONDITION = "condition";
  
  public static final String         FEASIBLE = "feasible";
  public static final String         FEASIBLE_ACTION = "action";
  public static final String         FEASIBLE_CONDITION = "condition";
  
  public static final String         ACTION_SEQUENCE = ";";
  public static final String         ACTION_SEQUENCE_FIRST = "first";
  public static final String         ACTION_SEQUENCE_SECOND = "second";
  
  public static final String         ACTION_ALTERNATIVE = "|";
  public static final String         ACTION_ALTERNATIVE_FIRST = "first";
  public static final String         ACTION_ALTERNATIVE_SECOND = "second";
}