Adam Zachary Wyner

Learn More
In this paper, we model a recent legal case as presented in a court of first instance using argument schemes and an argumentation framework, providing a formal analysis of the case and how the outcome was determined. The paper contributes to the body of literature that formally analyses legal cases in terms of arguments and argument schemes. It is novel in(More)
According to argumentation theory, reasoning takes place in different types of dialogue: persuasion dialogue, negotiation, deliberation, information-seeking dialogue, inquiry, and eristic dialogue. These different dialogue types may be nested within one another. Current research in artificial intelligence is building formal models corresponding to each of(More)
In this paper, we present an ontology in OWL for Legal Case-based Reasoning. We outline some of the main motivations for providing an ontology in OWL, then discuss Legal Case-based Reasoning along the lines of CATO and given a method in which the factors of cases are compared and partitioned. An ontology in OWL, developed in the Protege ontology editor, is(More)
In AI approaches to argumentation, different senses of argument are often conflated. We propose a three-level distinction between arguments, cases, and debates. This allows for modularising issues within levels and identifying systematic relations between levels. Arguments, comprised of rules, facts, and a claim, are the basic units; they instantiate(More)
Argumentation Frameworks (AFs) provide a fruitful basis for exploring issues of defeasible reasoning. Their power largely derives from the abstract nature of the arguments within the framework, where arguments are atomic nodes in an undifferentiated relation of attack. This abstraction conceals different conceptions of argument, and concrete instantiations(More)
College London, under the supervision of Tom Maibaum and while receiving a studentship funded by Hewlett-Packard Research Labs, Bristol, UK. The author thanks his supervisor , tutors, and Hewlett-Packard for their support. Comments are welcome. Errors and misunderstandings are the author's. The title of this work Computational Jurisprudence is a term(More)
Much work using argumentation frameworks treats arguments as entirely abstract, related by a uniform attack relation which always succeeds unless the attacker can itself be defeated. However, this does not seem adequate for legal argumentation. Some proposals have suggested regulating attack relations using preferences or values on arguments and which(More)