- 著者
-
高木 利久
松尾 文碩
二村 祥一
牛島 和夫
- 雑誌
- 全国大会講演論文集
- 巻号頁・発行日
- vol.33, pp.1133-1134, 1986-10-01
筆者らは、Adbisと呼ぶ、推論関係型データベース管理システムを開発し、1982年以来、九州大学大型計算機センターにおいて実用に供してきた。AdbisはHorn集合の反証に基づく推論機構を備えている。最近、Adbisを使用している機関あるいは使用予定の機関から、エキスパートシステムをAdbisの上に構築したいという要望が出てきた。本研究はAdbisにプロダクションシステムの構築を支援する機構を追加するとともに、これを用いた実用規模のエキスパートシステムの構築を目指すものである。現在、計画のうち、プロダクションシステム構築支援機構の基本設計と、これをHorn集合推論系を用いて実現する方式の設計とを終了した。2節ではプロダクションシステム構築支援機構の外部仕様を、3節ではHorn集合への翻訳方式について述べる。4節ではこの機構の実現に必要なAdbisの拡張の概要について述べる。