net.sf.tweety.arg.lp.syntax

Class Argument

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.AbstractSequentialList<E>

java.util.LinkedList<Rule>

net.sf.tweety.arg.lp.syntax.Argument

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<Rule>, java.util.Collection<Rule>, java.util.Deque<Rule>, java.util.List<Rule>, java.util.Queue<Rule>, Formula

public class Argument
extends java.util.LinkedList<Rule>
implements Formula

Instances of this class represent arguments in the sense of Definition 2 in [1]. [1] Ralf Schweimeier and Michael Schroeder: A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. In: Theory and Practice of Logic Programming, 5(1-2):207-242, 2003.

Author:

Sebastian Homann

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
Argument(java.util.List<Rule> rules)
Argument(Rule rule)

Method Summary

Modifier and Type	Method and Description
boolean	checkValid() An argument may only contain nonempty ground rules (i.e.
java.util.Set<DLPLiteral>	getAssumptions() Returns the set of assumptions, i.e.
java.util.Set<DLPLiteral>	getConclusions() Returns the set of conclusions of this argument, which is made up of the heads of all rules contained in this argument.
Signature	getSignature() Returns the signature of the language of this formula.
java.lang.String	toString()

Methods inherited from class java.util.LinkedList

add, add, addAll, addAll, addFirst, addLast, clear, clone, contains, descendingIterator, element, get, getFirst, getLast, indexOf, lastIndexOf, listIterator, offer, offerFirst, offerLast, peek, peekFirst, peekLast, poll, pollFirst, pollLast, pop, push, remove, remove, remove, removeFirst, removeFirstOccurrence, removeLast, removeLastOccurrence, set, size, spliterator, toArray, toArray

Methods inherited from class java.util.AbstractSequentialList

iterator

Methods inherited from class java.util.AbstractList

equals, hashCode, listIterator, removeRange, subList

Methods inherited from class java.util.AbstractCollection

containsAll, isEmpty, removeAll, retainAll

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.List

containsAll, equals, hashCode, isEmpty, iterator, listIterator, removeAll, replaceAll, retainAll, sort, subList

Methods inherited from interface java.util.Deque

iterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

Argument

public Argument(Rule rule)

Argument

public Argument(java.util.List<Rule> rules)

Method Detail

getConclusions

public java.util.Set<DLPLiteral> getConclusions()

Returns the set of conclusions of this argument, which is made up of the heads of all rules contained in this argument.

Returns:

the set of conclusions

getAssumptions

public java.util.Set<DLPLiteral> getAssumptions()

Returns the set of assumptions, i.e. the set of DLPLiterals, that appear default-negated in the premise of some rule in this argument. Ex.: Let a <- b, not -c. be a rule in argument A. Then A.getAssumptions() will contain -c.

Returns:

a set of literals which this argument assumes not to be true

checkValid

public boolean checkValid()

An argument may only contain nonempty ground rules (i.e. no constraints). Also, for an argument A = [r1, r2, ..., rn] for each literal Lj in the body of a rule ri there has to be a rule rk with k>i with head(rk) = Lj.

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractCollection<Rule>

getSignature

public 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.