Semantic networks as abstract data types

  • Authors:

  • Werner Dilger;Wolfgang Womann

  • Affiliations:

  • Fachbereich Informatik, Universitat Kaiserslautern, Kaiserslautern, FR, Germany;Fachbereich Informatik, Universitat Kaiserslautern, Kaiserslautern, FR, Germany

  • Venue:
  • IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
  • Year:
  • 1983

Quantified Score

Hi-index 0.00

Visualization

Abstract

A meta-description of semantic networks as abstract data types is given by a set of 35 production schemata. With this schemata it is possible to specify all types of semantic networks as abstract data types. By instantiation of concrete types for nodes and edges as semantic primitives we get from the meta-description axiomatic definitions of arbitrary types of semantic networks as abstract data types. The production schemata of the meta-description can be shown to be noetherian and confluent. Each term describing a semantic network can be reduced to an equivalent minimal generating expression.