Knowledge Information Processing System Based on Analogical Reasoning

本课题的目标是在类比推理（analogical reasoning，简称AR）的理论基础上，开发一个知识信息处理系统（knowledge information processing system，简称KIPS）。为了充分利用逻辑程序设计的理论成果，本文采用Horm子句集表示知识，首先建立了AR推理理论，它由子句实例化、子句转换和肯定前件三个推理规则组成，从而使AR推理与演绎推理和归纳推理一样得到了处理。其次，我们在Sun-3系统上用Prolog语言实现了一个增强现实系统，使其运行速度提高了6 ~ 12倍，并在增强现实系统和日语用户之间划分了一个新的简单的日语界面。通过使用一个非常小的字典，该界面与用户进行通信，以分析日语文本，并在将其翻译为Horn类之前解决其中的句法歧义。 ...更多信息 使用.通过使用在与用户的通信过程中获得的语法信息，完全自动地执行匡威翻译，即从Horn子句到日语的翻译。因此，我们的界面充当用户和系统之间的协调器。这个简单的想法确实减轻了界面的负担。在AR之前，我们必须从知识库中为AR选择一个源域。为此，我们开发了一种知识抽象技术。KIPS利用抽象的知识，可以检索出一个候选的源域，也可以排除无用的源域，安装上述自然语言接口和抽象技术，完成了基于AR的KIPS的开发。我们还获得了重要的结果，并行复杂性的知识信息处理，包括AR推理。少

This project aimed at developing a knowledge information processing system(KIPS,for short)based on firm theoretical foundations of analogical reasoning(AR,for short). In this project we represent knowledge by sets of Horm clauses so as to take full advantage of theoretical results of logic programming.First we have established a theory of AR which consists of three inference rules, instantiation of clauses, transformation of clauses and modus ponens,and thus our AR can be dealt with in the same framework as decluctive and inductive inferences. Secondly we have realized an AR system in Sun-3 system using Prolog, and made it much more efficient;the new version works 6 to 12 times as fast as the old one.We have also divided a new simple Japanese language interface between the AR system and Japanese users. By using a very small dictionary, the interface communicates with the users to analyze Japanese texts and to resolve syntactical ambiguities in them before translating them into Horn cla … More uses. The converse translation, that is, translations from Horn clauses into Japanese are carried out fully automatically by using the grammatical information obtained in the process of the communication with the users. Thus our interface works as a coordinator between users and the system. This simple idea has really lightened burden of the interface.Prior to AR, we must select a source domain for the AR from the knowledge base. For this purpose we have developed a technique for abstraction of knowledge. By using the abstracted knowledge the KIPS can retrieve a candidate of the source domain and also can exclude helpless source domains.Installing the above mentioned natural language interface and abstraction technique, we have completed the development of the KIPS based on AR.As to the other theoretical foundations of AR we have generalized the theory of AR from such viewpoints as Russell's determination, hierarchical domain and inductive inference. We also have obtained important results on the parallel complexity of inferences in knowledge information processing including AR. Less