slide0071.htm

人工智能的教材啊

 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:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>
 Horn </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=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><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>) </i></span>协调的<span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'>.&#13;</span></div>
 <div style='position:absolute;top:38.25%;left:6.74%;width:91.94%;height:4.75%'>&#13;</div>
 <div style='position:absolute;top:43.25%;left:6.74%;width:91.94%;height:5.25%'><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 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman";mso-fareast-language:ZH-CN'><i>DCA</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>&#13;</span></div>
 <div style='position:absolute;top:48.5%;left:6.74%;width:91.94%;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'><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>&#13;</span></div>
 <div style='position:absolute;top:54.25%;left:6.74%;width:91.94%;height:4.75%'><span
 lang=EN-US style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:59.25%;left:6.74%;width:91.94%;height:5.25%'><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 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman";mso-fareast-language:ZH-CN'><i>UNA</i></span><span
 lang=EN-US style='mso-fareast-language:ZH-CN'>：&#13;</span></div>
 <div style='position:absolute;top:64.5%;left:6.74%;width:91.94%;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'><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;
 </span>&#13;</span></div>
 <div style='position:absolute;top:70.25%;left:6.74%;width:91.94%;height:4.75%'><span
 lang=EN-US style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:74.75%;left:6.74%;width:91.94%;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; </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"'>)
 </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=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>CWA (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>;P))</i></span><span lang=EN-US
 style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:80.0%;left:6.74%;width:110.48%;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><span style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&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>&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 </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 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
 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>原子&#13;</div>
 <div style='position:absolute;top:86.25%;left:6.74%;width:91.94%;height:4.75%'><span
 style='mso-special-format:lastCR;display:none'>&#13;</span></div>
 </div>
 <v:shapetype id="_x0000_t75" coordsize="21600,21600" o:spt="75"
  o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f">
  <v:stroke joinstyle="miter"/>
  <v:formulas>
   <v:f eqn="if lineDrawn pixelLineWidth 0"/>
   <v:f eqn="sum @0 1 0"/>
   <v:f eqn="sum 0 0 @1"/>
   <v:f eqn="prod @2 1 2"/>
   <v:f eqn="prod @3 21600 pixelWidth"/>
   <v:f eqn="prod @3 21600 pixelHeight"/>
   <v:f eqn="sum @0 0 1"/>
   <v:f eqn="prod @6 1 2"/>
   <v:f eqn="prod @7 21600 pixelWidth"/>
   <v:f eqn="sum @8 21600 0"/>
   <v:f eqn="prod @7 21600 pixelHeight"/>
   <v:f eqn="sum @10 21600 0"/>
  </v:formulas>
  <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/>
  <o:lock v:ext="edit" aspectratio="t"/>
 </v:shapetype><v:shape id="_x0000_s80900" type="#_x0000_t75" style='position:absolute;
  left:240pt;top:243pt;width:162pt;height:36.375pt'>
  <v:imagedata src="slide0071_image065.wmz" o:title=""/>
 </v:shape><o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_s80900"
  DrawAspect="Content" ObjectID="292">
  <p:oleclientdata subtype="equation" menuname="公式"
   clipboardname="Microsoft Equation 3.0"/></o:OLEObject>
 <![if !vml]><img border=0 v:shapes="_x0000_s80900" src="slide0071_image066.gif"
 style='position:absolute;top:45.0%;left:33.33%;width:22.47%;height:6.75%'><![endif]><v:shape
  id="_x0000_s80901" type="#_x0000_t75" style='position:absolute;left:240pt;
  top:342pt;width:180pt;height:37.625pt'>
  <v:imagedata src="slide0071_image067.wmz" o:title=""/>
 </v:shape><o:OLEObject Type="Embed" ProgID="Equation.3" ShapeID="_x0000_s80901"
  DrawAspect="Content" ObjectID="293">
  <p:oleclientdata subtype="equation" menuname="公式"
   clipboardname="Microsoft Equation 3.0"/></o:OLEObject>
 <![if !vml]><img border=0 v:shapes="_x0000_s80901" src="slide0071_image068.gif"
 style='position:absolute;top:63.25%;left:33.33%;width:24.9%;height:7.0%'><![endif]></p:slide></div>

</body>

</html>