Class SActionQuerySatisfactionTester
java.lang.Object
org.tweetyproject.action.query.analysis.SActionQuerySatisfactionTester
- All Implemented Interfaces:
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
ConstructorDescriptionSActionQuerySatisfactionTester
(ASPSolver aspsolver) Creates a new instance of this satisfaction tester using the given answer set solver. -
Method Summary
Modifier and TypeMethodDescriptionboolean
isSatisfied
(TransitionSystem transitionSystem, 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.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 Details
-
SActionQuerySatisfactionTester
Creates a new instance of this satisfaction tester using the given answer set solver.- Parameters:
aspsolver
- some ASP solver
-
-
Method Details
-
isSatisfied
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, false otherwise.
-
isSatisfied
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, false otherwise.
-
restoreIllegalCharacters
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.
-