著者

酒井 浩 張 裕民 有川 節夫

出版者

九州大学大学院総合理工学研究科

雑誌

九州大学大学院総合理工学報告 (ISSN:03881717)

巻号頁・発行日

vol.10, no.1, pp.59-66, 1988-06-30

---

Theoretical and practical issues about an intellectual information system MIR-RF (M___ulti-stage I___nformation R___etrieval System Based upon R___esearcher F___iles), which was realized by fortran in 1975, are discussed. One natural way to acquire knowledge is theoretically reformalized based on the logic program, in this case thesauri play an important role. According to the formalization, the representation and description of knowledge (or informations) are more simplified than those of former system, and a new MIR-RF system can easily be realized by Prolog.