フレーム型知識とワーキングメモリ型知識間の知識表現形式自動変換ブログラムの設計

概要

論文の詳細を見る
A variety of software systems called ”shalls” or ”knowledge base design aids” have been Proposed in order to reduce the human labour required to develop expert systems. In those software systems, several knowledge representing methods such as ”if-then rule”, “frame” and ”semantic-network” are provided to expert system developers. However all the methods are not necessarily supported in every operating system (OS) or every cpu model. Therefore, a change in the software developing environment, which is characterized by a specific combination of cpu models and OS, frequently follows the transformation of the knowledge bases from one method to another. This kind of transformation usually requires a lot of human labour. With this background, a program has been developed to automatically transform the knowledge bases　between two types of knowledge representing methods of the KBMS. Because each of the two methods employs the list structured format to represent fact-type knowledge as well as rule type knowledge, this program is produced by the LISP（Common LISP）, which is considered to be one of the most adequate programming languages to process list structured data. This paper presents the basic ideas and the design results of the program.