List of PLN Rules
From OpenCog
(Redirected from List of PLN rules)
A list of PLN rules.
Rules enabled by default
These are the PLN Rules enabled by default (i.e. in the DefaultVariableRuleProvider).
- LookupRule (simply looks up the value in the atomspace)
- CustomCrispUnificationRule (one is added for each ForAll link when the RuleProvider is created)
- ORRule
- SimpleAndRule (for 1, 2 or 3 arguments)
- ANDPartitionRule
- NotEvaluatorRule
- ScholemFunctionProductionRule
- SubsetEvalRule
- FORALLRule
- StrictImplicationBreakdownRule (aka ModusPonensRule)
- DeductionRule (for ImplicationLink and InheritanceLink; using DeductionSimpleFormula
- InversionRule (on InheritanceLink)
- CrispTheoremRule
These ones are implemented using the generic Link2LinkRule:
- Int2ExtRule (from ImplicationLink => MixedImplicationLink, and from InheritanceLink to ExtensionalInheritanceLink)
- Ext2IntRule (from ExtensionalImplicationLink to MixedImplicationLink, and from ExtensionalInheritanceLink to InheritanceLink
- HypothesisRule
