skip to main content
10.1145/383535.383550acmconferencesArticle/Chapter ViewAbstractPublication PagesicailConference Proceedingsconference-collections
Article

Modelling reasoning about evidence in legal procedure

Authors Info & Claims
Published:01 May 2001Publication History

ABSTRACT

This article investigates the modelling of reasoning about evidence in legal procedure. To this end, a dialogue game model of the relevant parts of Dutch civil procedure is developed with three players: two adversaries and a judge. The model aims to be both legally realistic and technically well-founded. Legally, the main achievement is a more realistic account of the judge's role in legal procedures than that provided by current models. Technically, the model aims to preserve the features of an earlier-developed framework for two-player argumentative dialogue systems.

References

  1. 1.T. Bench-Capon. Specification and implementation of Toulmin dialogue game. In Legal Knowledge-Based Systems. JURIX: The Eleventh Conference, pages 5-19, Nijmegen, 1998. Gerard Noodt Instituut.]]Google ScholarGoogle Scholar
  2. 2.G. Brewka. Dynamic argument systems: a formal model of argumentation processes based on situation calculus. Journal of Logic and Computation, 2001. To appear.]]Google ScholarGoogle ScholarCross RefCross Ref
  3. 3.T. Gordon. The Pleadings Game: an exercise in computational dialectics. Artificial Intelligence and Law, 2:239-292, 1994.]]Google ScholarGoogle ScholarCross RefCross Ref
  4. 4.T. Gordon and N. Karaccapilidis. The Zeno argumentation framework. In Proceedings of the Sixth International Conference onArtificial Intelligence and Law, pages 10-18, New York, 1997. ACM Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5.J. Hage, R. Leenes, and A. Lodder. Hard cases: a procedural approach. Artificial Intelligence andLaw, 2:113-166, 1994.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6.H. Jakobovits. On the Theory of Argumentation Frameworks. Doctoral dissertation Free University Brussels, 2000.]]Google ScholarGoogle Scholar
  7. 7.R. Leenes. Hercules of Karneades: Hard Cases in Recht en Rechtsinformatica. (Hercules or Karneades: hard cases in law and legal informatics). Twente University Press, Enschede, 1998. (In Dutch).]]Google ScholarGoogle Scholar
  8. 8.A. Lodder. DiaLaw. On Legal Justification and Dialogical Models of Argumentation. Law and Philosophy Library. Kluwer Academic Publishers, Dordrecht/Boston/London, 1999.]]Google ScholarGoogle Scholar
  9. 9.R. Loui. Process and policy: resource-bounded non-demonstrative reasoning. Computational Intelligence, 14:1-38, 1998.]]Google ScholarGoogle ScholarCross RefCross Ref
  10. 10.R. Loui, J. Norman, J. Alpeter, D. Pinkard, D. Craven, J. Linsday, and M. Foltz. Progress on Room 5: A testbed for public interactive semi-formal legal argumentation. In Proceedings of the Sixth International Conference onArtificial Intelligence and Law, pages 207-214, New York, 1997. ACM Press.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11.J. MacKenzie. Question-begging in non-cumulative systems. Journal of Philosophical Logic, 8:117-133, 1979.]]Google ScholarGoogle ScholarCross RefCross Ref
  12. 12.J. Pollock. Cognitive Carpentry. A Blueprint for How to Build a Person. MIT Press, Cambridge, MA, 1995.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. 13.H. Prakken. On dialogue systems with speech acts, arguments, and counterarguments. In Proceedings of the 7th European Workshop on Logic for Artificial Intelligence (JELIA'2000), number 1919 in Springer Lecture Notes in AI, pages 224-238, Berlin, 2000. Springer Verlag.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 14.H. Prakken. Modelling defeasibility inlaw: logic or procedure? Fundamenta Informaticae, 2001. To appear.]]Google ScholarGoogle Scholar
  15. 15.H. Prakken. Relating protocols for dynamic dispute with logics for defeasible argumentation. Synthese, 127:187-219, 2001.]]Google ScholarGoogle ScholarCross RefCross Ref
  16. 16.H. Prakken and T.F. Gordon. Rules of order for electronic group decision making - a formalization methodology. In J.A.Padget (ed.) Collaboration between Human and Artificial Societies. Coordination and Agent-Based Distributed Computing, Springer Lecture Notes in AI 1624, 246-263, Berlin, 1998.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 17.H. Prakken and G. Sartor. A dialectical model of assessing con icting arguments in legal reasoning. Artificial Intelligence and Law, 4:331-368, 1996.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. 18.G. Vreeswijk. The computational value of debate in defeasible reasoning. Argumentation, 9:305-341, 1995.]]Google ScholarGoogle ScholarCross RefCross Ref
  19. 19.D. Walton and E. Krabbe. Commitment in Dialogue. Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany, NY, 1995.]]Google ScholarGoogle Scholar

Index Terms

  1. Modelling reasoning about evidence in legal procedure

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        ICAIL '01: Proceedings of the 8th international conference on Artificial intelligence and law
        May 2001
        234 pages
        ISBN:1581133685
        DOI:10.1145/383535

        Copyright © 2001 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 May 2001

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • Article

        Acceptance Rates

        Overall Acceptance Rate69of169submissions,41%

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader