(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