Logic and Semantic Networks

An extended form of semantic network is defined, which can
be regarded as a syntactic variant of the clausal form of logic.
By virtue of its relationship with logic, the extended
semantic network is provided with a precise semantics,
inference rules, and a procedural interpretation.  On
the other hand, by regarding semantic networks as an 
abstract data structure for the representation of clauses, we provide a
theorem-prover with a potentially useful indexing scheme and path-following
strategy for guiding the search for a proof.

CACM March, 1979

Deliyanni, A.
Kowalski, R.

Logic, semantic networks, theorem-proving, indexing, resolution, deduction, 
logic programming

3.42 3.64 5.21

CA790304 DH April 12, 1979  3:53 PM

3133	4	3133
3133	5	3133
3133	5	3133
3133	5	3133
3154	5	3133
2046	6	3133
2110	6	3133
3133	6	3133