net.sf.tweety.arg.lp.syntax

Class ArgumentationKnowledgeBase

java.lang.Object

net.sf.tweety.commons.BeliefSet<Argument>

net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase

All Implemented Interfaces:

java.lang.Iterable<Argument>, java.util.Collection<Argument>, BeliefBase

public class ArgumentationKnowledgeBase
extends BeliefSet<Argument>

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

Author:

Sebastian Homann

Field Summary

Fields

Modifier and Type	Field and Description
private Program	program

Constructor Summary

Constructors

Constructor and Description
ArgumentationKnowledgeBase(Program program)

Method Summary

Modifier and Type	Method and Description
java.util.Set<Argument>	getArguments() Returns all minimal arguments constructible from the extended logic program
private java.util.Set<Argument>	getArguments(java.util.LinkedList<Rule> rules) Recursively constructions minimal arguments in a bottom-up fashion.
private java.util.Set<DLPLiteral>	getDerivableLiterals(java.util.Collection<Rule> rules) This method returns the set of conclusions of all rules in the collection of rules given.
private java.util.Set<DLPLiteral>	getOpenLiterals(java.util.Collection<Rule> rules) Returns the set of non-default-negated literals that are part of the premise of some rule but not the conclusion of some other rule
Signature	getSignature() Returns the signature of the language of this knowledge base.
private boolean	isTrue(Rule rule, java.util.Set<DLPLiteral> literals) Returns true iff each non-default-negated literal in the premise of rule is contained in the set of literals

Methods inherited from class net.sf.tweety.commons.BeliefSet

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream

Methods inherited from interface java.lang.Iterable

forEach

Field Detail

program

private Program program

Constructor Detail

ArgumentationKnowledgeBase

public ArgumentationKnowledgeBase(Program program)

Method Detail

getArguments

public java.util.Set<Argument> getArguments()

Returns all minimal arguments constructible from the extended logic program

getArguments

private java.util.Set<Argument> getArguments(java.util.LinkedList<Rule> rules)

Recursively constructions minimal arguments in a bottom-up fashion.

Parameters:

rules - A set of rules already part of the argument

Returns:

a set of minimal arguments containing the given set of rules

getOpenLiterals

private java.util.Set<DLPLiteral> getOpenLiterals(java.util.Collection<Rule> rules)

Returns the set of non-default-negated literals that are part of the premise of some rule but not the conclusion of some other rule

Parameters:

rules - a set of rules

getDerivableLiterals

private java.util.Set<DLPLiteral> getDerivableLiterals(java.util.Collection<Rule> rules)

This method returns the set of conclusions of all rules in the collection of rules given.

Parameters:

rules - a collection of rules

Returns:

the set of conclusions of said rules

isTrue

private boolean isTrue(Rule rule,
                       java.util.Set<DLPLiteral> literals)

Returns true iff each non-default-negated literal in the premise of rule is contained in the set of literals

Parameters:

rule - an elp rule

literals - a set of literals

getSignature

public Signature getSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Specified by:

getSignature in interface BeliefBase

Specified by:

getSignature in class BeliefSet<Argument>

Returns:

the signature of the language of this knowledge base.