CausalInterpretation

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<CausalKnowledgeBase, PlFormula>

org.tweetyproject.commons.InterpretationSet<Proposition, CausalKnowledgeBase, PlFormula>

org.tweetyproject.causal.semantics.CausalInterpretation

All Implemented Interfaces:: Iterable<Proposition>, Collection<Proposition>, Interpretation<CausalKnowledgeBase, PlFormula>

public class CausalInterpretation extends InterpretationSet<Proposition, CausalKnowledgeBase, PlFormula>

Representation of a propositional interpretation of a causal knowledge base

Author:: Lars Bengel

Constructor Summary

Constructors

Constructor

Description

CausalInterpretation()

Initializes a new empty causal interpretation

CausalInterpretation(Collection<Proposition> formulas)

Initializes a new causal interpretation
Method Summary

Modifier and Type

Method

Description

boolean

satisfies(CausalKnowledgeBase beliefBase)

Checks whether this interpretation satisfies the given knowledge base.

boolean

satisfies(PlFormula formula)

Checks whether this interpretation satisfies the given formula.

Methods inherited from class org.tweetyproject.commons.InterpretationSet
add, add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation
satisfies

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
- CausalInterpretation
  
  public CausalInterpretation()
  
  Initializes a new empty causal interpretation
- CausalInterpretation
  
  public CausalInterpretation(Collection<Proposition> formulas)
  
  Initializes a new causal interpretation
  
  Parameters:
  
  formulas - the set of proposition that are true in the interpretation
Method Details
- satisfies
  
  public boolean satisfies(PlFormula formula) throws IllegalArgumentException
  
  Description copied from interface: Interpretation
  
  Checks whether this interpretation satisfies the given formula.
  
  Parameters:
  
  formula - a formula .
  
  Returns:
  
  "true" if this interpretation satisfies the given formula.
  
  Throws:
  
  IllegalArgumentException - if the formula does not correspond to the expected language.
- satisfies
  
  public boolean satisfies(CausalKnowledgeBase beliefBase) throws IllegalArgumentException
  
  Description copied from interface: Interpretation
  
  Checks whether this interpretation satisfies the given knowledge base.
  
  Parameters:
  
  beliefBase - a knowledge base.
  
  Returns:
  
  "true" if this interpretation satisfies the given knowledge base.
  
  Throws:
  
  IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.