Package org.tweetyproject.action.query.analysis

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 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, 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.
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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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.