The Dynamics of Judicial Proof: Computation, Logic, and Common Sense

丛 书 名：Studies in fuzziness and soft computing

作     者：Peter Tillers Marilyn MacCrimmon 

I S B N：(纸本) 3790814598 

出 版 社：Physica-Verlag Heidelberg 

出 版 年：2002年

学科分类：12[管理学] 03[法学] 07[理学] 030106[法学-诉讼法学] 08[工学] 070104[理学-应用数学] 0301[法学-法学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 030609[法学-涉外警务学] 0306[法学-公安学] 

摘      要：From the Publisher: Fact finding in judicial proceedings is a dynamic process. This collection of papers considers whether computational methods or other formal logical methods developed in disciplines such as artificial intelligence, decision theory, and probability theory can facilitate the study and management of dynamic evidentiary and inferential processes in litigation. The papers gathered here have several epicenters, including (i) the dynamics of judicial proof, (ii) the relationship between artificial intelligence or formal analysis and common sense, (iii) the logic of factual inference, including (a) the relationship between causality and inference and (b) the relationship between language and factual inference, (iv) the logic of discovery, including the role of abduction and serendipity in the process of investigation and proof of factual matters, and (v) the relationship between decision and inference.