Proc. of FGCS '94, ICOT, Tokyo, December 1994

Knowledge Representation Language Quixote

Hiroshi Tsuda and Kazumasa Yokota

Institute for New Generation Computer Technology (ICOT)
1-4-28 Mita, Minato-ku, Tokyo 108, Japan
{tsuda,kyokota}@icot.or.jp

Abstract:

This paper outlines the language and implementation of the knowledge representation language Quixote.

Quixote is a hybrid language of deductive object-oriented database (DOOD) and constraint logic programming (CLP) based on subsumption relations. The new mechanisms of Quixote are a combination of object-orientation concepts such as object identity and property inheritance, and the concept of a module that classifies a large knowledge base. In addition, its logical inference system is extended to be able to make hypothetical reasoning and restricted abduction. Such features play important roles in applications such as legal reasoning, biological databases, and natural language understanding.

There are two kinds of Quixote implementation; Quixote which is a full client-server style implementation in KLIC (KL1) and micro-Quixote which is small restricted implementation in C.

All of this proceedings (Compressed PostScript file) :

Knowledge Representation Language (173KB)

www-admin@icot.or.jp