T78-1031 can be enhanced to make use of path-based inference rules . Consider a typical match
T78-1031 relational calculus expressions to form path-based inference rules . The following relational
T78-1031 have a formalism for specifying path-based inference rules in a network formalism
A88-1014 networks : rulebased inference and path-based inference . Rule-based inference , the
T78-1031 alternative is to include in the path-based inference rule defining each arc-relation
T78-1031 ) / SUBSET * The widest use of path-based inference is in \ -RSB- SA hierarchies
T78-1031 therefore , extend our syntax of path-based inference rules to allow a path of arc
T78-1031 Inference The major advantage of path-based inference is efficiency . Carrying out
T78-1031 relational network system that uses path-based inference . Although the original expressed
T78-1031 unambiguously . In SAMENLAQ II , path-based inference rules are entered by using the
T78-1031 efficiencies are lost by replacing path-based inference rules by node-based inference
A88-1014 reasoning from principles , while path-based inference represents ( unconscious ) reasoning
T78-1031 node-based inference we desired . Since path-based inference is embedded in the match routine
A88-1014 unifying matches . That is , where path-based inference is possible the system does not
A88-1014 that will permit both rule and path-based inference . Future work will include further
T78-1031 predicates . 5 . Advantages of Path-Based Inference The major advantage of path-based
P85-1006 either by explicit rules or by path-based inference ( Shapiro 19781 . It consists
T78-1031 Now , let us suppose that the path-based inference rule CLASS / CLASS / ( SUB -
J81-3010 enhancement made to SNePS to include path-based inference . The previous version of SNePS
T78-1031 network may be defined in terms of a path-based inference rule which the match routine
hide detail