Package org.tweetyproject.action.query.analysis

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 accomplished by a translation of action queries to normal logic programs 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 restoreIllegalCharacters​(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, false otherwise.

      • 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, false otherwise.

      • restoreIllegalCharacters

        public java.lang.String restoreIllegalCharacters​(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.