计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2001年
7期
98-100
,共3页
支持逻辑%证据的形式定义
支持邏輯%證據的形式定義
지지라집%증거적형식정의
关于不确定推理,从概率模型、可信度理论发展到证据理论和模糊推理,大大丰富了不确定推理的理论,在专家系统中的应用也日趋成熟.所有这些研究都是基于"一定意义"下的数值度量来研究证据与结论之间的关系,因而可以提出这样的问题,在非确定环境下,证据和证据对结论的支持强度的普遍含义是什么?这就涉及到支持和证据的逻辑基础问题.作者在文[1]提出了支持逻辑和证据的初步概念,本文探讨了事态的形式化并且对支持逻辑和证据作了进一步说明和解释,对整个形式化方案作了肯定的说明.
關于不確定推理,從概率模型、可信度理論髮展到證據理論和模糊推理,大大豐富瞭不確定推理的理論,在專傢繫統中的應用也日趨成熟.所有這些研究都是基于"一定意義"下的數值度量來研究證據與結論之間的關繫,因而可以提齣這樣的問題,在非確定環境下,證據和證據對結論的支持彊度的普遍含義是什麽?這就涉及到支持和證據的邏輯基礎問題.作者在文[1]提齣瞭支持邏輯和證據的初步概唸,本文探討瞭事態的形式化併且對支持邏輯和證據作瞭進一步說明和解釋,對整箇形式化方案作瞭肯定的說明.
관우불학정추리,종개솔모형、가신도이론발전도증거이론화모호추리,대대봉부료불학정추리적이론,재전가계통중적응용야일추성숙.소유저사연구도시기우"일정의의"하적수치도량래연구증거여결론지간적관계,인이가이제출저양적문제,재비학정배경하,증거화증거대결론적지지강도적보편함의시십요?저취섭급도지지화증거적라집기출문제.작자재문[1]제출료지지라집화증거적초보개념,본문탐토료사태적형식화병차대지지라집화증거작료진일보설명화해석,대정개형식화방안작료긍정적설명.