Class SActionQuerySatisfactionTester

  • All Implemented Interfaces:
    ActionQuerySatisfactionTester

    public class SActionQuerySatisfactionTester
    extends java.lang.Object
    implements ActionQuerySatisfactionTester
    This class provides methods capable of checking if a given transition system satisfies a set of action queries in the action query language s. This is acomplished by a translation of action queries to normal logic programms presented in [1]. [1] Bachelor thesis. Action und Change: Update von Aktionsbeschreibungen by Sebastian Homann. TU Dortmund, 2010.
    Author:
    Sebastian Homann
    • Constructor Summary

      Constructors 
      Constructor Description
      SActionQuerySatisfactionTester​(ASPSolver aspsolver)
      Creates a new instance of this satisfaction tester using the given answer set solver.
    • Method Summary

      Modifier and Type Method Description
      boolean isSatisfied​(TransitionSystem transitionSystem, java.util.Set<ActionQuery> actionQueries)
      Checks whether the given transition system satisfies the given action queries.
      boolean isSatisfied​(TransitionSystem transitionSystem, BeliefBase actionQueries)
      Checks whether the given transition system satisfies the given action queries.
      java.lang.String regainIllegalCharacters​(java.lang.String s)
      This function exists mainly for debug reasons to regain a human readable version of the atoms in a logic program or in a resulting stable model.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • SActionQuerySatisfactionTester

        public SActionQuerySatisfactionTester​(ASPSolver aspsolver)
        Creates a new instance of this satisfaction tester using the given answer set solver.
        Parameters:
        aspsolver - some ASP solver
    • Method Detail

      • isSatisfied

        public boolean isSatisfied​(TransitionSystem transitionSystem,
                                   BeliefBase actionQueries)
        Description copied from interface: ActionQuerySatisfactionTester
        Checks whether the given transition system satisfies the given action queries.
        Specified by:
        isSatisfied in interface ActionQuerySatisfactionTester
        Parameters:
        transitionSystem - the transition system, that will be checked for satisfaction.
        actionQueries - a belief base containing action queries, all of which have to be satisfied by the transition system.
        Returns:
        true iff the transition system satisfies all action queries in the given belief base.
      • isSatisfied

        public boolean isSatisfied​(TransitionSystem transitionSystem,
                                   java.util.Set<ActionQuery> actionQueries)
        Description copied from interface: ActionQuerySatisfactionTester
        Checks whether the given transition system satisfies the given action queries.
        Specified by:
        isSatisfied in interface ActionQuerySatisfactionTester
        Parameters:
        transitionSystem - the transition system, that will be checked for satisfaction.
        actionQueries - a set of action queries, which have to be satisfied by the transition system.
        Returns:
        true iff the transition system satisfies all action queries in the given set.
      • regainIllegalCharacters

        public java.lang.String regainIllegalCharacters​(java.lang.String s)
        This function exists mainly for debug reasons to regain a human readable version of the atoms in a logic program or in a resulting stable model.
        Parameters:
        s - a string
        Returns:
        a human readable version of the atoms in a logic program or in a resulting stable model.