Levesque(ID:5642/lev001)

System for knowledge representation


References:
  • Levesque, Mylopoulos, McCalla, Melli, and Tsotsos, "A formalism for modelling" pp 243-254. view details
          in Proc. First CSCSI/SCEIO National Conference, Vancouver, 1976 view details
  • Stefik, M. An examination of a frame-structured representation system.Proceedings of the International Joint Conference on Artificial Intelligence, Tokyo, Japan, pp. 845-852, August 1979. view details Abstract: The Unit Package is an interactive knowledge representation system with representations for individuals, classes, indefinite individuals, and abstractions. Links between the nodes are structured with explicit definitional roles, types of inheritance, defaults, and
    various data formats. This paper presents the general ideas of the Unit Package and compares it with other current knowledge representation languages. The Unit Package was created for a hierarchical planning application, and is now in use by several Al projects. pdf
          in Proc. First CSCSI/SCEIO National Conference, Vancouver, 1976 view details