Académique Documents
Professionnel Documents
Culture Documents
A Brief Comparison of
Argument Modeling with
Carneades1 and DCIT2
Using Pierson v. Post
1Carneades
Argumentation Framework
based on Waltons Theory of Argumentation
2Defeasible Class-Inclusion Transitivity
Joseph A. Laronge
July 2010
joseph.laronge@gmail.com
Gordon, T. F., and Walton, D. Pierson vs. Post revisited a reconstruction using the Carneades Argumentation
Framework. In Proceedings of the First International Conference on Computational Models of Argument (COMMA 06)
(Liverpool, 2006), P. E. Dunne and T. Bench-Capon, Eds., IOS Press
http://www.tfgordon.de/publications/files/GordonWalton2006b.pdf?attredirects=0
The fox...
START
is a noxious animal.
is a noxious animal...
CONCLUSION
FINISH
The fox...
4 Inference Steps
3
2
The fox
1
The fox
The fox
The fox
The fox
...shall be deemed
mortally wounded.
is a noxious animal.
nexus of predication
complex predicate
Gordon, T. F., and Walton, D. Pierson vs. Post revisited a reconstruction using the Carneades Argumentation
Framework. In Proceedings of the First International Conference on Computational Models of Argument (COMMA 06)
(Liverpool, 2006), P. E. Dunne and T. Bench-Capon, Eds., IOS Press
http://www.tfgordon.de/publications/files/GordonWalton2006b.pdf?attredirects=0
START
Post...
Anyone who
Anyone who
CONCLUSION
FINISH
Post...
2 Inference Steps
2
1
Post
Post
Post
supporting assumption
nexus of predication
complex predicate
Gordon, T. F., and Walton, D. Pierson vs. Post revisited a reconstruction using the Carneades Argumentation
Framework. In Proceedings of the First International Conference on Computational Models of Argument (COMMA 06)
(Liverpool, 2006), P. E. Dunne and T. Bench-Capon, Eds., IOS Press
http://www.tfgordon.de/publications/files/GordonWalton2006b.pdf?attredirects=0
START
is a bright-line rule.
Anything that
is a bright-line rule...
Anything that
Anything that
Anything that
...is required.
CONCLUSION
FINISH
...is required.
4 Inference Steps
3
2
Actual corporal
possession...
Actual corporal
possession...
Actual corporal
possession...
...is required.
1
Actual corporal
possession...
Actual corporal
possession...
supporting assumption
nexus of predication
complex predicate
10
11
References
Gordon, T. F., and Walton, D. Pierson vs. Post revisited a reconstruction using
the Carneades Argumentation Framework. In Proceedings of the First International
Conference on Computational Models of Argument (COMMA 06) (Liverpool, 2006),
P. E. Dunne and T. Bench-Capon, Eds., IOS Press
http://www.tfgordon.de/publications/files/GordonWalton2006b.pdf?attredirects=0
Pierson v. Post, 3 Cai R 175 2 Am Dec 264 (Supreme Court of New York), 1805
http://www.facstaff.bucknell.edu/kinnaman/Pierson%20v.htm
Joseph A. Laronge A Generalizable Argument Structure Using Defeasible Classinclusion Transitivity for Evaluating Evidentiary Probative Relevancy in Litigation
Journal of Logic and Computation Advance Access published on December 2,
2009, DOI 10.1093/logcom/exp066.
http://inferenceincourt.com/papers
12