This book introduces methods to analyze legal documents such as negotiation records and legal precedents, using computational argumentation theory.First, a method to automatically evaluate argumentation skills from the records of argumentation exercises is proposed. In law school, argumentation exercises are often conducted and many records of them are produced. From each utterance in the record, a pattern of "speech act +factor" is extracted, and argumentation skills are evaluated from the sequences of the patterns, using a scoring prediction model constructed by multiple regression analyses between the appearance pattern and the scoring results. The usefulness of this method is shown by applying it to the example case "the garbage house problem". Second, a method of extracting factors (elements that characterize precedents and cases) and legal topoi from individual precedents and using them as the expression of precedents to analyze how the pattern of factors and legal topoi appearing in a group of precedents affects the judgment (plaintiff wins/defendant wins) is proposed. This method has been applied to a group of tax cases. Third, the logical structure of 70 labor cases is described in detail by using factors and a bipolar argumentation framework (BAF) and an (extended argumentation framework (EAF) together. BAF describes the logical structure between plaintiff and defendant, and EAF describes the decision of the judge. Incorporating the legal topoi into the EAF of computational argumentation theory, the strength of the analysis of precedents by combined use of factored BAF and EAF, not only which argument the judge adopted could be specified. It was also possible to determine what kind of value judgment was made and to verify the logic. The analysis methods in this book demonstrate the application of logic-based AI methods to the legal domain, and they contribute to the education and training of law school students in logical ways of argumentation.

This book constitutes the thoroughly refereed joint post-proceedings of the 17th and 18th annual conferences of the Japanese Society for Artificial Intelligence, JSAI 2003 and JSAI 2004, and colocated international workshops, held in Niigata, Japan in June 2003 and in Kanazawa, Japan, in May/June 2004 respectively.

The volume starts with 5 award winning papers of the JSAI 2003 main conference that are presented along with 10 revised full workshop papers, carefully reviewed and selected from the two co-located international workshops on Agent-Based Modeling (WABM 2003) and the Semantic Web workshop (SWSW 2003). The volume is concluded by 8 award winning papers from the JSAI 2004 main conference as well as 28 revised full workshop papers of the First International Workshop on Emergence and Evolution of Linguistic Communication (EELC 2004), the International Workshop on Agent-Based Modeling (WABM 2004), and the Workshop on Logic and Engineering of Natural Language Semantics (LENLS 2004).

This book introduces methods to analyze legal documents such as negotiation records and legal precedents, using computational argumentation theory.First, a method to automatically evaluate argumentation skills from the records of argumentation exercises is proposed. In law school, argumentation exercises are often conducted and many records of them are produced. From each utterance in the record, a pattern of “speech act +factor” is extracted, and argumentation skills are evaluated from the sequences of the patterns, using a scoring prediction model constructed by multiple regression analyses between the appearance pattern and the scoring results. The usefulness of this method is shown by applying it to the example case “the garbage house problem”. Second, a method of extracting factors (elements that characterize precedents and cases) and legal topoi from individual precedents and using them as the expression of precedents to analyze how the pattern of factors and legal topoi appearing in a group of precedents affects the judgment (plaintiff wins/defendant wins) is proposed. This method has been applied to a group of tax cases. Third, the logical structure of 70 labor cases is described in detail by using factors and a bipolar argumentation framework (BAF) and an (extended argumentation framework (EAF) together. BAF describes the logical structure between plaintiff and defendant, and EAF describes the decision of the judge. Incorporating the legal topoi into the EAF of computational argumentation theory, the strength of the analysis of precedents by combined use of factored BAF and EAF, not only which argument the judge adopted could be specified. It was also possible to determine what kind of value judgment was made and to verify the logic. The analysis methods in this book demonstrate the application of logic-based AI methods to the legal domain, and they contribute to the education and training of law school students in logical ways of argumentation.