Category:Pmlp:InferenceRule

From Inference Web

Jump to: navigation, search

direct description

more description

-239a690b:120db8a3dcf:-7fdc

Subcategories

This category has the following 2 subcategories, out of 2 total.

P

Facts about Pmlp:InferenceRuleRDF feed
Imported fromThis property is a special property in this wiki.pmlp:InferenceRule (pmlp)  +
Member ofHttp://inference-web.org/2.0/pml-provenance.owl  +
Rdf:typeOwl:Class  +
Rdfs:commentInference rules are used to derive conclus Inference rules are used to derive conclusions from premises. Inference Web divides inference rules into three classes: Primitive and Derived and Translation. This is an abstract class without any direct instance. A primitive rule is an atomic rule with respect to an inference engine. An inference engine may support rules that it does not need to further decompose. Since a primitive rule is an inference engine dependent concept, we may find a rule is primitive to one inference engine but not to another engine. For example a `natural deduction reasoner R1 may define Modus Ponens as a primitive rule and another reasoner R2 may register Robinson's resolution rule as a primitive rule. The reasoner R2 may be able to derive a Modus Ponens rule using its primitive resolution rule. rule using its primitive resolution rule.
Rdfs:labelInference Rule
Rdfs:subClassOfPmlp:IdentifiedThing  +
TagOwl:Class  +
Personal tools
Navigation