Knowledge acquisition mechanisms for a logical knowledge base including hypotheses

Mitsuru Ishizuka, Tetsusi Matsuda

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

A hypothesis-based reasoning system handles a knowledge base including complete (fact) and incomplete (hypothesis) knowledge. The handling of the incomplete knowledge plays an important role in realizing advanced AI functions such as commonsense, flexible matching, learning, etc. From both theoretical and practical viewpoints, the hypothesis-based logical reasoning system can be considered to be an important start point towards a next-generation knowledge base architecture. This paper describes an enhanced knowledge representation of the hypothetical reasoning system designed particularly for interactive diagnosis problems. The mechanisms of two knowledge acquisition modules developed for this knowledge base including hypotheses are then described. The first module, which is based on an inductive inference mechanism for the knowledge including hypotheses, enables multiple-concept formation from given examples. The key technology of this mechanism is a minimum generalization extended to the knowledge including hypotheses. The second module provides knowledge assimilation and management functions for the frame knowledge base constructed on the hypothetical reasoning system. That is, this module enables the following functions: (1) the system can assimilate new knowledge while maintaining the consistency and non-redundancy of the knowledge base; (2) the system rearranges the knowledge base when existing knowledge is deleted; and (3) the system can control the inheritance link of the frame knowledge base in response to an input indicating that the property inheritance from an upper frame is denied as an exceptional case. The nonmonotonicity of the hypothetical reasoning system is considered in these mechanisms. Shapiro's logical debugging algorithm is employed effectively to identify the knowledge which causes inconsistency. The whole system has been implemented using the metaprogramming of Prolog.

Original languageEnglish
Pages (from-to)77-86
Number of pages10
JournalKnowledge-Based Systems
Volume3
Issue number2
DOIs
Publication statusPublished - 1990
Externally publishedYes

Fingerprint

Knowledge acquisition
Knowledge representation
Control systems
Logic
Knowledge base
Module

Keywords

  • hypothetical reasoning
  • inductive inference
  • knowledge assimilation
  • knowledge management
  • logical knowledge base

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Knowledge acquisition mechanisms for a logical knowledge base including hypotheses. / Ishizuka, Mitsuru; Matsuda, Tetsusi.

In: Knowledge-Based Systems, Vol. 3, No. 2, 1990, p. 77-86.

Research output: Contribution to journalArticle

Ishizuka, Mitsuru ; Matsuda, Tetsusi. / Knowledge acquisition mechanisms for a logical knowledge base including hypotheses. In: Knowledge-Based Systems. 1990 ; Vol. 3, No. 2. pp. 77-86.
@article{b0fef7b952844ce89f746d1c6926aef9,
title = "Knowledge acquisition mechanisms for a logical knowledge base including hypotheses",
abstract = "A hypothesis-based reasoning system handles a knowledge base including complete (fact) and incomplete (hypothesis) knowledge. The handling of the incomplete knowledge plays an important role in realizing advanced AI functions such as commonsense, flexible matching, learning, etc. From both theoretical and practical viewpoints, the hypothesis-based logical reasoning system can be considered to be an important start point towards a next-generation knowledge base architecture. This paper describes an enhanced knowledge representation of the hypothetical reasoning system designed particularly for interactive diagnosis problems. The mechanisms of two knowledge acquisition modules developed for this knowledge base including hypotheses are then described. The first module, which is based on an inductive inference mechanism for the knowledge including hypotheses, enables multiple-concept formation from given examples. The key technology of this mechanism is a minimum generalization extended to the knowledge including hypotheses. The second module provides knowledge assimilation and management functions for the frame knowledge base constructed on the hypothetical reasoning system. That is, this module enables the following functions: (1) the system can assimilate new knowledge while maintaining the consistency and non-redundancy of the knowledge base; (2) the system rearranges the knowledge base when existing knowledge is deleted; and (3) the system can control the inheritance link of the frame knowledge base in response to an input indicating that the property inheritance from an upper frame is denied as an exceptional case. The nonmonotonicity of the hypothetical reasoning system is considered in these mechanisms. Shapiro's logical debugging algorithm is employed effectively to identify the knowledge which causes inconsistency. The whole system has been implemented using the metaprogramming of Prolog.",
keywords = "hypothetical reasoning, inductive inference, knowledge assimilation, knowledge management, logical knowledge base",
author = "Mitsuru Ishizuka and Tetsusi Matsuda",
year = "1990",
doi = "10.1016/0950-7051(90)90002-Y",
language = "English",
volume = "3",
pages = "77--86",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",
number = "2",

}

TY - JOUR

T1 - Knowledge acquisition mechanisms for a logical knowledge base including hypotheses

AU - Ishizuka, Mitsuru

AU - Matsuda, Tetsusi

PY - 1990

Y1 - 1990

N2 - A hypothesis-based reasoning system handles a knowledge base including complete (fact) and incomplete (hypothesis) knowledge. The handling of the incomplete knowledge plays an important role in realizing advanced AI functions such as commonsense, flexible matching, learning, etc. From both theoretical and practical viewpoints, the hypothesis-based logical reasoning system can be considered to be an important start point towards a next-generation knowledge base architecture. This paper describes an enhanced knowledge representation of the hypothetical reasoning system designed particularly for interactive diagnosis problems. The mechanisms of two knowledge acquisition modules developed for this knowledge base including hypotheses are then described. The first module, which is based on an inductive inference mechanism for the knowledge including hypotheses, enables multiple-concept formation from given examples. The key technology of this mechanism is a minimum generalization extended to the knowledge including hypotheses. The second module provides knowledge assimilation and management functions for the frame knowledge base constructed on the hypothetical reasoning system. That is, this module enables the following functions: (1) the system can assimilate new knowledge while maintaining the consistency and non-redundancy of the knowledge base; (2) the system rearranges the knowledge base when existing knowledge is deleted; and (3) the system can control the inheritance link of the frame knowledge base in response to an input indicating that the property inheritance from an upper frame is denied as an exceptional case. The nonmonotonicity of the hypothetical reasoning system is considered in these mechanisms. Shapiro's logical debugging algorithm is employed effectively to identify the knowledge which causes inconsistency. The whole system has been implemented using the metaprogramming of Prolog.

AB - A hypothesis-based reasoning system handles a knowledge base including complete (fact) and incomplete (hypothesis) knowledge. The handling of the incomplete knowledge plays an important role in realizing advanced AI functions such as commonsense, flexible matching, learning, etc. From both theoretical and practical viewpoints, the hypothesis-based logical reasoning system can be considered to be an important start point towards a next-generation knowledge base architecture. This paper describes an enhanced knowledge representation of the hypothetical reasoning system designed particularly for interactive diagnosis problems. The mechanisms of two knowledge acquisition modules developed for this knowledge base including hypotheses are then described. The first module, which is based on an inductive inference mechanism for the knowledge including hypotheses, enables multiple-concept formation from given examples. The key technology of this mechanism is a minimum generalization extended to the knowledge including hypotheses. The second module provides knowledge assimilation and management functions for the frame knowledge base constructed on the hypothetical reasoning system. That is, this module enables the following functions: (1) the system can assimilate new knowledge while maintaining the consistency and non-redundancy of the knowledge base; (2) the system rearranges the knowledge base when existing knowledge is deleted; and (3) the system can control the inheritance link of the frame knowledge base in response to an input indicating that the property inheritance from an upper frame is denied as an exceptional case. The nonmonotonicity of the hypothetical reasoning system is considered in these mechanisms. Shapiro's logical debugging algorithm is employed effectively to identify the knowledge which causes inconsistency. The whole system has been implemented using the metaprogramming of Prolog.

KW - hypothetical reasoning

KW - inductive inference

KW - knowledge assimilation

KW - knowledge management

KW - logical knowledge base

UR - http://www.scopus.com/inward/record.url?scp=30244477455&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=30244477455&partnerID=8YFLogxK

U2 - 10.1016/0950-7051(90)90002-Y

DO - 10.1016/0950-7051(90)90002-Y

M3 - Article

VL - 3

SP - 77

EP - 86

JO - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

IS - 2

ER -