Skip to main content
Springer Nature Link
Log in

Central government pension rules as a logic program

  • AI Applications
  • Conference paper
  • First Online:
Knowledge Based Computer Systems (KBCS 1989)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 444))

Included in the following conference series:

  • 1969 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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–386

    Google Scholar 

  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. 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 Delhi

    Google Scholar 

  4. Kowalski R.A. (June 1989): "The treatment of negation in logic programs for representing legislation" Second International Conference on AI and law Vancouver, Canada

    Google Scholar 

  5. Hammond P., Sergot M.J. (1984), APES Reference Manual. Logic Based Systems Ltd., Richmond, Surrey, England, 1984

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Kbcs Nodal Centre, Department of Electronics, Lodi Road, A Block, Cgo Complex, New Delhi

    K. K. Bajaj & R. K. Dubash

  2. Department of Computing, Imperial College of Science & Technology, University of London, London, England

    Robert Kowalski

Authors
  1. K. K. Bajaj
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. K. Dubash
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Robert Kowalski
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

S. Ramani R. Chandrasekar K. S. R. Anjaneyulu

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bajaj, K.K., Dubash, R.K., Kowalski, R. (1990). Central government pension rules as a logic program. In: Ramani, S., Chandrasekar, R., Anjaneyulu, K.S.R. (eds) Knowledge Based Computer Systems. KBCS 1989. Lecture Notes in Computer Science, vol 444. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018365

Download citation

  • DOI: https://doi.org/10.1007/BFb0018365

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52850-0

  • Online ISBN: 978-3-540-47168-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics