ファジィ制約を備えた知識表現システムとそのISLISPによる実現

IPSJ Web Site 19 References

Bibliographic Information

Other Title
  • ファジィ セイヤク オ ソナエタ チシキ ヒョウゲン システム ト ソノ ISLISP ニ ヨル ジツゲン
  • A Knowledge Representation System with Fuzzy Constraints and Its Implementation in ISLISP
  • 知識処理

Search this article

Abstract

フレームとプロダクションシステムの機能を備えた高機能高性能知識表現システムとしてKL-ONEとその拡張であるLOOMなどがある．それらの基本機能を備え，特に，知識の制約表現機能を充実させた知識表現言語KRS-FZを設計し，その処理系を実現した．KRS-FZの処理系は，ワークステーション上だけでなく高性能パソコン上でも稼働するISLISP処理系TISLを用いて実現されたポータブルな高機能高性能知識表現システムである．KRS-FZにおいては，知識の制約表現として，確定制約だけでなくファジィ制約を導入し，曖昧な知識や概念の扱いを可能としている．概念・関係の解釈に，開世界仮説による解釈だけでなく，閉世界仮説による解釈を指定することによって非単調推論も実現している．このような多様な知識表現に基づく推論機構の効率の良い実現のために分類器を用い，その再帰的関数による仕様記述を与え，ISLISPにより実現した．また，KRS-FZシステムとその分類器による実験評価を行い，システムが優れた実行性能を有することを示した．

Several sophisticated and efficient knowledge representation systems, such as KL-ONE andLOOM, have been developed, integrating frames and production systems.We designed a knowledge representation language, called the KRS-FZ, with the basic mechanisms realized in the previous systems, enrichingmultiple constraints for knowledge representation.The KRS-FZ processor is implemented using an ISLISP processor TISL on a high performance PC. The KRS-FZ language is equipped with not only an extendedset of definitive constraints but also a set of fuzzy constraints toallow describing ambiguous knowledge and concepts. Use of theclassifier enables the KRS-FZ inference mechanism to be highlyefficient in monotonic and non-monotonic reasoning under multipleknowledge representations. Also, a recursive specification of theclassifier is given so as to allow an implementor to realize it easily into his knowledge representation system.

Journal

References(19)*help

See more

Keywords

Details 詳細情報について

Report a problem

Back to top