权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Knowledge Information Processing System Based on Analogical Reasoning

基于类比推理的知识信息处理系统

基本信息

批准号：
62880008
负责人：
ARIKAWA Setsuo
金额：
$ 9.86万
依托单位：
Kyushu University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Developmental Scientific Research
财政年份：
1987
资助国家：
日本
起止时间：
1987 至 1989
项目状态：
已结题

项目摘要

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

该项目旨在开发一个基于类比推理（简称AR，简称AR）坚实理论基础的知识信息处理系统（简称KIPS，简称KIPS）。在这个项目中，我们用Horm子句集来表示知识，以充分利用逻辑编程的理论成果。首先，我们建立了由三个推理规则、子句实例化、子句变换和肯定前件组成的AR理论，因此我们的AR可以在与演绎推理和归纳推理相同的框架中处理。其次，我们使用Prolog在Sun-3系统中实现了AR系统，并使其更加高效；新版本的运行速度是旧版本的6到12倍。我们还在AR系统和日本用户之间划分了一个新的简单的日语界面。通过使用一个非常小的字典，该界面与用户进行交流，分析日语文本并解决其中的语法歧义，然后将其翻译成 Horn cla … 更多用途。逆向翻译，即从霍恩子句翻译成日语，是利用与用户交流过程中获得的语法信息全自动进行的。因此，我们的界面充当用户和系统之间的协调器。这个简单的想法确实减轻了界面的负担。在AR之前，我们必须从知识库中选择AR的源域。为此，我们开发了一种知识抽象技术。通过使用抽象知识，KIPS可以检索源域的候选者，也可以排除无助的源域。安装上述自然语言接口和抽象技术，我们完成了基于AR的KIPS的开发。至于AR的其他理论基础，我们从罗素判定、层次域和归纳推理等角度概括了AR理论。我们还在包括 AR 在内的知识信息处理中推理的并行复杂性方面获得了重要成果。较少的