/**
* ***************************************************************
* 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 SL language
* @author Giovanni Caire - TILAB
*/
public interface SLVocabulary
//#MIDP_EXCLUDE_BEGIN
extends SL2Vocabulary {
//#MIDP_EXCLUDE_END
/*#MIDP_INCLUDE_BEGIN
extends SL0Vocabulary {
// SL1 operators
public static final String AND = "and";
public static final String AND_LEFT = "left";
public static final String AND_RIGHT = "right";
public static final String OR = "or";
public static final String OR_LEFT = "left";
public static final String OR_RIGHT = "right";
public static final String NOT = "not";
public static final String NOT_WHAT = "what";
// SL2 operators
public static final String IOTA = "iota";
public static final String ANY = "any";
public static final String ALL = "all";
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";
#MIDP_INCLUDE_END*/
}