List of PLN Rules

From OpenCog

A list of PLN rules.

Summary of PLN formulas

Rules enabled by default

These are the PLN Rules enabled by default (i.e. in the DefaultVariableRuleProvider).

These ones are implemented using the generic Link2LinkRule:

Additional Rules

There are rules for temporal reasoning, in the old python PLN, that need porting to the new URE based PLN, see Spatial_and_Temporal_Inference_Rules

There are also rules for epistemic reasoning, that need further testing and integration, see Epistemic PLN