不确定推理的一个注记.pdf

二、合取规脚析取规则的真值传播不确定推理的一个注记规则进行分析。在推理时,事实表示为�譴����,⋯,”��渲衒是事实,羹要借助对数函数对真值传播的结果进行度量。但仔细阅读文【�靠芍#�梦亩晕侍�范九伦�靼灿实缪г杭扑慊�担�靼玻�本文给出文【�慷ㄒ宓牟蝗范ㄍ评碚嬷荡úシ椒ǖ难细裥鹗觯�⒏�鑫摹�】中两个定理的简单证明。关■罚决策不确定推理真值一、引言在知识工程领域,基于不完全知识的推理和模糊知识推理受到了特别的重视和广泛的应用。在模糊逻辑中,命题不仅取真假两个值�和�,模糊命题的真值可以取�蚻之间的任意值。真值越大,命题越真�饫�表示假,。�表示真�T诿�馍隙ㄒ辶恕昂先薄ⅰ拔鋈钡仍怂悖�⒐娑�嗽怂闶剿�媒峁�命题的真值计算公式。例如,合取式鼻��⋯�坏恼嬷倒娑ㄎ8髯邮�与,����徽嬷档淖钚≌呋蚋髯邮�,只,⋯,只真值的平均值。这种形式的模糊逻辑虽然在一定程度上反映了一些客观法则,但在有些情形仍不适用,,文【�扛�隽艘桓霾蝗范ㄍ评碚嬷荡úサ募扑惴椒ǎ�的叙述有许多不严密之处,此外定理�投ɡ�的证明是很复杂的。本文给出文【�慷ㄒ宓牟蝗范ㄍ评碚嬷荡úシ椒ǖ难细裥鹗觯�⒏�鑫摹緇】中两个定理的简单证明。‘本文对由事实��狻⑻跫�和规则组成的知识库中的“台取”、“析取”‘是事实的真值�≤�玉�琭�’������5薄��保�率礒是确定的;当���时,只是不确定的;当���保珻是缺省的。以下是两个常用的规则。合取规则:日�韃⋯�弧?�析取规则:丑��璙只斗口其中只是规则的条件��,�����,口是规贝�慕崧邸�第九屠垒置多僵逻辑与辏■逻■学木套议����
灰唬���保�崧鄣恼嬷滴猣,即,�I啤��‘,‘���,⋯,,��件的真值分布�遤,�琽,⋯,�的任一排列组合得到的分布使结论�恼嬷底�真值分布。因此,结论的真值既由条件真值总和∑��龆ǎ�质艿教跫�嬷捣�布的制约。也就是说,真值总和∑��驼嬷捣植脊餐��渥沤崧壅嬷档拇笮���唬��B�恪苀,�冢琩为常数且公理�憾杂诤先」嬖蚪硖跫�恼嬷捣植肌癴∥��琭。满足∑���琩为常数且公理�喝糁�,。��,��璮�,�⋯��,。�穏�’��柚����⋯����“�⋯����斗�,”�件的真值分布�,���琲,�琽,⋯,�的任一排列组合得到的分布使结论�恼嬷底�公理�喝粢��������璓,�,�⋯��,。����上述规则中各命题只的真值��导噬洗ǖ莸氖且恢钟镆逍畔ⅰL跫�率档�真值分布体现了众多条件的真实语义丰度,我们用��.,�海��琭。�硎咎跫��公理�旱眆,�鼻�。����⋯一�.���璣只�。�籕�”�则��躥¨且等号成立当且仅当���饫颫≤�蔓�襢,����则��躥’’且等号成立当�仅当,��这里�埽琽≤�襢.������苋铡堋保�眨篋��饫锷�,�直鹗强诘恼��糠趾托∈�糠�。则以条公理�憾杂谖鋈」嬖蛑刑跫�恼嬷捣植糵�琭上述五个公理是文【�孔髡吒�龅摹N颐侨衔N鋈」嬖虻慕崧壅嬷狄话悴恍�公理�喝舯�������������璣只���寸���如何根据各命题真值定义结论真值是问题的关键。一般而言,这种定义应满足以下几个公理。�堍颉躰,�篋��饫顳,�直鹗强诘恼��糠趾托∈�糠�。则以条于台取规则的结论真值。为此有下述公理。大。小。���甽『�,�
舣��ロ氪ピ趑��啊����