An overview of a procedural approach to semantic networks
Hector J. Levesque, John Mylopoulos · 1977
The purpose of this short paper is to summarize the salient features of a formalism for the construction and use of a model representing knowledge of some domain. For a much more detailed exposition, including examples and motivation, see [Levesque 77 J where, among other things, portions of the formalism are represented using the formalism itself. Although the underlying ideas used in the development of the formalism are adaptations from diverse sources, our starting point is the work on semantic networks. A major problem in many semantic network proposals is the lack of a semantic