Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
J.F.Allen, et al., "Maintaining Knowledge about Temporal Intervals", CACM Vol.26, No.11, 1983.
R.J.Brachman, et al., "Krypton: A Functional Approach to Knowledge Representation", Computer Vol.16, No.10, 1983.
R.L.Schwartz, et al., "An Interval Logic for Higher-Level Temporal Reasoning".
N.Yonezaki, "Templog: A Tempral Logic Programming Language", Proc. Conference of Japan Society of Software Science and Technology, 1984 (in Japanese).
R.Kowalski, et al., "A Logic-based Calculus of Events", Research Memo, Imperial College, 1985.
M.J.Sergot, et al., "The British Nationality Act as a Logic Program", Research Memo, Imperial College, 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nitta, K., Nagao, J. (1986). KRIP: A knowledge representation system for laws relating to industrial property. In: Wada, E. (eds) Logic Programming '85. LP 1985. Lecture Notes in Computer Science, vol 221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16479-0_27
Download citation
DOI: https://doi.org/10.1007/3-540-16479-0_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16479-1
Online ISBN: 978-3-540-39820-2
eBook Packages: Springer Book Archive