Logic and semantic networks
- 1 March 1979
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 22 (3) , 184-192
- https://doi.org/10.1145/359080.359090
Abstract
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.Keywords
This publication has 5 references indexed in Scilit:
- Representing and locating deduction rules in a semantic networkACM SIGART Bulletin, 1977
- Expanding the Utility of Semantic Networks Through PartitioningPublished by Defense Technical Information Center (DTIC) ,1975
- A Unifying View of Some Linear Herbrand ProceduresJournal of the ACM, 1972
- Refinement theorems in resolution theoryPublished by Springer Nature ,1970
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965