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

• 伊藤 秀昭

  (財)日本情報処理開発協会

• 滝沢 誠

  東京電機大学理工学部経営工学科

• 上野 晴樹

  東京電機大学理工学部経営工学科

書誌事項

タイトル別名

• A Logical Description of a Frame-based Data Structure

抄録

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.

収録刊行物

• 人工知能

  人工知能 1 (2), 246-249, 1986-12-01

  一般社団法人 人工知能学会

キーワード

• frame
• data-structure
• frame model
• first-order logic

詳細情報

• CRID: 1390567172578692992
• NII論文ID: 110002808595
• NII書誌ID: AN10067140
• DOI: 10.11517/jjsai.1.2_246
• ISSN: 24358614
• ISSN: 21882266
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • CiNii Articles
• 抄録ライセンスフラグ: 使用不可