(79)知識表現言語:Quixote
KLIC版
マ シ ン:UNIX マシン
環 境:KLIC, UNIX
言 語:KL1, C, Emacs LISP
ソース量:6 MB
文 書:マニュアル (日本語)
概要
知識表現、推論などの知識情報処理の基本機能を提供する言語処理系である。
構成
機能
データベースや自然言語処理などの広範な応用を対象とした知識表現・推論機
能、および統合型知識ベース管理システム構築のための機能を備え、知識情報
処理システム構築のための実験環境を提供する。本バージョンはKLICによ
るポータビリティの向上、GNU-EmacsおよびX-Windowによるユーザインタフェー
スが特徴である。
Quixoteは論理型言語・演繹データベースの拡張として、オブジェクト
指向概念、制約、モジュール階層を導入した、演繹オブジェクト指向データベー
ス言語であり、以下のような特徴を持つ。
- 拡張項によるオブジェクト識別性の導入
- オブジェクト間の上位/下位の包摂関係に関する制約
- オブジェクト識別性、包摂関係制約に基づくオブジェクトの属性継承とそ
の例外の処理
- モジュール機能の導入による、知識ベースの階層化/状況依存性
- 仮説つきの答え/知識ベースへの仮説追加を伴う問い合わせの導入
FTP
- README,
- INSTALL.
- 知識表現言語:Quixote KLIC版 [700K]
- 知識表現言語:Quixote ドキュメント [104K]
- 知識表現言語:Quixote Client [158K]
- 知識表現言語:Quixote Server [429K]
www-admin@icot.or.jp