Knowledge realization and transformation in KRISP

  • Isao Sugiyai
  • Keiko Ishikawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)


KRISP is a system written in Prolog for the representation and inference of complex and ill-structured knowledge. Its logic programming approach makes knowledge transformation from experts' knowledge to a executable knowledge base easier. It also helps a process called knowledge realization which is the integration of fragmented knowledge into meaningful rules at each transformation stage. KRISP was applied to electric power system diagnosis and it was found that it performed a little better than domain experts and it was also effective in the problem domains where physical data structure can be mapped onto logical data structure directly.


Logic Programming Horn Clause Knowledge Primitive Logical Data Structure Physical Data Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Clocksin, W.f. and Mellish, C.S., Programming in Prolog, Springer-Verlag, 1981.Google Scholar
  2. 2.
    DEC, C-Prolog User's guide, Degital Equipment Corporation, 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Isao Sugiyai
    • 1
  • Keiko Ishikawa
    • 1
  1. 1.Heavy Apparatus Engineering LaboratoryTOSHIBA CorporationTokyoJapan

Personalised recommendations