jcreek.reasoning
Class SymbolConvergence

java.lang.Object
  extended byjcreek.reasoning.SymbolConvergence
All Implemented Interfaces:
java.io.Serializable

public class SymbolConvergence
extends java.lang.Object
implements java.io.Serializable

Describes a common point in the causal or statistical model implicated by findings of two or more cases. This point (actually an entity) may be implicated through one or more relations from each finding to the convergence-entity. This serves as an explanation of why the findings may play the same role in some way, and thus the FindingConvergence have a composite strength for this explanation, as well as methods for getting natural language text for this explanation.

Version:
1.0
Author:
Frode Sørmo
See Also:
Serialized Form

Method Summary
 Entity getConvergencePoint()
          Returns the entity that is the convergence point for this FindingConvergence.
 Entity getOrigin()
          Returns the has-finding relation from the origin case to the origin finding.
 Relation[] getOriginRelations()
          Gives a list of all relations (composite or direct) from the origin case finding to the convergence entity.
 double getStrength()
          Gives the strength this FindingConvergence offers to support that the origin and target findings play equal roles.
 Entity getTarget()
          Returns the has-finding relation from the target case to the target finding.
 Relation[] getTargetRelations()
          Gives a list of all relations (composite or direct) from the target case finding to the convergence entity.
 boolean hasConvergence()
          True if the FindingConvergence has proofs that the convergencePoint is implicated by both findings.
 boolean isSingular()
          Returns true if this FeindingConvergence is singular, i.e. if it explains from a single finding to a single finding.
 java.lang.String shortExplanation(java.lang.String buf)
          Gives a short, natural language representation of this structure, of the form " implicates , which is also implicated by ".
 java.lang.String strongestExplanation()
          Gives the strongest explanation in support of this point.
 SubModel toCompactSubModel()
          Transforms this FindingComparison to a compact submodel.
 java.lang.String toString()
           
 java.lang.String toString(java.lang.String pre)
           
 SubModel toSubModel()
          Transforms this FindingComparison to a submodel.
 SymbolConvergence union(SymbolConvergence fc)
          Merges the given SymbolConvergence with this SymbolConvergence.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Method Detail

union

public SymbolConvergence union(SymbolConvergence fc)
                        throws NotCompatibleException
Merges the given SymbolConvergence with this SymbolConvergence. They are assumed to share a convergencePoint and target finding - if not, a NotCompatibleException is thrown.

Parameters:
fc - A FindingConvergence instance merged with this instance. The fc instance is not changed.
Returns:
Reference to this FindingConvergence.
Throws:
NotCompatibleException

isSingular

public boolean isSingular()
Returns true if this FeindingConvergence is singular, i.e. if it explains from a single finding to a single finding.


hasConvergence

public boolean hasConvergence()
True if the FindingConvergence has proofs that the convergencePoint is implicated by both findings. This only makes sense if there are single target and origins, i.e. if isSingular() is true.


getOriginRelations

public Relation[] getOriginRelations()
Gives a list of all relations (composite or direct) from the origin case finding to the convergence entity.


getTargetRelations

public Relation[] getTargetRelations()
Gives a list of all relations (composite or direct) from the target case finding to the convergence entity.


getConvergencePoint

public Entity getConvergencePoint()
Returns the entity that is the convergence point for this FindingConvergence.


getOrigin

public Entity getOrigin()
Returns the has-finding relation from the origin case to the origin finding.


getTarget

public Entity getTarget()
Returns the has-finding relation from the target case to the target finding.


getStrength

public double getStrength()
Gives the strength this FindingConvergence offers to support that the origin and target findings play equal roles.


shortExplanation

public java.lang.String shortExplanation(java.lang.String buf)
Gives a short, natural language representation of this structure, of the form " implicates , which is also implicated by ".


strongestExplanation

public java.lang.String strongestExplanation()
Gives the strongest explanation in support of this point.


toString

public java.lang.String toString()

toString

public java.lang.String toString(java.lang.String pre)

toSubModel

public SubModel toSubModel()
Transforms this FindingComparison to a submodel.


toCompactSubModel

public SubModel toCompactSubModel()
Transforms this FindingComparison to a compact submodel.



Created at IDI, NTNU by the Artificial Intelligence and Learning group