Package net.sf.tweety.arg.deductive.syntax

Class DeductiveKnowledgeBase

java.lang.Object

net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.pl.syntax.PlFormula,net.sf.tweety.logics.pl.syntax.PlSignature>

net.sf.tweety.logics.pl.syntax.PlBeliefSet

net.sf.tweety.arg.deductive.syntax.DeductiveKnowledgeBase

All Implemented Interfaces:

Iterable<net.sf.tweety.logics.pl.syntax.PlFormula>, Collection<net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.BeliefBase

public class DeductiveKnowledgeBase
extends net.sf.tweety.logics.pl.syntax.PlBeliefSet

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

Author:

Matthias Thimm

Field Summary

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

EQUALS_USES_SIGNATURE, signature

Constructor Summary

Constructors

Constructor	Description
DeductiveKnowledgeBase()	Creates a new (empty) knowledge base.
DeductiveKnowledgeBase(Collection<? extends net.sf.tweety.logics.pl.syntax.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(net.sf.tweety.logics.pl.syntax.PlFormula claim)	Computes all deductive arguments for the given claim.

Methods inherited from class net.sf.tweety.logics.pl.syntax.PlBeliefSet

getCanonicalOrdering, getMinimalSignature, getSyntaxComponents, instantiateSignature, toCnf

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

add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, setSignature, 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, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

DeductiveKnowledgeBase

public DeductiveKnowledgeBase()

Creates a new (empty) knowledge base.

DeductiveKnowledgeBase

public DeductiveKnowledgeBase(Collection<? extends net.sf.tweety.logics.pl.syntax.PlFormula> formulas)

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

Parameters:

formulas - a set of formulas.

Method Detail

getDeductiveArguments

public Set<DeductiveArgument> getDeductiveArguments(net.sf.tweety.logics.pl.syntax.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.