Deontic Relevant Logic as the Logical Basis for Representing and Reasoning about Legal Knowledge in Legal Information Systems

Authors:
Jingde Cheng
Affiliations:
Department of Information and Computer Sciences, Saitama University, Saitama, Japan 338-8570
Venue:
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Year:
2008

Citing 4
Cited 0

The Role of Logic in Computational Models of Legal Argument: A Critical Survey

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Deontic Relevant Logic: A Strong Relevant Logic Approach to Removing Paradoxes from Deontic Logic

PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Deontic relevant logic as the logical basis for legal information systems

Proceedings of the 2006 ACM symposium on Applied computing
Knowledge Discovery from Legal Databases

Knowledge Discovery from Legal Databases

Quantified Score

Hi-index	0.00

Visualization

Abstract

To represent and reason about various laws, legal rules, and precedents in legal information systems, we need a right fundamental logic system to provide us with a logical validity criterion of legal reasoning as well as a formal representation language. This position paper discusses why classical mathematical logic, its classical conservative extensions, or its non-classical alternatives are not suitable candidates for the fundamental logic, and shows that deontic relevant logic is a more hopeful candidate for the fundamental logic we need.