net.sf.tweety.logics.commons.syntax.interfaces

Interface LogicProgram<C extends net.sf.tweety.commons.Formula,P extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.util.rules.Rule<?,?>>

Type Parameters:

C - The type of the formulas used for conclusions

P - The type of the formulas used for the premise

T - The type of the rules used in the program

All Superinterfaces:

net.sf.tweety.commons.BeliefBase

public interface LogicProgram<C extends net.sf.tweety.commons.Formula,P extends net.sf.tweety.commons.Formula,T extends net.sf.tweety.commons.util.rules.Rule<?,?>>
extends net.sf.tweety.commons.BeliefBase

An interface for a logic program, which is a set of rules.

Author:

Tim Janus, Matthias Thimm

Method Summary

Modifier and Type	Method and Description
void	addFact(C fact) Adds the given fact to the program
LogicProgram<?,?,?>	exchange(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.
net.sf.tweety.commons.Signature	getSignature()
LogicProgram<?,?,?>	substitute(Map<? extends Term<?>,? extends Term<?>> map) Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
LogicProgram<?,?,?>	substitute(Term<?> v, Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
String	toString()

Method Detail

addFact

void addFact(C fact)

Adds the given fact to the program

Parameters:

fact -

getSignature

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

Specified by:

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

substitute

LogicProgram<?,?,?> substitute(Term<?> v,
                               Term<?> t)
                        throws IllegalArgumentException

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Parameters:

v - the term to be substituted.

t - the term to substitute.

Returns:

a formula where every occurrence of "v" is replaced by "t".

Throws:

IllegalArgumentException - if "v" and "t" are of different sorts

substitute

LogicProgram<?,?,?> substitute(Map<? extends Term<?>,? extends Term<?>> map)
                        throws IllegalArgumentException

Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.

Parameters:

map - a mapping defining which terms to be substituted.

Returns:

a formula where every term in map.keyset() has been replaced by map.get(v).

Throws:

IllegalArgumentException - if any term and its mapping are of different sorts

exchange

LogicProgram<?,?,?> exchange(Term<?> v,
                             Term<?> t)
                      throws IllegalArgumentException

Substitutes all occurrences of term "v" in this formula by term "t" and at the same time replaces all occurrences of term "t" by term "v" and eventually returns the new formula.

Parameters:

v - a term.

t - a term.

Returns:

a new logical formula with both "v" and "t" exchanged.

Throws:

IllegalArgumentException - if "v" and "t" are of different sorts

toString

String toString()

Specified by:

toString in interface net.sf.tweety.commons.BeliefBase

Overrides:

toString in class Object