ドキュメント・例題

新たに添付されたドキュメントの内容構成を簡単に以下に示す。

• イントロダクション資料
  本資料は、1)類推、抽象化および概念階層に関する基礎概念、 2)OSL、3)GDA、4)法的類推および5)オブジェクト指向風知識記述 の各項目について 文科系のユーザにも分かるように入門資料として解説したものである。 予備知識がなくても理解できるように努めた。
• 例題解説資料
  本資料は例題として添付したcivil.kbファイルに記述されている 知識ベースの内容を解説したものである。 本例題は、日本民法における代理権濫用の法律問題を 実際の最高裁判例で扱われた事例を基に、 対立する２つの学説を取り扱い、それぞれに依存して 類似性が切り替わり、類推適用される法律条文が切り替わる様子を 示すための例題になっている。 本資料では、この問題の分析結果を基に 分かりやすくかい摘んで解説している。
• GUIライブラリ外部仕様書
  GUI部品ライブラリを利用するプログラマのための インターフェース仕様の詳細な記述を行っている。 本ライブラリを単体で使用する際の使用手引きとしても利用できる。
• GUIライブラリ内部仕様書
  GUI部品ライブラリを利用するプログラマのための 内部仕様の詳細な記述を行っている。 各述語の処理、内部で利用されるデータ形式の仕様等を 詳細に記述している。 本ライブラリを改良して用いるユーザにとっては 参考になると思われる。