Central Government Pension Rules as a Logic Program

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.