Package net.sf.tweety.arg.adf.syntax

Class AbstractDialecticalFramework

java.lang.Object

net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework

All Implemented Interfaces:

Comparable<AbstractDialecticalFramework>, Iterable<Argument>, net.sf.tweety.commons.BeliefBase

public class AbstractDialecticalFramework
extends Object
implements net.sf.tweety.commons.BeliefBase, Comparable<AbstractDialecticalFramework>, Iterable<Argument>

This class implements abstract dialectical frameworks, cf. [Brewka, Ellmauthaler, Strass, Wallner, Woltran. Abstract Dialectical Frameworks Revisited. IJCAI'13]

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
AbstractDialecticalFramework(Map<Argument,AcceptanceCondition> accByArgument)

Method Summary

Modifier and Type	Method	Description
Stream<Argument>	arguments()
boolean	bipolar()	Checks if the ADF is bipolar.
int	compareTo(AbstractDialecticalFramework o)
boolean	containsArgument(Argument a)
AcceptanceCondition	getAcceptanceCondition(Argument argument)
net.sf.tweety.commons.Signature	getMinimalSignature()
Iterator<Argument>	iterator()
long	kBipolar()
Link	link(Argument a, Argument b)	Computes the link (a,b) iff necessary and returns it afterwards.
Stream<Link>	links()
Stream<Link>	linksFromParents(Argument b)
Stream<Link>	linksToChildren(Argument a)
AbstractDialecticalFramework	omegaReduct(Interpretation interpretation)	Computes a reduct of this ADF relative to the given interpretation s.t.
Stream<Argument>	parents(Argument child)
void	setLinkStrategy(LinkStrategy linkStrategy)
AbstractDialecticalFramework	transform(Transform<AcceptanceCondition,AcceptanceCondition> transform)	Creates a copy of this ADF with transformed acceptance conditions.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.sf.tweety.commons.BeliefBase

toString

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

AbstractDialecticalFramework

public AbstractDialecticalFramework(Map<Argument,AcceptanceCondition> accByArgument)

Method Detail

arguments

public Stream<Argument> arguments()

bipolar

public boolean bipolar()

Checks if the ADF is bipolar. May compute all links to do so.

Returns:

true iff all of the links are bipolar

kBipolar

public long kBipolar()

parents

public Stream<Argument> parents(Argument child)

getAcceptanceCondition

public AcceptanceCondition getAcceptanceCondition(Argument argument)

links

public Stream<Link> links()

containsArgument

public boolean containsArgument(Argument a)

omegaReduct

public AbstractDialecticalFramework omegaReduct(Interpretation interpretation)

Computes a reduct of this ADF relative to the given interpretation s.t. all unsatisfied arguments are replaced with false.

Parameters:

interpretation -

Returns:

the reduct

transform

public AbstractDialecticalFramework transform(Transform<AcceptanceCondition,AcceptanceCondition> transform)

Creates a copy of this ADF with transformed acceptance conditions.

Parameters:

transform - the transform to apply

Returns:

a copy of this ADF

linksFromParents

public Stream<Link> linksFromParents(Argument b)

Parameters:

b -

Returns:

a stream of links (a,b)

linksToChildren

public Stream<Link> linksToChildren(Argument a)

Parameters:

a -

Returns:

a stream of links (a,b)

link

public Link link(Argument a,
                 Argument b)

Computes the link (a,b) iff necessary and returns it afterwards.

Parameters:

a -

b -

Returns:

(a,b)

setLinkStrategy

public void setLinkStrategy(LinkStrategy linkStrategy)

Parameters:

linkStrategy - the strategy which is used for computing the links

compareTo

public int compareTo(AbstractDialecticalFramework o)

Specified by:

compareTo in interface Comparable<AbstractDialecticalFramework>

getMinimalSignature

public net.sf.tweety.commons.Signature getMinimalSignature()

Specified by:

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

iterator

public Iterator<Argument> iterator()

Specified by:

iterator in interface Iterable<Argument>