The British philosopher Stephan Toulmin, in his The Uses of Argument, made the provocative claim that "logic is generalized jurisprudence". For Toulmin, logic is the study of nonns for practical argumentation and decision making. In his view, mathematical logicians were preoccupied with fonnalizing the concepts of logical necessity, consequence and contradiction, at the expense of other equally important issues, such as how to allocate the burden of proof and make rational decisions given limited resources. He also considered it a mistake to look primarily to psychology, linguistics or the cognitive sciences for answers to these fundamentally nonnative questions. Toulmin's concerns about logic, writing in the 1950's, are equally applicable to the field of Artificial Intelligence today. The mainstream of Artificial Intelligence has focused on the analytical and empirical aspects of intelligence, without giving adequate attention to the nonnative, regulative functions of knowledge representation, problem solving and decision-making. Nonnative issues should now be of even greater interest, with the shift in perspective of AI from individual to collective intelligence, in areas such as multi-agent systems, cooperative design, distributed artificial intelligence, and computer-supported cooperative work. Networked "virtual societies" of humans and software agents would also require "virtual legal systems" to fairly balance interests, resolve conflicts, and promote security.

InhaltsangabePreface. 1. Introduction. 2. The Legal Domain: Article Nine. 3. Philosophy of Legal Reasoning. 4. Formal Models of Argumentation. 5. The Pleadings Game. 6. An Implementation in Standard ML. 7. Conclusion. Appendix A: The Article Nine World. Appendix B: Glossary of Legal Terms. References. Index.