net.sf.tweety.action.description.syntax

Class CLaw

java.lang.Object

net.sf.tweety.action.description.syntax.CLaw

All Implemented Interfaces:

CausalLaw, net.sf.tweety.commons.Formula

Direct Known Subclasses:

DynamicLaw, StaticLaw

public abstract class CLaw
extends Object
implements CausalLaw

The action description language C consists of two distinct expressions: static laws and dynamic laws. Both share some common functionalities which are implemented in this base class.

Author:

Sebastian Homann

Field Summary

Fields

Modifier and Type	Field and Description
protected net.sf.tweety.logics.fol.syntax.FolFormula	headFormula
protected net.sf.tweety.logics.fol.syntax.FolFormula	ifFormula
protected Set<GroundingRequirement>	requirements

Constructor Summary

Constructors

Constructor and Description
CLaw() Creates an empty causal law.
CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula) Creates a causal law of the form caused headFormula if True
CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, net.sf.tweety.logics.fol.syntax.FolFormula ifFormula) Creates a causal law of the form caused headFormula if ifFormula
CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, net.sf.tweety.logics.fol.syntax.FolFormula ifFormula, Set<GroundingRequirement> requirements) Creates a causal law of the form caused headFormula if ifFormula requires requirements
CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula, Set<GroundingRequirement> requirements) Creates a causal law of the form caused headFormula if True requires requirements

Method Summary

Modifier and Type	Method and Description
void	addGroundingRequirement(GroundingRequirement c)
abstract Set<CLaw>	getAllGrounded() Returns the set of all grounded instances of this causal law.
abstract Set<net.sf.tweety.logics.fol.syntax.FOLAtom>	getAtoms() Returns the set of propositions in all formulas in this law.
abstract Set<net.sf.tweety.logics.fol.syntax.FolFormula>	getFormulas() Returns the set of formulas contained in this causal law, e.g.
net.sf.tweety.logics.fol.syntax.FolFormula	getHeadFormula() Returns the headFormula of this causal law.
net.sf.tweety.logics.fol.syntax.FolFormula	getIfFormula() Returns the ifFormula of this causal law.
abstract net.sf.tweety.commons.Signature	getSignature()
protected boolean	isConjunctiveClause(net.sf.tweety.logics.fol.syntax.FolFormula pl) a conjunctive clause is either a literal or a conjunction of literals.
abstract boolean	isDefinite() Returns true iff this law is definite.
boolean	isGround()
protected boolean	isValidDefiniteHead(net.sf.tweety.logics.commons.syntax.RelationalFormula pl) Checks if a propositional formula is a valid head formula for a definite causal law, which means either a contradiction, a fluent or the negation of a fluent.
abstract Set<CLaw>	toDefinite() Returns an equivalent definite causal law.

Methods inherited from class java.lang.Object

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

Field Detail

headFormula

protected net.sf.tweety.logics.fol.syntax.FolFormula headFormula

ifFormula

protected net.sf.tweety.logics.fol.syntax.FolFormula ifFormula

requirements

protected Set<GroundingRequirement> requirements

Constructor Detail

CLaw

public CLaw()

Creates an empty causal law.

CLaw

public CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula)

Creates a causal law of the form caused headFormula if True

Parameters:

headFormula -

CLaw

public CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula,
            Set<GroundingRequirement> requirements)

Creates a causal law of the form caused headFormula if True requires requirements

Parameters:

headFormula -

requirements -

CLaw

public CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula,
            net.sf.tweety.logics.fol.syntax.FolFormula ifFormula,
            Set<GroundingRequirement> requirements)

Creates a causal law of the form caused headFormula if ifFormula requires requirements

Parameters:

headFormula -

CLaw

public CLaw(net.sf.tweety.logics.fol.syntax.FolFormula headFormula,
            net.sf.tweety.logics.fol.syntax.FolFormula ifFormula)

Creates a causal law of the form caused headFormula if ifFormula

Parameters:

headFormula -

Method Detail

getSignature

public abstract net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

isDefinite

public abstract boolean isDefinite()

Returns true iff this law is definite. A causal law is definite if it's head is a literal or a contradiction and all formulas are conjunctions of literals.

Returns:

true, if this law is definite, false otherwise.

toDefinite

public abstract Set<CLaw> toDefinite()
                              throws IllegalStateException

Returns an equivalent definite causal law. A causal law is definite if it's head is a literal or a contradiction and all formulas are conjunctions of literals.

Returns:

the equivalent definite causal law if one exists.

Throws:

IllegalStateException - when there is no equivalent definite causal law.

getAtoms

public abstract Set<net.sf.tweety.logics.fol.syntax.FOLAtom> getAtoms()

Returns the set of propositions in all formulas in this law.

Returns:

the set of propositions in all formulas in this law.

getFormulas

public abstract Set<net.sf.tweety.logics.fol.syntax.FolFormula> getFormulas()

Returns the set of formulas contained in this causal law, e.g. in a static law, this contains the head formula and the if formula.

Returns:

the set of formulas contained in this causal law.

addGroundingRequirement

public void addGroundingRequirement(GroundingRequirement c)

getHeadFormula

public net.sf.tweety.logics.fol.syntax.FolFormula getHeadFormula()

Returns the headFormula of this causal law.

Returns:

the headFormula of this causal law.

getIfFormula

public net.sf.tweety.logics.fol.syntax.FolFormula getIfFormula()

Returns the ifFormula of this causal law.

Returns:

the ifFormula of this causal law.

isGround

public boolean isGround()

getAllGrounded

public abstract Set<CLaw> getAllGrounded()

Returns the set of all grounded instances of this causal law.

Returns:

the set of all grounded instances of this causal law.

isValidDefiniteHead

protected boolean isValidDefiniteHead(net.sf.tweety.logics.commons.syntax.RelationalFormula pl)

Checks if a propositional formula is a valid head formula for a definite causal law, which means either a contradiction, a fluent or the negation of a fluent.

Parameters:

pl - a propositional formula

Returns:

true, if pl is a valid definite head formula

isConjunctiveClause

protected boolean isConjunctiveClause(net.sf.tweety.logics.fol.syntax.FolFormula pl)

a conjunctive clause is either a literal or a conjunction of literals.

Parameters:

pl - a propositional formula

Returns:

true, if pl is a conjunctive clause