%0 Journal Article
%T Bacon—Mill实验推理方法的一个推广：关于不确定实验推理方法的设想
%A 鞠实儿
%J 计算机科学
%D 1993
%I 
%X J. Cohen在文2]、4]、5]中试图构造相关变量方法(RVM),统一表达Bacon-Mill的排除归纳法,并在模态辑逻S4系统中表述基于RVM的归纳支持与归纳概率句法系统,由此完整地提出了非Pascal概率(非P)归纳逻辑(CIL)。CIL三个基本假定是:(ⅰ) 在Bacon-Mill排除法基础上进行的实验推理可以用RVM描述;(ⅱ) 由RVM确定的归纳支持分级和归纳概率分级句法满足Lewis-Barcon演算的S4标准解释;(ⅲ) 归纳概率分级可解释为假说的似规律度。本文将证明:CIL中以RVM为基础的真值语义理论与经典二值逻辑的真值语义理论不一致,而CIL是在经典二值逻辑的基础上被描述的,因此,CIL是不一致的。假定(ⅱ)
%K 实验推理
%K 不确定
%K 推广
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=7B2DBBE8AC926A4529B378FF6402E764&yid=D418FDC97F7C2EBA&vid=A04140E723CB732E&iid=0B39A22176CE99FB&sid=D997634CFE9B6321&eid=8E6AB9C3EBAAE921&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0