A computational model for trial reasoning

Katsumi Nitta, Stephen Wong, Yoshihisa Ohtake

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations


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 languageEnglish (US)
Title of host publicationProceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993
PublisherAssociation for Computing Machinery
Number of pages10
ISBN (Electronic)0897916069, 9780897916066
StatePublished - Aug 1 1993
Event4th International Conference on Artificial Intelligence and Law, ICAIL 1993 - Amsterdam, Netherlands
Duration: Jun 15 1993Jun 18 1993

Publication series

NameProceedings of the International Conference on Artificial Intelligence and Law
VolumePart F127196


Conference4th International Conference on Artificial Intelligence and Law, ICAIL 1993

ASJC Scopus subject areas

  • Software
  • Artificial Intelligence
  • Law


Dive into the research topics of 'A computational model for trial reasoning'. Together they form a unique fingerprint.

Cite this