KRIP: a Knowledge Representation System for Laws Relating to Industrial Property
暂无分享,去创建一个
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.
[1] Marek J. Sergot,et al. The British Nationality Act as a logic program , 1986, CACM.
[2] James F. Allen. Maintaining knowledge about temporal intervals , 1983, CACM.
[3] Hector J. Levesque,et al. Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.
[4] P. M. Melliar-Smith,et al. An interval logic for higher-level temporal reasoning , 1983, PODC '83.