Deontic relevant logic as the logical basis for legal information systems

ABSTRACT

This paper discusses why classical mathematical logic, its various classical conservatives extensions, or its non-classical alternatives are not suitable candidates for the right fundamental logic to underlie legal information systems, and show that deontic relevant logic is a more hopeful candidate for the right fundamental logic.

REFERENCES

• 1: Anderson, A. R., Belnap Jr., N. D. Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton University Press, Princeton, 1975.
• 2: Anderson, A. R., Belnap Jr., N. D., Dunn, J. M. Entailment: The Logic of Relevance and Necessity, Vol. II. Princeton University Press, Princeton, 1992.
• 3: Aqvist, L. Deontic Logic. In Gabbay, D., Guenthner F. (eds.): Handbook of Philosophical Logic, 2nd Edition, Vol. 8. Kluwer Academic, Dordrecht, 2002, 147--264
• 4: Cheng, J. A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery. In Kawaguchi, E., Kangassalo, H., Jaakkola, H., Hamid, I. A. (eds.) Information Modelling and Knowledge Bases XI. IOS Press, Amsterdam, 2000, 136--159
• 5: Cheng, J. Strong Relevant Logic as the Universal Basis of Various Applied Logics for Knowledge Representation and Reasoning. In Proc. 15th European-Japanese Conference on Information Modelling and Knowledge Bases (Tallinn, Estonia, May 16--19, 2005). Tallinn University of Technology, Tallinn, 2005, 277--287.
• 6: Hage, J. C. Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic. Kluwer Academic, Dordrecht, 2002.
• 7: Hilpinen, R. Deontic Logic. In Goble, L. (ed.) The Blackwell Guide to Philosophical Logic. Blackwell, Oxford, 2001, 159--182.
• 8: Zeleznikow, J., Hunter, D. Building Intelligent Legal Information Systems, Kluwer Law and Taxation Publishers, Deventer, 1994.
• 9: Prakken, H. Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law, Kluwer Academic, Dordrecht, 1997.
• 10: Royakkers, L. M. M. Extending Deontic Logic for the Formalisation of Legal Rules. Kluwer Academic, Dordrecht, 1998.
• 11: Takahiro Tagawa , Jingde Cheng, Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic, Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence, p.39-48, August 18-22, 2002

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Modal logic

General Terms:
Theory

Keywords:
legal knowledge representation and reasoning, relevant logic