Package org.tweetyproject.arg.lp.syntax

Class ArgumentationKnowledgeBase

java.lang.Object

org.tweetyproject.commons.BeliefSet<Argument,FolSignature>

org.tweetyproject.arg.lp.syntax.ArgumentationKnowledgeBase

All Implemented Interfaces:

Iterable<Argument>, Collection<Argument>, BeliefBase

public class ArgumentationKnowledgeBase
extends BeliefSet<Argument,FolSignature>

Instances of this class represent the set of minimal arguments from a extended logic program

Author:

Sebastian Homann

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
ArgumentationKnowledgeBase(Program program)	Constructs an `ArgumentationKnowledgeBase` object initialized with a given program.

Method Summary

Modifier and Type	Method	Description
Set<Argument>	getArguments()	Returns all minimal arguments constructible from the extended logic program
Signature	getMinimalSignature()	Returns the signature of the language of this knowledge base.

Methods inherited from class org.tweetyproject.commons.BeliefSet

add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

ArgumentationKnowledgeBase

public ArgumentationKnowledgeBase(Program program)

Constructs an `ArgumentationKnowledgeBase` object initialized with a given program.

Parameters:

program - the `Program` object representing the program to be used for initializing the argumentation knowledge base. The program is cloned internally to avoid modifying the original program.

Throws:

IllegalArgumentException - if any rule in the program has an `AggregateHead` as its conclusion.

Method Details

getArguments

public Set<Argument> getArguments()

Returns all minimal arguments constructible from the extended logic program

Returns:

all minimal arguments constructible from the extended logic program

getMinimalSignature

public Signature getMinimalSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Returns:

the signature of the language of this knowledge base.