Class SActionQuerySatisfactionTester

java.lang.Object
org.tweetyproject.action.query.analysis.SActionQuerySatisfactionTester
All Implemented Interfaces:
ActionQuerySatisfactionTester

public class SActionQuerySatisfactionTester extends 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 Details

    • 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 Details

    • 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, 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 String restoreIllegalCharacters(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.