net.sf.tweety.arg.deductive.syntax

Class DeductiveKnowledgeBase

java.lang.Object

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

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

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

All Implemented Interfaces:

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

public class DeductiveKnowledgeBase
extends PlBeliefSet

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

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

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

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

getSignature, getSyntaxComponents, toCnf

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

Constructor Detail

DeductiveKnowledgeBase

public DeductiveKnowledgeBase()

Creates a new (empty) knowledge base.

DeductiveKnowledgeBase

public DeductiveKnowledgeBase(java.util.Collection<? extends PropositionalFormula> formulas)

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

Parameters:

formulas - a set of formulas.

Method Detail

getDeductiveArguments

public java.util.Set<DeductiveArgument> getDeductiveArguments(PropositionalFormula 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 java.util.Set<DeductiveArgument> getDeductiveArguments()

Computes all deductive arguments.

Returns:

the set of all deductive arguments.