net.sf.tweety.arg.prob.test.deductive

Class DeductiveProbabilisticKnowledgebase

java.lang.Object

net.sf.tweety.arg.prob.test.deductive.DeductiveProbabilisticKnowledgebase

All Implemented Interfaces:

BeliefBase

public class DeductiveProbabilisticKnowledgebase
extends java.lang.Object
implements BeliefBase

This class represents a probabilistic knowledge base in the sense of [Hunter, Thimm, 2013, in preparation]. It consists of a (possibly inconsistent) set of propositional formulas (ie. a deductive knowledge base) and a set of probability assignments to some set of formulas.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private DeductiveKnowledgeBase	kb The deductive knowledge base.
private java.util.Map<PropositionalFormula,Probability>	probabilityAssignments Probability assignments for formulas.

Constructor Summary

Constructors

Constructor and Description
DeductiveProbabilisticKnowledgebase() Creates a new empty probabilistic knowledge base
DeductiveProbabilisticKnowledgebase(DeductiveKnowledgeBase kb, java.util.Map<PropositionalFormula,Probability> probabilityAssignments) Creates a new probabilistic knowledge base from the given parameters.

Method Summary

Modifier and Type	Method and Description
DeductiveKnowledgeBase	getKb() Returns the deductive knowledge base
java.util.Map<PropositionalFormula,Probability>	getProbabilityAssignments() Returns the probability assignments
Signature	getSignature() Returns the signature of the language of this knowledge base.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

kb

private DeductiveKnowledgeBase kb

The deductive knowledge base.

probabilityAssignments

private java.util.Map<PropositionalFormula,Probability> probabilityAssignments

Probability assignments for formulas.

Constructor Detail

DeductiveProbabilisticKnowledgebase

public DeductiveProbabilisticKnowledgebase()

Creates a new empty probabilistic knowledge base

DeductiveProbabilisticKnowledgebase

public DeductiveProbabilisticKnowledgebase(DeductiveKnowledgeBase kb,
                                           java.util.Map<PropositionalFormula,Probability> probabilityAssignments)

Creates a new probabilistic knowledge base from the given parameters.

Parameters:

kb - a deductive knowledge base.

probabilityAssignments - probability assignments for formulas.

Method Detail

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

Returns:

the signature of the language of this knowledge base.

toString

public java.lang.String toString()

Specified by:

toString in interface BeliefBase

Overrides:

toString in class java.lang.Object

getKb

public DeductiveKnowledgeBase getKb()

Returns the deductive knowledge base

Returns:

the deductive knowledge base

getProbabilityAssignments

public java.util.Map<PropositionalFormula,Probability> getProbabilityAssignments()

Returns the probability assignments

Returns:

the probability assignments