slide0021.htm

人工智能的教材啊

 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;&nbsp;&nbsp;</span>q<span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span>p</i></span><span lang=EN-US style='font-family:Symbol;mso-fareast-language:
 ZH-CN;mso-char-type:symbol'><i>&Ugrave;</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>q<span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span></i></span><span lang=EN-US style='mso-fareast-language:ZH-CN;
 display:none'><i>&#13;</i></span></div>
 <div style='position:absolute;top:52.75%;left:5.05%;width:98.87%;height:5.25%'><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;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span></i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";font-size:75%;mso-fareast-language:
 ZH-CN'><i>f </i></span><span lang=ZH-CN style='font-size:75%;mso-fareast-language:
 ZH-CN'><i>是一个新的函数</i></span><i>&#13;</i></div>
 <div style='position:absolute;top:57.75%;left:5.05%;width:100.74%;height:5.75%'><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>(MT)<span
 style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></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>q</i></span><span lang=EN-US style='font-family:
 Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>&reg;</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'><i>p<span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></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>(UI)<span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></i></span><span lang=EN-US
 style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i><span
 style="mso-spacerun: yes">&nbsp;</span>&quot;</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>x p(x)<span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span></i></span><span style='font-size:75%'><i>常元</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 font-size:75%'><i>, yi </i></span><span lang=ZH-CN style='font-size:75%;
 mso-fareast-language:ZH-CN'><i>是</i></span><span lang=ZH-CN style='font-family:
 "Times New Roman";mso-ascii-font-family:"Times New Roman";font-size:75%;
 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";font-size:75%;
 mso-fareast-language:ZH-CN'><i>p </i></span><span lang=ZH-CN style='font-size:
 75%;mso-fareast-language:ZH-CN'><i>中自由</i></span><span lang=EN-US
 style='mso-ansi-language:EN-US;display:none'><i>&#13;</i></span></div>
 <div style='position:absolute;top:63.0%;left:5.05%;width:89.32%;height:5.75%'><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-ansi-language:EN-US'><i><span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span></i></span><span lang=EN-US style='font-family:Symbol;mso-ansi-language:
 EN-US;mso-char-type:symbol'><i>&Oslash;</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<span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span>p(x/t)<span style="mso-spacerun: yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span></i></span><span style='font-size:75%'><i>变元</i></span><span
 lang=EN-US style='mso-ansi-language:EN-US;display:none'><i>&#13;</i></span></div>
 <div style='position:absolute;top:68.25%;left:5.05%;width:89.32%;height:5.75%'><span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-ansi-language:EN-US'><i><span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span></i></span><span lang=EN-US style='font-family:Symbol;mso-ansi-language:
 EN-US;mso-char-type:symbol'><i>&Oslash;</i></span><span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'><i> q<span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span></i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";font-size:75%;mso-fareast-language:
 ZH-CN'><i>t </i></span><span style='font-size:75%'><i>在</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 font-size:75%'><i> p </i></span><span style='font-size:75%'><i>中对</i></span><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 font-size:75%'><i> x </i></span><span style='font-size:75%'><i>自由</i></span>&#13;</div>
 <div style='position:absolute;top:74.5%;left:5.05%;width:89.32%;height:4.75%'>&#13;</div>
 <div style='position:absolute;top:79.5%;left:5.05%;width:89.32%;height:5.25%'>自然推理系统（<span
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'>Gentzen </span>系统）</div>
 </div>
 <v:line id="_x0000_s28675" style='position:absolute;mso-wrap-style:none;
  v-text-anchor:middle' from="114pt,258pt" to="192pt,258pt" strokecolor="black [1]">
  <v:shadow color="gray [2]"/>
 </v:line><![if !vml]><img border=0 v:shapes="_x0000_s28675"
 src="slide0021_image042.gif" style='position:absolute;top:47.75%;left:15.73%;
 width:11.23%;height:.75%'><![endif]><v:line id="_x0000_s28676" style='position:absolute;
  mso-wrap-style:none;v-text-anchor:middle' from="114pt,372pt" to="192pt,372pt"
  strokecolor="black [1]">
  <v:shadow color="gray [2]"/>
 </v:line><![if !vml]><img border=0 v:shapes="_x0000_s28676"
 src="slide0021_image043.gif" style='position:absolute;top:68.75%;left:15.73%;
 width:11.23%;height:.75%'><![endif]><v:line id="_x0000_s28677" style='position:absolute;
  mso-wrap-style:none;v-text-anchor:middle' from="300pt,258pt" to="366pt,258pt"
  strokecolor="black [1]">
  <v:shadow color="gray [2]"/>
 </v:line><![if !vml]><img border=0 v:shapes="_x0000_s28677"
 src="slide0021_image044.gif" style='position:absolute;top:47.75%;left:41.57%;
 width:9.55%;height:.75%'><![endif]><v:line id="_x0000_s28678" style='position:absolute;
  mso-wrap-style:none;v-text-anchor:middle' from="318pt,342pt" to="408pt,342pt"
  strokecolor="black [1]">
  <v:shadow color="gray [2]"/>
 </v:line><![if !vml]><img border=0 v:shapes="_x0000_s28678"
 src="slide0021_image045.gif" style='position:absolute;top:63.25%;left:44.0%;
 width:12.92%;height:.75%'><![endif]><v:line id="_x0000_s28679" style='position:absolute;
  mso-wrap-style:none;v-text-anchor:middle' from="480pt,228pt" to="9in,228pt"
  strokecolor="black [1]">
  <v:shadow color="gray [2]"/>
 </v:line><![if !vml]><img border=0 v:shapes="_x0000_s28679"
 src="slide0021_image046.gif" style='position:absolute;top:42.25%;left:66.66%;
 width:23.78%;height:.75%'><![endif]></p:slide></div>

</body>

</html>