net.sf.tweety.arg.deductive

Class DeductiveKnowledgeBase

java.lang.Object

net.sf.tweety.commons.BeliefSet<net.sf.tweety.logics.pl.syntax.PropositionalFormula>

net.sf.tweety.logics.pl.PlBeliefSet

net.sf.tweety.arg.deductive.DeductiveKnowledgeBase

All Implemented Interfaces:

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

public class DeductiveKnowledgeBase
extends net.sf.tweety.logics.pl.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(Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula> formulas) Creates a new knowledge base with the given set of formulas.

Method Summary

Modifier and Type	Method and Description
Set<DeductiveArgument>	getDeductiveArguments() Computes all deductive arguments.
Set<DeductiveArgument>	getDeductiveArguments(net.sf.tweety.logics.pl.syntax.PropositionalFormula claim) Computes all deductive arguments for the given claim.

Methods inherited from class net.sf.tweety.logics.pl.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(Collection<? extends net.sf.tweety.logics.pl.syntax.PropositionalFormula> 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.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 Set<DeductiveArgument> getDeductiveArguments()

Computes all deductive arguments.

Returns:

the set of all deductive arguments.