[384K]
Quixote の具体的特徴としては、主に5つ挙げられます。
それは、 (1) オブジェクト識別性、(2) 包摂制約、
(3) 属性継承、(4) モジュール階層、(5) 仮説付き問合せと仮定付き解
です。
この特徴が、どのようなものに役に立つかと申しますと、
(1) と (3) は 効率的な表現 に、
(2) は物事の 関係付け に、
(3) と (4) は、プログラムなどの 分類 に
役立ちます。
また、(5) によって、 Quixote は演繹推論ばかりではなく、
仮説推論 もできることが分かります。
これらを具体的に説明する前に、今回の例題を説明しましょう。
次の OHP へ
前の OHP へ
OHP の一覧へ