slide0091.htm

人工智能的教材啊

 <div style='position:absolute;top:47.25%;left:5.99%;width:91.76%;height:4.75%'>&#13;</div>
 <div style='position:absolute;top:51.75%;left:5.99%;width:110.11%;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>=(W,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'> </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>V</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 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"'>
 </span>的语言的解释&#13;</div>
 <div style='position:absolute;top:57.25%;left:5.99%;width:91.76%;height:5.75%'>类<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>S</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>(V)</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"'>: &#13;</span></div>
 <div style='position:absolute;top:63.25%;left:5.99%;width:91.76%;height:4.75%'>&#13;</div>
 <div style='position:absolute;top:67.75%;left:5.99%;width:91.76%;height:5.75%'><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:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'><i>1.<span style="mso-spacerun:
 yes">&nbsp; </span></i></span><span style='font-family:Symbol;mso-char-type:
 symbol'><i>S</i></span><span style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman"'><i>(V)</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:"Times New Roman";mso-ascii-font-family:
 "Times New Roman";mso-fareast-language:ZH-CN'><i>W</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 style='font-family:
 "Times New Roman";mso-ascii-font-family:"Times New Roman"'> </span><span
 style='font-family:Symbol;mso-char-type:symbol'><i>S</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>(V)
 </i></span><span lang=EN-US style='font-family:Symbol;mso-fareast-language:
 ZH-CN;mso-char-type:symbol'><i>&Iacute;</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> 2^Mod(W),</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:73.25%;left:5.99%;width:109.73%;height:5.75%'><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><span style="mso-spacerun: yes">&nbsp; </span></span><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>2.</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 style="mso-spacerun: yes">&nbsp; </span></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"'><i>(</i></span><span
 style='font-family:Symbol;mso-char-type:symbol'><i>a</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>b</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>1,</i></span><span
 style='font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"'><i>…</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>b</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>n / </i></span><span lang=EN-US
 style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>g</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> D, </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>&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> Th(</i></span><span lang=EN-US
 style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>S</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>(V))</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 style='font-family:
 Symbol;mso-char-type:symbol'><i>&Oslash;b</i></span><span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'><i>1,</i></span><span
 style='font-family:"Times New Roman";mso-hansi-font-family:"Times New Roman"'><i>…</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>&Oslash;b</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>n </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> Th(V),&#13;</i></span></div>
 <div style='position:absolute;top:78.5%;left:5.99%;width:91.76%;height:5.75%'><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&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>g</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>
 Th(</i></span><span lang=EN-US style='font-family:Symbol;mso-fareast-language:
 ZH-CN;mso-char-type:symbol'><i>S</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>(V)).</i></span><span lang=EN-US style='mso-fareast-language:ZH-CN;
 display:none'>&#13;</span></div>
 <div style='position:absolute;top:83.75%;left:5.99%;width:100.18%;height:5.75%'><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>V </i></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"'>,
 iff<span style="mso-spacerun: yes">&nbsp; </span></span><span lang=EN-US
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>V=</i></span><span lang=EN-US style='font-family:
 Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>S</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>(V),</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:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>V </i></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>S</i></span><span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'><i> </i></span>的不动点<span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>.</span><span
 style='mso-special-format:lastCR;display:none'>&#13;</span></div>
 </div>
</p:slide></div>

</body>

</html>