Class SActionQuerySatisfactionTester
- java.lang.Object
-
- net.sf.tweety.action.query.analysis.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.
-
-
-
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 interfaceActionQuerySatisfactionTester
- 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 interfaceActionQuerySatisfactionTester
- 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.
-
-