domain.java

SHOP2 一个人工智能里面关于任务分解和任务规划的系统。JSHOP2是其java版本。

package JSHOP2;

/** Each domain at run time is represented as a class derived from this
 *  abstract class.
 *
 *  @author Okhtay Ilghami
 *  @author <a href="http://www.cs.umd.edu/~okhtay">http://www.cs.umd.edu/~okhtay</a>
 *  @version 1.0.3
*/
public abstract class Domain
{
  /** The axioms in this domain. The array is indexed by first the
   *  predicate each axiom can prove, and second the order the axioms that
   *  prove the same predicate appear in the domain description.
  */
  protected Axiom[][] axioms;

  /** The <code>String</code> names of compound tasks that appear in the
   *  domain description. These <code>String</code>s are only used to print the
   *  task lists, since the compound tasks are mapped to integers at compile
   *  time. The same integers are used to index this array.
  */
  protected String[] compoundTasks;

  /** The <code>String</code> names of constant symbols that appear in the
   *  domain description. These <code>String</code>s are only used to print the
   *  constant symbols, since the constant symbols are mapped to integers at
   *  compile time. The same integers are used to index this array.
  */
  protected String[] constants;

  /** The methods in this domain. The array is indexed by first the compound
   *  task each method can decompose, and second the order the methods that
   *  decompose the same compound task appear in the domain description.
  */
  protected Method[][] methods;

  /** The operators in this domain. The array is indexed by first the primitive
   *  task each operator can achieve, and second the order the operators that
   *  achieve the same primitive task appear in the domain description.
  */
  protected Operator[][] ops;

  /** The <code>String</code> names of primitive tasks that appear in the
   *  domain description. These <code>String</code>s are only used to print the
   *  task lists, since the primitive tasks are mapped to integers at compile
   *  time. The same integers are used to index this array.
  */
  protected String[] primitiveTasks;

  /** The <code>String</code> names of constant symbols that appear in the
   *  problem description. These <code>String</code>s are only used to print
   *  the constant symbols, since the constant symbols are mapped to integers
   *  at compile time. The same integers are used to index this array.
  */
  protected String[] problemConstants;

  /** This function returns the axioms in this domain.
   *
   *  @return
   *          the axioms in this domain.
  */
  public Axiom[][] getAxioms()
  {
    return axioms;
  }

  /** This function returns the <code>String</code> representation of a given
   *  constant symbol that appears in the domain description, the problem
   *  description, or both.
   *
   *  @param idx
   *          the integer equivalent of the constant symbol.
   *  @return
   *          the <code>String</code> representation of the constant symbol.
  */
  public String getConstant(int idx)
  {
    //-- This is when the constant symbol appeared in the domain description.
    if (idx < constants.length)
      return constants[idx];

    //-- This is when the constant symbol did not appear in the domain
    //-- description. The reason it exists is because it appeared in the
    //-- problem description.
    return problemConstants[idx - constants.length];
  }

  /** This function returns an array of the <code>String</code> representations
   *  of all the primitive tasks in the domain description. This list is used
   *  to print the plans after they are found.
   *
   *  @return
   *          the array of <code>String</code> representations of the primitive
   *          tasks in the domain.
  */
  public String[] getPrimitiveTasks()
  {
    return primitiveTasks;
  }

  /** This function sets the array of <code>String</code> representations of
   *  constant symbols that do not appear in the domain description but in the
   *  planning problem that is being solved.
   *
   *  @param inp
   *          the array of <code>String</code> representations of constant
   *          symbols.
  */
  public void setProblemConstants(String[] inp)
  {
    problemConstants = inp;
  }
}