フレーム型データ構造の一論理的記述について

抄録

This paper describes a rogical aspect of a frame-based knowledge representation model under development. A frame model which is provided by a frame-based system seems one of data models. The model is defined by means of the data structure and operations. We try to define the structure of the model to use for management of data. Although we made clear the operations,we did not present them in this paper. This paper presents a logical structure of the model. For this purpose,definitions on the data structure are given,and logical aspect is described by axioms in terms of a first-order logic,respectively. The model which is proposed by us is sound and complete. However,the model is more restricted than existing frame models. This research is the first step toward giving a logical framework for building of a frame-based system.