net.sf.tweety.action.description.analysis

Class CActionDescriptionConsistencyTester

java.lang.Object

net.sf.tweety.action.description.analysis.CActionDescriptionConsistencyTester

All Implemented Interfaces:

ActionDescriptionConsistencyTester<CLaw>, net.sf.tweety.logics.commons.analysis.ConsistencyTester<ActionDescription<CLaw>>

public class CActionDescriptionConsistencyTester
extends Object
implements ActionDescriptionConsistencyTester<CLaw>

This class is able to check, whether a given action description in the action language C is consistent with regards to one simple consistency requirement: The transition system described by the action description has at least one state. This check is accomplished using the CTransitionSystemCalculator and thus an answer set solver.

Author:

Sebastian Homann, Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
CActionDescriptionConsistencyTester(net.sf.tweety.lp.asp.reasoner.ASPSolver aspsolver) Creates a new consistency tester which will use the given answer set solver.

Method Summary

Modifier and Type	Method and Description
boolean	isConsistent(ActionDescription<CLaw> causalRules) Checks whether the given set of causal rules is consistent.
boolean	isConsistent(CActionDescription actionDescription) Checks, whether the given action description in the action language C is consistent.

Methods inherited from class java.lang.Object

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

Constructor Detail

CActionDescriptionConsistencyTester

public CActionDescriptionConsistencyTester(net.sf.tweety.lp.asp.reasoner.ASPSolver aspsolver)

Creates a new consistency tester which will use the given answer set solver.

Parameters:

aspsolver -

Method Detail

isConsistent

public boolean isConsistent(CActionDescription actionDescription)

Checks, whether the given action description in the action language C is consistent.

Parameters:

actionDescription - an action description.

Returns:

true iff the action description is consistent.

isConsistent

public boolean isConsistent(ActionDescription<CLaw> causalRules)

Description copied from interface: ActionDescriptionConsistencyTester

Checks whether the given set of causal rules is consistent.

Specified by:

isConsistent in interface ActionDescriptionConsistencyTester<CLaw>

Specified by:

isConsistent in interface net.sf.tweety.logics.commons.analysis.ConsistencyTester<ActionDescription<CLaw>>

Parameters:

causalRules - a set of causal rules.

Returns:

true iff the given set of causal rules is consistent.