other,4-1-T78-1031,bq |
triggered . Two styles of performing
<term>
|
inference
|
</term>
in
<term>
semantic networks
</term>
are
|
#12054
Two styles of performinginference in semantic networks are presented and compared. |
other,6-1-T78-1031,bq |
performing
<term>
inference
</term>
in
<term>
|
semantic networks
|
</term>
are presented and compared .
<term>
|
#12056
Two styles of performing inference insemantic networks are presented and compared. |
tech,0-2-T78-1031,bq |
</term>
are presented and compared .
<term>
|
Path-based inference
|
</term>
allows an
<term>
arc
</term>
or a
<term>
|
#12063
Two styles of performing inference in semantic networks are presented and compared.Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specified path between the same two nodes. |
other,4-2-T78-1031,bq |
Path-based inference
</term>
allows an
<term>
|
arc
|
</term>
or a
<term>
path of arcs
</term>
between
|
#12067
Path-based inference allows anarc or a path of arcs between two given nodes to be inferred from the existence of another specified path between the same two nodes. |
other,7-2-T78-1031,bq |
</term>
allows an
<term>
arc
</term>
or a
<term>
|
path of arcs
|
</term>
between two given
<term>
nodes
</term>
|
#12070
Path-based inference allows an arc or apath of arcs between two given nodes to be inferred from the existence of another specified path between the same two nodes. |
other,13-2-T78-1031,bq |
path of arcs
</term>
between two given
<term>
|
nodes
|
</term>
to be inferred from the existence
|
#12076
Path-based inference allows an arc or a path of arcs between two givennodes to be inferred from the existence of another specified path between the same two nodes. |
other,23-2-T78-1031,bq |
the existence of another specified
<term>
|
path
|
</term>
between the same two
<term>
nodes
</term>
|
#12086
Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specifiedpath between the same two nodes. |
other,28-2-T78-1031,bq |
<term>
path
</term>
between the same two
<term>
|
nodes
|
</term>
.
<term>
Path-based inference rules
|
#12091
Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specified path between the same twonodes. |
other,0-3-T78-1031,bq |
between the same two
<term>
nodes
</term>
.
<term>
|
Path-based inference rules
|
</term>
may be written using a
<term>
binary
|
#12093
Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specified path between the same two nodes.Path-based inference rules may be written using a binary relational calculus notation. |
other,8-3-T78-1031,bq |
rules
</term>
may be written using a
<term>
|
binary relational calculus notation
|
</term>
.
<term>
Node-based inference
</term>
|
#12101
Path-based inference rules may be written using abinary relational calculus notation. |
tech,0-4-T78-1031,bq |
relational calculus notation
</term>
.
<term>
|
Node-based inference
|
</term>
allows a
<term>
structure
</term>
of
<term>
|
#12106
Path-based inference rules may be written using a binary relational calculus notation.Node-based inference allows a structure of nodes to be inferred from the existence of an instance of a pattern of node structures. |
other,4-4-T78-1031,bq |
Node-based inference
</term>
allows a
<term>
|
structure
|
</term>
of
<term>
nodes
</term>
to be inferred
|
#12110
Node-based inference allows astructure of nodes to be inferred from the existence of an instance of a pattern of node structures. |
other,6-4-T78-1031,bq |
</term>
allows a
<term>
structure
</term>
of
<term>
|
nodes
|
</term>
to be inferred from the existence
|
#12112
Node-based inference allows a structure ofnodes to be inferred from the existence of an instance of a pattern of node structures. |
other,20-4-T78-1031,bq |
existence of an instance of a pattern of
<term>
|
node structures
|
</term>
.
<term>
Node-based inference rules
|
#12126
Node-based inference allows a structure of nodes to be inferred from the existence of an instance of a pattern ofnode structures. |
other,0-5-T78-1031,bq |
pattern of
<term>
node structures
</term>
.
<term>
|
Node-based inference rules
|
</term>
can be constructed in a
<term>
semantic
|
#12129
Node-based inference allows a structure of nodes to be inferred from the existence of an instance of a pattern of node structures.Node-based inference rules can be constructed in a semantic network using a variant of a predicate calculus notation. |
other,8-5-T78-1031,bq |
rules
</term>
can be constructed in a
<term>
|
semantic network
|
</term>
using a variant of a
<term>
predicate
|
#12137
Node-based inference rules can be constructed in asemantic network using a variant of a predicate calculus notation. |
tech,0-6-T78-1031,bq |
predicate calculus notation
</term>
.
<term>
|
Path-based inference
|
</term>
is more efficient , while
<term>
node-based
|
#12148
Node-based inference rules can be constructed in a semantic network using a variant of a predicate calculus notation.Path-based inference is more efficient, while node-based inference is more general. |
tech,7-6-T78-1031,bq |
inference
</term>
is more efficient , while
<term>
|
node-based inference
|
</term>
is more general . A method is described
|
#12155
Path-based inference is more efficient, whilenode-based inference is more general. |
other,2-8-T78-1031,bq |
strengths of each . Applications of
<term>
|
path-based inference rules
|
</term>
to the representation of the
<term>
|
#12187
Applications ofpath-based inference rules to the representation of the extensional equivalence of intensional concepts, and to the explication of inheritance in hierarchies are sketched. |
other,10-8-T78-1031,bq |
</term>
to the representation of the
<term>
|
extensional equivalence
|
</term>
of
<term>
intensional concepts
</term>
|
#12195
Applications of path-based inference rules to the representation of theextensional equivalence of intensional concepts, and to the explication of inheritance in hierarchies are sketched. |