A computational model for trial reasoning

Katsumi Nitta; Stephen Wong; Yoshihisa Ohtake

doi:10.1145/158976.158979

A computational model for trial reasoning

Katsumi Nitta, Stephen Wong, Yoshihisa Ohtake

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

10 Scopus citations

Abstract

The purpose of this paper is to describe a computational model for legal reasoning in criminal law (i.e. trial reasoning). This logic-programming based model contains seven key components: facts of a new case, old cases, domain knowledge, meta rules, similarity matching relations, various implications, and two explicit agents, the plaintiff and the defendant, with opposing goals and reasoning strategies. The argumentation process in this model can be likened to a two-agent game. One agent puts forward an argument. The other agent recognizes the situation, generates candidates to refute the claim, and selects the best one for the next move. The game ends when any one agent can no longer make a move. Certain debate strategies of this model are illustrated in this paper with examples. In addition, the computational model presented has been used in the design and development of HELIC-II - a parallel knowledge-based system for trial reasoning.

Original language	English (US)
Title of host publication	Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993
Publisher	Association for Computing Machinery
Pages	20-29
Number of pages	10
ISBN (Electronic)	0897916069, 9780897916066
DOIs	https://doi.org/10.1145/158976.158979
State	Published - Aug 1 1993
Event	4th International Conference on Artificial Intelligence and Law, ICAIL 1993 - Amsterdam, Netherlands Duration: Jun 15 1993 → Jun 18 1993

Publication series

Name	Proceedings of the International Conference on Artificial Intelligence and Law
Volume	Part F127196

Conference

Conference	4th International Conference on Artificial Intelligence and Law, ICAIL 1993
Country/Territory	Netherlands
City	Amsterdam
Period	6/15/93 → 6/18/93

ASJC Scopus subject areas

Software
Artificial Intelligence
Law

Access to Document

10.1145/158976.158979

Cite this

Nitta, K., Wong, S., & Ohtake, Y. (1993). A computational model for trial reasoning. In Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993 (pp. 20-29). (Proceedings of the International Conference on Artificial Intelligence and Law; Vol. Part F127196). Association for Computing Machinery. https://doi.org/10.1145/158976.158979

A computational model for trial reasoning. / Nitta, Katsumi; Wong, Stephen; Ohtake, Yoshihisa.
Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993. Association for Computing Machinery, 1993. p. 20-29 (Proceedings of the International Conference on Artificial Intelligence and Law; Vol. Part F127196).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Nitta, K, Wong, S & Ohtake, Y 1993, A computational model for trial reasoning. in Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993. Proceedings of the International Conference on Artificial Intelligence and Law, vol. Part F127196, Association for Computing Machinery, pp. 20-29, 4th International Conference on Artificial Intelligence and Law, ICAIL 1993, Amsterdam, Netherlands, 6/15/93. https://doi.org/10.1145/158976.158979

@inproceedings{271a82b3841240cc9952a6b7fa30c50e,

title = "A computational model for trial reasoning",

abstract = "The purpose of this paper is to describe a computational model for legal reasoning in criminal law (i.e. trial reasoning). This logic-programming based model contains seven key components: facts of a new case, old cases, domain knowledge, meta rules, similarity matching relations, various implications, and two explicit agents, the plaintiff and the defendant, with opposing goals and reasoning strategies. The argumentation process in this model can be likened to a two-agent game. One agent puts forward an argument. The other agent recognizes the situation, generates candidates to refute the claim, and selects the best one for the next move. The game ends when any one agent can no longer make a move. Certain debate strategies of this model are illustrated in this paper with examples. In addition, the computational model presented has been used in the design and development of HELIC-II - a parallel knowledge-based system for trial reasoning.",

author = "Katsumi Nitta and Stephen Wong and Yoshihisa Ohtake",

note = "Publisher Copyright: {\textcopyright} 1993 ACM. Copyright: Copyright 2018 Elsevier B.V., All rights reserved.; 4th International Conference on Artificial Intelligence and Law, ICAIL 1993 ; Conference date: 15-06-1993 Through 18-06-1993",

year = "1993",

month = aug,

day = "1",

doi = "10.1145/158976.158979",

language = "English (US)",

series = "Proceedings of the International Conference on Artificial Intelligence and Law",

publisher = "Association for Computing Machinery",

pages = "20--29",

booktitle = "Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993",

}

TY - GEN

T1 - A computational model for trial reasoning

AU - Nitta, Katsumi

AU - Wong, Stephen

AU - Ohtake, Yoshihisa

PY - 1993/8/1

Y1 - 1993/8/1

N2 - The purpose of this paper is to describe a computational model for legal reasoning in criminal law (i.e. trial reasoning). This logic-programming based model contains seven key components: facts of a new case, old cases, domain knowledge, meta rules, similarity matching relations, various implications, and two explicit agents, the plaintiff and the defendant, with opposing goals and reasoning strategies. The argumentation process in this model can be likened to a two-agent game. One agent puts forward an argument. The other agent recognizes the situation, generates candidates to refute the claim, and selects the best one for the next move. The game ends when any one agent can no longer make a move. Certain debate strategies of this model are illustrated in this paper with examples. In addition, the computational model presented has been used in the design and development of HELIC-II - a parallel knowledge-based system for trial reasoning.

AB - The purpose of this paper is to describe a computational model for legal reasoning in criminal law (i.e. trial reasoning). This logic-programming based model contains seven key components: facts of a new case, old cases, domain knowledge, meta rules, similarity matching relations, various implications, and two explicit agents, the plaintiff and the defendant, with opposing goals and reasoning strategies. The argumentation process in this model can be likened to a two-agent game. One agent puts forward an argument. The other agent recognizes the situation, generates candidates to refute the claim, and selects the best one for the next move. The game ends when any one agent can no longer make a move. Certain debate strategies of this model are illustrated in this paper with examples. In addition, the computational model presented has been used in the design and development of HELIC-II - a parallel knowledge-based system for trial reasoning.

UR - http://www.scopus.com/inward/record.url?scp=84972353596&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84972353596&partnerID=8YFLogxK

U2 - 10.1145/158976.158979

DO - 10.1145/158976.158979

M3 - Conference contribution

AN - SCOPUS:84972353596

T3 - Proceedings of the International Conference on Artificial Intelligence and Law

SP - 20

EP - 29

BT - Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993

PB - Association for Computing Machinery

T2 - 4th International Conference on Artificial Intelligence and Law, ICAIL 1993

Y2 - 15 June 1993 through 18 June 1993

ER -

A computational model for trial reasoning

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this