Package org.tweetyproject.arg.deductive.syntax

Class DeductiveKnowledgeBase

java.lang.Object

org.tweetyproject.commons.BeliefSet<PlFormula,PlSignature>

org.tweetyproject.logics.pl.syntax.PlBeliefSet

org.tweetyproject.arg.deductive.syntax.DeductiveKnowledgeBase

All Implemented Interfaces:

Iterable<PlFormula>, Collection<PlFormula>, BeliefBase

public class DeductiveKnowledgeBase
extends PlBeliefSet

Instances of this class represent deductive knowledge bases, i.e. sets of propositional formulas.

Author:

Matthias Thimm

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
DeductiveKnowledgeBase()	Creates a new (empty) knowledge base.
DeductiveKnowledgeBase(Collection<? extends PlFormula> formulas)	Creates a new knowledge base with the given set of formulas.

Method Summary

Modifier and Type	Method	Description
Set<DeductiveArgument>	getDeductiveArguments()	Computes all deductive arguments.
Set<DeductiveArgument>	getDeductiveArguments(PlFormula claim)	Computes all deductive arguments for the given claim.

Methods inherited from class org.tweetyproject.logics.pl.syntax.PlBeliefSet

getCanonicalOrdering, getMinimalSignature, getSyntaxComponents, toCnf

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

DeductiveKnowledgeBase

public DeductiveKnowledgeBase()

Creates a new (empty) knowledge base.

DeductiveKnowledgeBase

public DeductiveKnowledgeBase(Collection<? extends PlFormula> formulas)

Creates a new knowledge base with the given set of formulas.

Parameters:

formulas - a set of formulas.

Method Details

getDeductiveArguments

public Set<DeductiveArgument> getDeductiveArguments(PlFormula claim)

Computes all deductive arguments for the given claim.

Parameters:

claim - a propositional formula.

Returns:

the set of all deductive arguments for the given claim.

getDeductiveArguments

public Set<DeductiveArgument> getDeductiveArguments()

Computes all deductive arguments.

Returns:

the set of all deductive arguments.