Class CActionDescription

  • All Implemented Interfaces:
    java.lang.Iterable<CLaw>, java.util.Collection<CLaw>, BeliefBase

    public class CActionDescription
    extends ActionDescription<CLaw>
    This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.
    Author:
    Sebastian Homann
    • Constructor Detail

      • CActionDescription

        public CActionDescription()
        Creates a new empty action description.
      • CActionDescription

        public CActionDescription​(java.util.Collection<? extends CausalLaw> c)
        Creates a new belief set with the given collection of formulae.
        Parameters:
        c - a collection of formulae.
    • Method Detail

      • ground

        public CActionDescription ground()
        Calculates a new action description containing all ground instances of each law in this action description.
        Returns:
        a new action description containing only ground laws.
      • toDefinite

        public CActionDescription toDefinite()
                                      throws java.lang.IllegalStateException
        Calculates a new action description which descibes the same transition system and contains only definite causal laws.
        Returns:
        a new definite action description.
        Throws:
        java.lang.IllegalStateException - when there is no equivalent definite action description
      • isGround

        public boolean isGround()
        Checks whether this action description contains any non-ground laws.
        Returns:
        true iff each law in this action description is grounded.
      • isDefinite

        public boolean isDefinite()
        Checks whether this action description contains any non-definite laws.
        Returns:
        ture iff each law in this action description is definite.
      • getStaticLaws

        public java.util.Set<StaticLaw> getStaticLaws()
        Returns a set of all static laws contained in this action description.
        Returns:
        a set of all static laws contained in this action description.
      • getDynamicLaws

        public java.util.Set<DynamicLaw> getDynamicLaws()
        Returns a set of all dynamic laws contained in this action description.
        Returns:
        a set of all dynamic laws contained in this action description.
      • toOutputString

        public java.lang.String toOutputString()
        Returns a string representation of this action description in human readable form, which may be written to a file or printed on screen.
        Returns:
        a string representation of this action description.
      • getMinimalSignature

        public Signature getMinimalSignature()
        Description copied from interface: BeliefBase
        Returns the signature of the language of this knowledge base.
        Returns:
        the signature of the language of this knowledge base.