net.sf.tweety.action.description

Class CTransitionSystemCalculator

java.lang.Object

net.sf.tweety.action.description.CTransitionSystemCalculator

public class CTransitionSystemCalculator
extends Object

This class calculates the transition system as it is described by an action description in the action language C using extended logic programming with an approach from: Representing Transition Systems by Logic Programs. by Vladimir Lifschitz and Hudson Turner, LPNMR '99: Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning. Pages 92-106, 1999.

Author:

Sebastian Homann, Tim Janus (modifictions for asp library)

Constructor Summary

Constructors

Constructor and Description
CTransitionSystemCalculator(net.sf.tweety.lp.asp.solver.AspInterface aspsolver) Creates a new transition system calculator with the given interface to an answer set solver.

Method Summary

Modifier and Type	Method and Description
Set<State>	calculateStates(CActionDescription actionDescription, ActionSignature signature) calculates the set of all states of the transition system described by an action description.
TransitionSystem	calculateTransitionSystem(CActionDescription actionDescription, ActionSignature signature) Calculates a transition system as described by the given action description using all symbols in the given action signature.
String	getLpT(CActionDescription d, ActionSignature signature, int T) Calculates an extended logic programm lp_T(D) for a given action description D and a parameter T, which corresponds to the length of histories in the transition system described by D.

Methods inherited from class java.lang.Object

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

Constructor Detail

CTransitionSystemCalculator

public CTransitionSystemCalculator(net.sf.tweety.lp.asp.solver.AspInterface aspsolver)

Creates a new transition system calculator with the given interface to an answer set solver.

Parameters:

aspsolver -

Method Detail

calculateTransitionSystem

public TransitionSystem calculateTransitionSystem(CActionDescription actionDescription,
                                                  ActionSignature signature)
                                           throws IOException

Calculates a transition system as described by the given action description using all symbols in the given action signature.

Parameters:

actionDescription - an action description.

signature - an action signature.

Returns:

a transition system.

Throws:

IOException

IllegalArgumentException - is thrown, when the given action description is not definite, as this method only works for definite action descriptions.

calculateStates

public Set<State> calculateStates(CActionDescription actionDescription,
                                  ActionSignature signature)
                           throws IOException

calculates the set of all states of the transition system described by an action description.

Parameters:

actionDescription - an action description.

signature - an action signature.

Returns:

the set of all states of the transition system described by an action description.

Throws:

IOException

IllegalArgumentException - is thrown, when the given action description is not definite.

getLpT

public String getLpT(CActionDescription d,
                     ActionSignature signature,
                     int T)

Calculates an extended logic programm lp_T(D) for a given action description D and a parameter T, which corresponds to the length of histories in the transition system described by D. See "Representing Transition Systems by Logic Programs." for more information.

Parameters:

d - an action description.

signature - an action signature.

T - length of histories of the transition system of D, that correspond to answer sets of lp_T(D).

Returns:

an extended logic program.