Dear Friends in the Study of Uncertain Reasoning about Evidence and Facts:
I would like to remind you of the forthcoming program in Amsterdam -- in
December of this year -- about "artificial intelligence and judicial proof."
The tentative schedule for this program is given further below, in the body
of this e-mail message.
You can get further details about the Amsterdam conference at the URL
http://www.eurocongres.com/criminallaw/
You can get additional information about the program on AI & judicial proof
by looking at the pertinent portion of my home page
http://www.tiac.net/users/tillers
Many thanks,
Peter Tillers
P.S. My apologies if you receive multiple copies of this message.
*******************************
Peter Tillers, Professor of Law
Benjamin N. Cardozo School of Law, Yeshiva University
55 Fifth Avenue, New York, New York 10003, U.S.A.
(212) 790-0334; FAX (212) 790-0205
http://www.tiac.net/users/tillers
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
Tentative Schedule
for Program on Artificial Intelligence and Judicial Proof,
Sunday, December 12, 1999 & Monday, December 13, 1999
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
Sunday, December 12
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
Morning Program
9:00 a.m. - 12:30 p.m.
Introduction
Peter Tillers: �Investigation and Proof: A New Millennium?�
Proof & Dynamics
_______________________________
Keynote Speakers & Commentators
Johan van Benthem:
�The Role of Procedure
in Cogent Reasoning�
John Josephson:
"On the Proof Dynamics
of Inference to the Best
Explanation"
Commentators: Johannes Nijboer & Scott Brewer
_________________________________
Speakers:
Paul Snow & Marianne Belis:
"Structured Deliberation for Dynamic Uncertain Inference."
_________________________________
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
Lunch
1:00 - 2:30 p.m.
Food for Thought
Speaker 1
Ron Allen: "Common Sense and Rationality"
Speaker 2:
Marilyn MacCrimmon: �What is 'Common' About Common Sense?--Cautionary Tales
for Travelers Crossing Disciplinary Boundaries�
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
Afternoon Program
3:00 - 6:00 p.m.
Soft Reasoning about Factual Questions
____________________________________
Speaker:
Zdislaw Pawlak: "A Primer on Rough Sets: A new Approach to Drawing
Conclusions from Data"
Commentators: Lotfi Zadeh & Ronald J. Allen
____________________________________
Speaker:
Lotfi Zadeh: �Toward a Computational Theory of Reasoning with Perceptions�
Commentators: Zdislaw Pawlak & Ron Shapira
____________________________________
Speaker:
Lothar Philipps: "Dolus eventualis: On the Borderline of Intention and
Negligence"
Commentator: {to be determined}
____________________________________
End of Program for Sunday, December 12
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
Monday, December 13
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
Morning Program
9:00 a.m. - 1:00 p.m.
Forensic Proof and Artificial Intelligence strictu sensu
Chairs: Antonio Martino & Ephraim Nissan
Giovanni Sartor: �Artificial Intelligence and Law�
Ronald Leenes & Arno Lodder: �How to Handle Burden of Proof in Dialogic
Systems�
Carmelo Asaro: �Daedalus: A Tool for the Prosecutor in the Italian Context�
Michael Perloff: �Action Logic and Judicial Proof�
John Barnden: �An Approach to Uncertain Reasoning about Agents�
Aldo Franco Dragoni: {concerning the role of a formalism for uncertainty in
the modeling of judicial proof)
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
Lunch
1:15- 2:15
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
Afternoon Program
2:30 - 5:00
______________________________________
Speaker:
David Schum: (comments on methods of diagramming inference)
Commentators:
Paolo Garbolino
Vern Walker: "Problems in Decomposing Uncertainty."
_____________________________________
Speaker:
Dani�le Bourcier: �Abduction and Serendipity�
Panelists: Scott Brewer & John Josephson
______________________________________
Speaker:
Ron Shapira--a sketch of a theory of rational decision making & the
implications of the theory for forensic proof
Commentator: Craig Callen