Central government pension rules as a logic program

  • K. K. Bajaj
  • R. K. Dubash
  • Robert Kowalski
AI Applications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 444)


An automated legal reasoning system for the Central Civil Services (CCS) Pension Rules is under development. This paper discusses the use of logic programming for representing the knowledge contained in the rules and how the logic program can be used as an expert system. The emphasis of the paper is in the use of temporal reasoning in the laws under consideration, the separation of the logic part of the program from the user data interface and the interaction of the user through forms with the knowledge base. The importance of the interplay of the propositional logic analysis of the rules with the entity-relationship analysis for the determinmation of predicates and parameters is also discused.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Sergot MT, Sadri F, Kowalski RA, Krivaczek F, Hammond P and Cory H T (1986); 'The British’ Nationality Act as a Logic Program" CACM Vol 29 No. 5, pp 370–386Google Scholar
  2. 2.
    Bench-Capon J.J.M., Robinson G.O., Routen T.W., Sergot M.J. (May, 1989), "Large Scale Applications in Law: A formalism for Supplementary Benefit Legislation", Proceedings of the First International Conference on AI and Law, Boston, pp 190–198.Google Scholar
  3. 3.
    Bajaj K.K., Dubash R.K., Kamble A.S., Kowalski R A, Murthy B K, Rajgopalan D. (September 1989): "Indian Import Policy and Procedures as a Logic Program" KBCS Nodal Centre, Department of Electronics, Govt. of India, New DelhiGoogle Scholar
  4. 4.
    Kowalski R.A. (June 1989): "The treatment of negation in logic programs for representing legislation" Second International Conference on AI and law Vancouver, CanadaGoogle Scholar
  5. 5.
    Hammond P., Sergot M.J. (1984), APES Reference Manual. Logic Based Systems Ltd., Richmond, Surrey, England, 1984Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • K. K. Bajaj
    • 1
  • R. K. Dubash
    • 1
  • Robert Kowalski
    • 2
  1. 1.Kbcs Nodal Centre, Department of ElectronicsNew Delhi
  2. 2.Department of Computing, Imperial College of Science & TechnologyUniversity of LondonLondonEngland

Personalised recommendations