证据理论(杨建波教授学术稿)
- 格式:ppt
- 大小:3.78 MB
- 文档页数:61
证据学论文————证据法学理论基础:争议焦点及评述学院:哲学与法学学院姓名:***班级:法学091学号:**********证据法学理论基础:争议焦点及评述证据法学的理论基础,是一国证据法学体系的基点和核心问题。
不夸张地讲,对于证据法学理论基础的研究,在一定意义上决定着我国证据法学体系的建立和证据法治建设的方向。
形象地说,如果将证据法治比喻成一个“木桶”,证据法学的理论基础问题就是其中最短的一块板,它不仅决定其“储水量”,而且是防治“漏水”的关键。
我国证据立法的粗疏和证据法实践中产生的诸多问题,最终都与证据法学的理论基础研究的薄弱有莫大关系。
加强证据法学理论基础的研究,不仅是证据立法、证据法实践的迫切需求,也是我国证据法学研究逐渐走向成熟的表现。
一、证据法学理论基础的定义与特性在证据法学理论基础的研究中,首先涉及的问题是什么是“证据法学的理论基础”。
对此,比较一致的观点是,我国应当实现从证据学到证据法学的转型,因此,研究证据法学的理论基础应当摆脱证据学的束缚。
不过,关于“证据法学的理论基础”这一概念的称谓和厘定方面,学者们的意见并不一致。
其次,学者们在界定什么是证据法学的理论基础时,在特性的把握上也存在诸多争议。
鉴于此,对“证据法学的理论基础”这一概念的称谓和厘定及特性的把握,便成为研究证据法学理论基础的先行问题。
(一)证据学的理论基础与证据法学的理论基础之区别长期以来,我国传统证据理论注重从事实角度研究证据问题而缺乏从法律的角度研究证据问题,对证据问题的探讨具有浓厚的哲学色彩。
传统观点认为,我国诉讼证据制度以辩证唯物主义认识论作为自己的理论基础。
物质与意识的辩证关系、主观与客观的辩证关系、实践是检验真理的唯一标准等是运用证据查明案件事实的理论依据。
以“实事求是”命名,反映了我国证据制度的本质和特点。
辩证唯物主义认识论被认为是我国证据制度的唯一理论基础和指导思想。
(二)证据法学的理论基础与相关概念的区别在许多证据法学的论著中,学者们提出了一系列与证据法学的理论基础类似的术语,有的甚至在同等意义上使用,例如,“证据制度的理论基础”、“诉讼证据学的理论基础”、“诉讼证明的理论基础”、“证据法的五大基本理念”、“证据法的理论基础”、“证据法学的基础理论”等。
证据理论(Evidence Theory)方法我们将讨论一种被称之为登普斯特-谢弗(Dempster-Shafer)或谢弗-登普斯特(Shafer-Dempster)理论(简称D-S理论或证据理论)的不精确推理方法。
这一理论最初是以登普斯特(Dempster,1967年)的工作为基础的,登普斯特试图用一个概率区间而不是单一概率数值去建模不确定性. 1976年,谢弗(Shafer,1976年)在《证据的数学理论》一书中扩展和改进了登普斯特工作. D-S理论具有好的理论基础。
确定性因子能被证明是D-S理论的一种特殊情形。
在§2我们将描述一种简化的证据理论模型MET1 . 在§3我们将给出支持有序命题类问题的具有凸函数性质的简化证据理论模型。
围绕证据理论的一些新的研究工作,将在第六章介绍。
§1D-S理论(Dempster-Shafer Theory)●辨别框架(Frames of Discernment)D-S理论假定有一个用大写希腊字母Θ表示的环境(environment),该环境是一个具有互斥和可穷举元素的集合:Θ = { θ1 , θ2 , …, θn }术语环境在集合论中又被称之为论域(the universe of discourse)。
一些论域的例子可以是:Θ = { airliner , bomber , fighter }Θ = { red , green , blue , orange , yellow }Θ = { barn , grass , person , cow , car }注意,上述集合中的元素都是互斥的。
为了简化我们的讨论,假定Θ是一个有限集合。
其元素是诸如时间、距离、速度等连续变量的D-S 环境上的研究工作已经被做。
理解Θ的一种方式是先提出问题,然后进行回答。
假定Θ = { airliner , bomber , fighter }提问1:“这军用飞机是什么?”;答案1:是Θ的子集{ θ2 , θ3 } = { bomber , fighter }提问2:“这民用飞机是什么?”;答案2:是Θ的子集{ θ1} = { airliner },{ θ1} 是单元素集合。
2005年11月N ovember ,2005当 代 法 学C ontemporary Law Review 第19卷第6期(总第114期)V ol.19,N o.6(Ser.N o.114)基金项目:本文为国家社科基金项目“刑事诉讼证明基本范畴研究(04CFX 017)”的阶段性成果。
对科学证据的反思———以程序为视角的关照杨 波(吉林大学法学院,吉林长春130012)摘 要:科学证据就是借助科学原理和技术方法发现和揭示出来的各种事实材料,其内涵是科学原理和技术的证明性,其外延则由于法律对科学知识的确认而表现出开放性的特点。
因此,科学证据具有科学性、开放性和证明过程的复杂性的特征。
证据法学应该放在程序法学中加以关照和认识,英美法系国家的陪审团制和对抗制同科学证据的适应性关系在某种程度上就是科学证据与诉讼程序之间关系的集中反映。
以程序的视角规范科学证据包括审前证据规则的设置和审判过程中对于科学证据规则的强调。
关键词:科学证据;诉讼程序;陪审制;对抗制中图分类号:DF73文献标识码:A引 言虽然人类社会刚刚迈进21世纪,但是,放眼望去,一副初具规模的“知识经济”图景已经展现在我们面前,全球化、信息化潮流奔腾激荡,信息网络、生物工程、纳米技术等现代科技全方位、多角度地冲击着社会生活的各个层面,法律领域也不例外。
美国乔治城大学法律中心教授保罗・罗斯坦认为,“20世纪的早期是法庭雄辩术时代,而中期是论证证据的时代,进入它的晚期后,却出现了高精技术证据时代。
”[1](P43)美国耶鲁大学法学院的达马斯卡教授也感言,“伴随着过去50年惊人的科学技术进步,在司法领域,新的事实确认方式已经开始挑战传统的事实认定方法。
越来越多的对于诉讼程序非常重要的事实现在只能通过高科技手段查明。
”[2](P200)显然,事实认定的科学化已经成为法庭审判的一种趋势,那些所谓的高精技术证据(亦即“科学证据”)正日益成为处理各种纠纷的最重要依据。
第五章证据理论(Evidence Theory)方法在本章§1,我们将讨论一种被称之为登普斯特-谢弗(Dempster-Shafer)或谢弗-登普斯特(Shafer-Dempster)理论(简称D-S理论或证据理论)的不精确推理方法。
这一理论最初是以登普斯特(Dempster,1967年)的工作为基础的,登普斯特试图用一个概率区间而不是单一概率数值去建模不确定性. 1976年,谢弗(Shafer,1976年)在《证据的数学理论》一书中扩展和改进了登普斯特工作. D-S理论具有好的理论基础。
确定性因子能被证明是D-S 理论的一种特殊情形。
在§2我们将描述一种简化的证据理论模型MET1 . 在§3我们将给出支持有序命题类问题的具有凸函数性质的简化证据理论模型。
围绕证据理论的一些新的研究工作,将在第六章介绍。
§1D-S理论(Dempster-Shafer Theory)●辨别框架(Frames of Discernment)D-S理论假定有一个用大写希腊字母Θ表示的环境(environment),该环境是一个具有互斥和可穷举元素的集合:Θ = { θ1 , θ2 , ⋯, θn }术语环境在集合论中又被称之为论域(the universe of discourse)。
一些论域的例子可以是:Θ = { airliner , bomber , fighter }Θ = { red , green , blue , orange , yellow }Θ = { barn , grass , person , cow , car }注意,上述集合中的元素都是互斥的。
为了简化我们的讨论,假定Θ是一个有限集合。
其元素是诸如时间、距离、速度等连续变量的D-S 环境上的研究工作已经被做。
理解Θ的一种方式是先提出问题,然后进行回答。
假定Θ = { airliner , bomber , fighter }提问1:“这军用飞机是什么?”;答案1:是Θ的子集{ θ2 , θ3 } = { bomber , fighter }提问2:“这民用飞机是什么?”;答案2:是Θ的子集{ θ1} = { airliner },{ θ1} 是单元素集合。
证据理论概述一、理论的提出1967年,Dempster提出上概率和下概率。
1976年,Shafer进一步完善,建立了命题和集合之间的一一对应关系,把命题的不确定问题转化为集合的不确定问题,满足比概率论弱的情况,形成了一套关于证据推理的数学理论。
证据理论是一种不确定的推理方法,与之类似的还有云模型、模糊理论、Bayes方法。
证据理论可以看作是根据证据做出决策的理论。
一个证据会在对应问题的决策解集合(决策框架)上产生一个基本信任分配(信任函数),该信任分配就是要决策的结果。
多个证据产生多个基本信任分配,再求出多个信任分配的正交和,即证据合成,最终得到一个决策结果。
该决策结果综合了多个专家的经验和知识。
然而,证据理论中,要求参与合成的证据相互独立,这在实际应用时很难做到。
一旦证据发生冲突,往往会得出与事实相悖的结果。
所以,证据理论中,冲突证据的合成仍是一个亟待解决的问题。
二、基本理论证据理论中,决策框架、信任函数、证据合成是关键。
决策框架Θ,是指命题的所有可能的答案组成的完备集合,集合中的所有元素都是两两互斥的,任一时刻,答案只能取集合中的某一元素。
基本信任分配函数m,是一个从Θ的幂集2Θ到[0,1]的映射,其中Θ的任一子集A满足m(Ф)=0, Σm(A)=1,表示证据对A的信任程度。
A=θi,m(A)表示对相应命题A的精确信任度;A=Θ,m(A)是对Θ的各个子集进行信任分配后剩下的部分,表示不知道该如何对它进行分配。
A≠Θ,A≠θi,m(A)是对相应命题A的精确信任度,但却不知道这部分信任具体该分给A中的哪些元素。
注:A∈B,m(A)与m(B)没有任何关系。
信任函数Bel,是一个从Θ的幂集2Θ到[0,1]的映射,其中Θ的任一子集A满足Bel(A)= Σm(B) (B ∈A),Bel(A)称为A的信任函数,表示证据对A为真的信任程度。
信任函数Bel满足1()ABel AA=Θ⎧=⎨≠Θ⎩(空信任函数),才能用D-S证据合成规则。
证据理论概述一、理论的提出1967年,Dempster提出上概率和下概率。
1976年,Shafer进一步完善,建立了命题和集合之间的一一对应关系,把命题的不确定问题转化为集合的不确定问题,满足比概率论弱的情况,形成了一套关于证据推理的数学理论。
证据理论是一种不确定的推理方法,与之类似的还有云模型、模糊理论、Bayes方法。
证据理论可以看作是根据证据做出决策的理论。
一个证据会在对应问题的决策解集合(决策框架)上产生一个基本信任分配(信任函数),该信任分配就是要决策的结果。
多个证据产生多个基本信任分配,再求出多个信任分配的正交和,即证据合成,最终得到一个决策结果。
该决策结果综合了多个专家的经验和知识。
然而,证据理论中,要求参与合成的证据相互独立,这在实际应用时很难做到。
一旦证据发生冲突,往往会得出与事实相悖的结果。
所以,证据理论中,冲突证据的合成仍是一个亟待解决的问题。
二、基本理论证据理论中,决策框架、信任函数、证据合成是关键。
决策框架Θ,是指命题的所有可能的答案组成的完备集合,集合中的所有元素都是两两互斥的,任一时刻,答案只能取集合中的某一元素。
基本信任分配函数m,是一个从Θ的幂集2Θ到[0,1]的映射,其中Θ的任一子集A 满足m(Ф)=0, Σm(A)=1,表示证据对A的信任程度。
A=θi,m(A)表示对相应命题A的精确信任度;A=Θ,m(A)是对Θ的各个子集进行信任分配后剩下的部分,表示不知道该如何对它进行分配。
A≠Θ,A≠θi,m(A)是对相应命题A的精确信任度,但却不知道这部分信任具体该分给A中的哪些元素。
注:A∈B,m(A)与m(B)没有任何关系。
信任函数Bel,是一个从Θ的幂集2Θ到[0,1]的映射,其中Θ的任一子集A满足Bel(A)= Σm(B) (B∈A),Bel(A)称为A的信任函数,表示证据对A为真的信任程度。
信任函数Bel 满足1()0A Bel A A =Θ⎧=⎨≠Θ⎩(空信任函数),才能用D-S 证据合成规则。