A knowledge assimilation method for logic databases |
| |
Authors: | Taizo Miyachi Susumu Kunifuji Hajime Kitakami Koichi Furukawa Akikazu Takeuchi Haruo Yokota |
| |
Affiliation: | 1. ICOT Research Center, Institute for New Generation Computer Technology, Mita Kokusai Bldg. 21F, 1-4-28, Mita, Minato-ku, 108, Tokyo, Japan
|
| |
Abstract: | In this paper we consider a deductive question-answering system for relational databases as a logic database system, and propose a knowledge assimilation method suitable for such a system. The concept of knowledge assimilation for deductive logic is constructed in an implementable form based on the notion of amalgamating object language and metalanguage. This concept calls for checks to be conducted on four subconcepts, provability, contradiction, redundancy, independency, and their corresponding internal database updates. We have implemented this logic database knowledge assimilation program in PROLOG, a logic programming language, and have found PROLOG suitable for knowledge assimilation implementation. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|