KRIP: A knowledge representation system for laws relating to industrial property

  • Katsumi Nitta
  • Juntaro Nagao
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)


To develop an expert system which solves the legal problem, the predicate logic and the frame structure are not always appropriate, because they lack in the ability to describe temporal information. KRIP is an expert system of the Patent Law. The knowledge base of this system is built in the language KRIP/L that is integration of the frame structure and the interval logic and that is implemented in Prolog. In this paper, the specification of KRIP/L and the organization of KRIP system are reported.


Patent Application Frame Structure Inference Engine General Provision Type Check 
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]
    J.F.Allen, et al., "Maintaining Knowledge about Temporal Intervals", CACM Vol.26, No.11, 1983.Google Scholar
  2. [2]
    R.J.Brachman, et al., "Krypton: A Functional Approach to Knowledge Representation", Computer Vol.16, No.10, 1983.Google Scholar
  3. [3]
    R.L.Schwartz, et al., "An Interval Logic for Higher-Level Temporal Reasoning".Google Scholar
  4. [4]
    N.Yonezaki, "Templog: A Tempral Logic Programming Language", Proc. Conference of Japan Society of Software Science and Technology, 1984 (in Japanese).Google Scholar
  5. [5]
    R.Kowalski, et al., "A Logic-based Calculus of Events", Research Memo, Imperial College, 1985.Google Scholar
  6. [6]
    M.J.Sergot, et al., "The British Nationality Act as a Logic Program", Research Memo, Imperial College, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Katsumi Nitta
    • 1
  • Juntaro Nagao
    • 2
  1. 1.Electrotechnical Laboratory UmezonoIbarakiJapan
  2. 2.Nihon Business Consultant Co.TokyoJapan

Personalised recommendations