slide0131.htm

人工智能的教材啊

 黑体;mso-fareast-language:ZH-CN'><i>B </i></span><span lang=ZH-CN
 style='font-family:黑体;mso-ascii-font-family:黑体;mso-fareast-font-family:黑体;
 mso-fareast-language:ZH-CN'>的句子语义</span><span lang=ZH-CN style='mso-fareast-language:
 ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:57.75%;left:5.05%;width:101.68%;height:5.25%'><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>令一阶解释的论域中包含一个表示主体</span><span
 lang=ZH-CN style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>(</i></span><span lang=EN-US style='font-family:
 "Times New Roman";mso-ascii-font-family:"Times New Roman";mso-fareast-language:
 ZH-CN'><i>agent)</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'> </span><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>的可枚举集</span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'>.&#13;</span></div>
 <div style='position:absolute;top:62.75%;left:5.05%;width:90.26%;height:5.75%'><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>对每个主体</span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=EN-US style='font-family:Symbol;
 mso-ansi-language:EN-US;mso-char-type:symbol'><i>a</i></span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'>, </span><span lang=ZH-CN style='mso-fareast-language:
 ZH-CN'>定义一个该主体的基信念集</span><span lang=ZH-CN style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'> </span><span
 lang=ZH-CN style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>D</i></span><span lang=ZH-CN style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>_</i></span><span
 lang=EN-US style='font-family:Symbol;mso-ansi-language:EN-US;mso-char-type:
 symbol'><i>a</i></span><span lang=ZH-CN style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'> : &#13;</span></div>
 <div style='position:absolute;top:68.0%;left:5.05%;width:90.26%;height:5.75%'><span
 lang=ZH-CN style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>D</i></span><span lang=ZH-CN style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>_</i></span><span
 lang=EN-US style='font-family:Symbol;mso-ansi-language:EN-US;mso-char-type:
 symbol'><i>a</i></span><span lang=ZH-CN style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'> </span><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>由一个普通</span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>wffs</i></span><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=ZH-CN style='mso-fareast-language:
 ZH-CN'>集和一个推理规则集</span><span lang=ZH-CN style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'> </span><span
 lang=ZH-CN style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>r</i></span><span style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman"'><i>_</i></span><span lang=EN-US style='font-family:Symbol;
 mso-ansi-language:EN-US;mso-char-type:symbol'><i>a</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
 </span><span lang=ZH-CN style='mso-fareast-language:ZH-CN'>组成</span><span
 lang=ZH-CN style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'>.&#13;</span></div>
 <div style='position:absolute;top:73.5%;left:5.05%;width:90.26%;height:5.75%'><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>记</span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>T_</i></span><span
 lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>a</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'> </span><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>表示</span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=EN-US style='font-family:Symbol;
 mso-ansi-language:EN-US;mso-char-type:symbol'><i>a</i></span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=ZH-CN style='mso-fareast-language:
 ZH-CN'>的理论</span><span lang=ZH-CN style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'>: </span><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>在</span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=ZH-CN style='font-family:Symbol;
 mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>r</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>_</i></span><span
 lang=EN-US style='font-family:Symbol;mso-ansi-language:EN-US;mso-char-type:
 symbol'><i>a</i></span><span style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman"'> </span>下<span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'> </span><span lang=ZH-CN
 style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>D</i></span><span
 lang=ZH-CN style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>_</i></span><span lang=EN-US style='font-family:
 Symbol;mso-ansi-language:EN-US;mso-char-type:symbol'><i>a</i></span><span
 lang=ZH-CN style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=ZH-CN style='mso-fareast-language:
 ZH-CN'>的闭包</span><span lang=ZH-CN style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'>.&#13;</span></div>
 <div style='position:absolute;top:78.75%;left:5.05%;width:104.11%;height:5.75%'><span
 lang=EN-US style='font-family:Symbol;mso-ansi-language:EN-US;mso-char-type:
 symbol'><i>a</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-ansi-language:EN-US'><i>-</i></span><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>理论的可证性使用</span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=ZH-CN style='font-family:Symbol;
 mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>r</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>_</i></span><span
 lang=EN-US style='font-family:Symbol;mso-ansi-language:EN-US;mso-char-type:
 symbol'><i>a</i></span><span style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman"'>, </span>记为<span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'> |-</span><span lang=EN-US
 style='font-family:Symbol;mso-ansi-language:EN-US;mso-char-type:symbol'><i>a</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
 . </span>即<span style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman"'> </span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>P </i></span><span
 lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>&Icirc;</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i> T_</i></span><span
 lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>a</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i> iff </i></span><span
 lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>D</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>_</i></span><span
 lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>a</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i> |-</i></span><span
 lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>a</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i> P.</i></span><span
 lang=EN-US style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:84.0%;left:5.05%;width:90.26%;height:5.75%'><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>定义</span><span lang=ZH-CN
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>B(</i></span><span
 lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>a</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>,</i></span><span
 lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>j</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";mso-fareast-language:ZH-CN'><i>)</i></span><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> </span>为真<span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'>: </span><span lang=EN-US
 style='font-family:Symbol;mso-ansi-language:EN-US;mso-char-type:symbol'><i>a</i></span><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-ansi-language:EN-US'><i> </i></span>是论域中一个主体<span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'> </span><span lang=EN-US
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>a, </i></span><span lang=EN-US
 style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>j</i></span><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i> </i></span><span lang=EN-US style='font-family:
 Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>&Icirc;</i></span><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i> T_</i></span><span lang=EN-US
 style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>a</i></span><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'> .</span></div>
 </div>
</p:slide></div>

</body>

</html>