Package org.tweetyproject.commons.util.rules

Interface Rule<C extends Formula,P extends Formula>

Type Parameters:

C - the type of formulas for the conclusion

P - the type of formulas for the premises

All Superinterfaces:

Formula

All Known Implementing Classes:

AbaRule, ASPRule, Assumption, BasicArgument, Conditional, DefeasibleInferenceRule, DefeasibleRule, DelpFact, DelpRule, InferenceRule, InferenceRule, NLPRule, ProbabilisticConditional, RelationalConditional, RelationalProbabilisticConditional, SimplePlRule, StrictInferenceRule, StrictRule

public interface Rule<C extends Formula,P extends Formula>
extends Formula

This interface models a general rule, i.e. a structure with some premise (a set of formulas) and some conclusion (a single formula).

Author:

Matthias Thimm, Tim Janus

Method Summary

Modifier and Type	Method	Description
void	addPremise(P premise)	Add the given premise to this rule.
void	addPremises(Collection<? extends P> premises)	Add the given premises to this rule.
C	getConclusion()	Returns the conclusion of this rule.
Collection<? extends P>	getPremise()	Returns the premise of this rule.
Signature	getSignature()	Returns the signature of the language of this formula.
boolean	isConstraint()	isConstraint
boolean	isFact()	isFact
void	setConclusion(C conclusion)	Set the conclusion of this rule.

Method Details

isFact

boolean isFact()

isFact

Returns:

whether the rule is a fact

isConstraint

boolean isConstraint()

isConstraint

Returns:

whether the rule is a constraint

setConclusion

void setConclusion(C conclusion)

Set the conclusion of this rule.

Parameters:

conclusion - some formula

addPremise

void addPremise(P premise)

Add the given premise to this rule.

Parameters:

premise - some formula

addPremises

void addPremises(Collection<? extends P> premises)

Add the given premises to this rule.

Parameters:

premises - some formulas

getSignature

Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.

getPremise

Collection<? extends P> getPremise()

Returns the premise of this rule.

Returns:

the premise of this rule.

getConclusion

C getConclusion()

Returns the conclusion of this rule.

Returns:

the conclusion of this rule.