nars.inference
Class TemporalRules

java.lang.Object
  nars.inference.TemporalRules

public class TemporalRules
extends java.lang.Object

Temporal inference rules

These rules are independent of the semantic and symtactic inference rules.

Constructor Summary

TemporalRules()

Method Summary

static boolean	sameTime(Judgment belief1, Judgment belief2) If the two beliefs have compatible temporal information
static TemporalValue	syllogistic(TemporalValue r12, TemporalValue r23) Temporal relationships among three terms
static TemporalValue	syllogistic(TemporalValue r1, TemporalValue r2, int figure) Temporal inference in syllogism, with figure
static boolean	temporalRevision(Judgment newBelief, Judgment oldBelief, long time, boolean feedbackToLinks) Belief temporalRevision
static TemporalValue	tenseInduction(TemporalValue tense1, TemporalValue tense2) The temporal inference on tenses
static TemporalValue	tenseSyllogistic(TemporalValue r12, long time1, TemporalValue r23) Temporal relationships among three terms, with creasion time

Methods inherited from class java.lang.Object

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

Constructor Detail

TemporalRules

public TemporalRules()

Method Detail

syllogistic

public static TemporalValue syllogistic(TemporalValue r12,
                                        TemporalValue r23)

Temporal relationships among three terms

Parameters:

r12 - Temporal TemporalValueship from term1 to term2

r23 - Temporal TemporalValueship from term2 to term3

Returns:

Temporal TemporalValueship from term1 to term3

tenseSyllogistic

public static TemporalValue tenseSyllogistic(TemporalValue r12,
                                             long time1,
                                             TemporalValue r23)

Temporal relationships among three terms, with creasion time

Parameters:

r12 - Temporal TemporalValueship from term1 to term2

time1 - Creation time of the first premise

r23 - Temporal TemporalValueship from term2 to term3

Returns:

Temporal TemporalValueship from term1 to term3

syllogistic

public static TemporalValue syllogistic(TemporalValue r1,
                                        TemporalValue r2,
                                        int figure)

Temporal inference in syllogism, with figure

Parameters:

r1 - The first premise, containing the subject of the conclusion

r2 - The second premise, containing the predicate of the conclusion

figure - The location of the shared term

Returns:

The temporal order in the conclusion

tenseInduction

public static TemporalValue tenseInduction(TemporalValue tense1,
                                           TemporalValue tense2)

The temporal inference on tenses

Parameters:

tense1 - The tense of the first premise

tense2 - The tense of the second premise

Returns:

The tense of the conclusion

temporalRevision

public static boolean temporalRevision(Judgment newBelief,
                                       Judgment oldBelief,
                                       long time,
                                       boolean feedbackToLinks)

Belief temporalRevision

called from Concept.reviseTable and match

Parameters:

newBelief - The new belief

oldBelief - The previous belief with the same content

time - The target time of the statement

feedbackToLinks - Whether to send feedback to the links

Returns:

Whether temporalRevision happened

sameTime

public static boolean sameTime(Judgment belief1,
                               Judgment belief2)

If the two beliefs have compatible temporal information

Parameters:

belief1 -

belief2 -

Returns:

If the two can be considered as about the same time