|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjcreek.reasoning.SymbolConvergence
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.
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 " |
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 |
public SymbolConvergence union(SymbolConvergence fc) throws NotCompatibleException
fc
- A FindingConvergence instance merged with this instance. The
fc instance is not changed.
NotCompatibleException
public boolean isSingular()
public boolean hasConvergence()
public Relation[] getOriginRelations()
public Relation[] getTargetRelations()
public Entity getConvergencePoint()
public Entity getOrigin()
public Entity getTarget()
public double getStrength()
public java.lang.String shortExplanation(java.lang.String buf)
public java.lang.String strongestExplanation()
public java.lang.String toString()
public java.lang.String toString(java.lang.String pre)
public SubModel toSubModel()
public SubModel toCompactSubModel()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |