slide0069.htm

人工智能的教材啊

 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'>).&#13;</span></div>
 <div style='position:absolute;top:38.5%;left:4.3%;width:91.76%;height:4.75%'><span
 lang=EN-US style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:43.75%;left:4.3%;width:91.76%;height:4.75%'><span
 lang=EN-US style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:48.25%;left:4.3%;width:99.43%;height:5.75%'><span
 style='font-family:黑体;mso-fareast-font-family:黑体'>定义</span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><span
 style="mso-spacerun: yes">&nbsp;&nbsp; </span></span>一个信念集<span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
 </span><span style='font-family:Symbol;mso-char-type:symbol'><i>D</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>
 </i></span>的<span style='font-family:仿宋_GB2312;mso-fareast-font-family:仿宋_GB2312'>封闭世界假设</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 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
 CWA(</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>)= &#13;</i></span></div>
 <div style='position:absolute;top:53.5%;left:4.3%;width:91.76%;height:5.75%'><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>&Egrave;</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>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>asm </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"'> |=cwa), </span>定义为&#13;</div>
 <div style='position:absolute;top:59.75%;left:4.3%;width:91.76%;height:4.75%'>&#13;</div>
 <div style='position:absolute;top:64.25%;left:4.3%;width:91.76%;height:5.75%'><span
 style='position:absolute;top:0%;left:1.22%;width:98.77%'><span
 style='mso-special-format:bullet;position:absolute;left:-1.23%'>&#8226;</span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><span
 style="mso-spacerun: yes">&nbsp; </span></span><span style='font-family:Symbol;
 mso-char-type:symbol'><i>j</i></span><span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'><i> </i></span><span
 style='font-family:Symbol;mso-char-type:symbol'><i>&Icirc;</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>
 T(</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>)<span style="mso-spacerun: yes">&nbsp; </span>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>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>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
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>;</span><i>&#13;</i></span></div>
 <div style='position:absolute;top:69.5%;left:4.3%;width:91.76%;height:5.75%'><span
 style='position:absolute;top:0%;left:1.22%;width:98.77%'><span
 style='mso-special-format:bullet;position:absolute;left:-1.23%'>&#8226;</span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i><span
 style="mso-spacerun: yes">&nbsp; </span></i></span><span style='font-family:
 Symbol;mso-char-type:symbol'><i>&Oslash;</i></span><span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'><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> </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>asm iff<span style="mso-spacerun: yes">&nbsp;
 </span>p </i></span><span lang=EN-US style='font-family:Symbol;mso-fareast-language:
 ZH-CN;mso-char-type:symbol'><i>&Iuml;</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>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>),<span style="mso-spacerun: yes">&nbsp; </span>p </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
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>;&#13;</span></span></div>
 <div style='position:absolute;top:75.0%;left:4.3%;width:91.76%;height:5.75%'><span
 style='position:absolute;top:0%;left:1.22%;width:98.77%'><span
 style='mso-special-format:bullet;position:absolute;left:-1.23%'>&#8226;</span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><span
 style="mso-spacerun: yes">&nbsp; </span></span><span style='font-family:Symbol;
 mso-char-type:symbol'><i>j</i></span><span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'><i> </i></span><span
 style='font-family:Symbol;mso-char-type:symbol'><i>&Icirc;</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>
 CWA(</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>)<span style="mso-spacerun: yes">&nbsp; </span>iff<span
 style="mso-spacerun: yes">&nbsp; </span>{</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>&Egrave;</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>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>asm} |= </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='mso-fareast-language:
 ZH-CN;display:none'>&#13;</span></span></div>
 <div style='position:absolute;top:81.0%;left:4.3%;width:91.76%;height:4.75%'><span
 lang=EN-US style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:86.5%;left:4.3%;width:91.76%;height:4.75%'><span
 style='mso-special-format:lastCR;display:none'>&#13;</span></div>
 </div>
</p:slide></div>

</body>

</html>