net.sf.tweety.lp.asp.syntax

Class Program

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<T>

net.sf.tweety.commons.util.rules.RuleSet<Rule>

net.sf.tweety.lp.asp.syntax.Program

All Implemented Interfaces:

Serializable, Cloneable, Iterable<Rule>, Collection<Rule>, Set<Rule>, net.sf.tweety.commons.BeliefBase, net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<DLPHead,DLPElement,Rule>

public class Program
extends net.sf.tweety.commons.util.rules.RuleSet<Rule>
implements net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<DLPHead,DLPElement,Rule>

this class models an disjunctive logical program, which is a collection of rules. The rules are ordered alphabetically

Author:

Tim Janus, Thomas Vengels

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Program() Default Ctor: Does nothing
Program(Collection<Rule> base) Add all rules from base to this program.
Program(Program other) Copy Ctor: Used by clone method

Method Summary

Modifier and Type	Method and Description
void	add(Program other) Adds another programs content to the content of this program.
void	addFact(DLPHead fact)
void	addFact(DLPLiteral fact)
Program	clone()
static Program	defaultification(Program p) Creates the defaultifictation p_d of a given program p.
Program	exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature()
boolean	isExtendedProgram() Checks if the program is an extended programs, that means the heads of the literals have not more than one literal.
boolean	isGround() Checks whether this program is ground, i.e.
Program	reduct(Collection<DLPLiteral> state) Returns the reduct of this program wrt.
Program	substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
Program	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
String	toString()
String	toStringFlat()

Methods inherited from class net.sf.tweety.commons.util.rules.RuleSet

getConclusions, getPremises, getRulesWithConclusion

Methods inherited from class java.util.HashSet

add, clear, contains, isEmpty, iterator, remove, size, spliterator

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

Program

public Program()

Default Ctor: Does nothing

Program

public Program(Program other)

Copy Ctor: Used by clone method

Program

public Program(Collection<Rule> base)

Add all rules from base to this program.

Parameters:

base - a collection of rules

Method Detail

add

public void add(Program other)

Adds another programs content to the content of this program.

Parameters:

other - Reference to the other program.

toString

public String toString()

Specified by:

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

Specified by:

toString in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<DLPHead,DLPElement,Rule>

Overrides:

toString in class AbstractCollection<Rule>

isExtendedProgram

public boolean isExtendedProgram()

Checks if the program is an extended programs, that means the heads of the literals have not more than one literal.

Returns:

True if the program is an extended program, false otherwise.

toStringFlat

public String toStringFlat()

defaultification

public static Program defaultification(Program p)

Creates the defaultifictation p_d of a given program p. A defaultificated program p' of p adds for every Rule r in p a modified rule r_d of the form: H(r) :- B(r), not -H(r). to the program p'.

Parameters:

p - The program which is not defaultificated yet

Returns:

a program p' which is the defaultificated version of p.

addFact

public void addFact(DLPLiteral fact)

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Specified by:

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

Specified by:

getSignature in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<DLPHead,DLPElement,Rule>

isGround

public boolean isGround()

Checks whether this program is ground, i.e. whether it contains no variables.

Returns:

"true" if this program is ground.

reduct

public Program reduct(Collection<DLPLiteral> state)

Returns the reduct of this program wrt. the given state, i.e. a program that contains no default negation and only those rules of this program (without all default-negated literals in the body) that do not have a default-negated version of a literal in their body.

Parameters:

state - some set of literals

Returns:

the reduct of this program

clone

public Program clone()

Overrides:

clone in class HashSet<Rule>

addFact

public void addFact(DLPHead fact)

Specified by:

addFact in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<DLPHead,DLPElement,Rule>

substitute

public Program substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                          net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<DLPHead,DLPElement,Rule>

substitute

public Program substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> map)
                   throws IllegalArgumentException

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<DLPHead,DLPElement,Rule>

Throws:

IllegalArgumentException

exchange

public Program exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                        net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
                 throws IllegalArgumentException

Specified by:

exchange in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram<DLPHead,DLPElement,Rule>

Throws:

IllegalArgumentException