Two styles of performing <term> inference </term> in <term> semantic networks </term> are presented and compared .
other,7-2-T78-1031,bq <term> Path-based inference </term> allows an <term> arc </term> or a <term> path of arcs </term> between two given <term> nodes </term> to be inferred from the existence of another specified <term> path </term> between the same two <term> nodes </term> .
<term> Path-based inference </term> allows an <term> arc </term> or a <term> path of arcs </term> between two given <term> nodes </term> to be inferred from the existence of another specified <term> path </term> between the same two <term> nodes </term> .
<term> Node-based inference </term> allows a <term> structure </term> of <term> nodes </term> to be inferred from the existence of an instance of a pattern of <term> node structures </term> .
<term> Node-based inference </term> allows a <term> structure </term> of <term> nodes </term> to be inferred from the existence of an instance of a pattern of <term> node structures </term> .
<term> Node-based inference </term> allows a <term> structure </term> of <term> nodes </term> to be inferred from the existence of an instance of a pattern of <term> node structures </term> .
<term> Node-based inference </term> allows a <term> structure </term> of <term> nodes </term> to be inferred from the existence of an instance of a pattern of <term> node structures </term> .
<term> Node-based inference rules </term> can be constructed in a <term> semantic network </term> using a variant of a <term> predicate calculus notation </term> .
A method is described of combining the two styles in a single system in order to take advantage of the strengths of each .
A method is described of combining the two styles in a single system in order to take advantage of the strengths of each .
A method is described of combining the two styles in a single system in order to take advantage of the strengths of each .
Applications of <term> path-based inference rules </term> to the representation of the <term> extensional equivalence </term> of <term> intensional concepts </term> , and to the <term> explication </term> of <term> inheritance </term> in <term> hierarchies </term> are sketched .
Applications of <term> path-based inference rules </term> to the representation of the <term> extensional equivalence </term> of <term> intensional concepts </term> , and to the <term> explication </term> of <term> inheritance </term> in <term> hierarchies </term> are sketched .
Applications of <term> path-based inference rules </term> to the representation of the <term> extensional equivalence </term> of <term> intensional concepts </term> , and to the <term> explication </term> of <term> inheritance </term> in <term> hierarchies </term> are sketched .
Applications of <term> path-based inference rules </term> to the representation of the <term> extensional equivalence </term> of <term> intensional concepts </term> , and to the <term> explication </term> of <term> inheritance </term> in <term> hierarchies </term> are sketched .
hide detail