slide0081.htm

人工智能的教材啊

 &#13;</span></div>
 <div style='position:absolute;top:32.0%;left:5.8%;width:94.0%;height:4.75%'>&#13;</div>
 <div style='position:absolute;top:36.75%;left:5.8%;width:94.0%;height:5.25%'><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><b>谓词限制</b>的基本形式&#13;</div>
 <div style='position:absolute;top:42.5%;left:5.8%;width:94.0%;height:4.75%'>&#13;</div>
 <div style='position:absolute;top:47.5%;left:5.8%;width:106.74%;height:5.25%'>令<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>L</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
 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:
 "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>L </i></span>的公式<span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>,
 </span>它包含谓词&#13;</div>
 <div style='position:absolute;top:52.75%;left:5.8%;width:94.0%;height:5.25%'>元组<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=(P1,…,Pn), x=(x1,…,xn) </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=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:"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 style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman"'><i>.</i></span>&#13;</div>
 <div style='position:absolute;top:58.5%;left:5.8%;width:94.0%;height:4.75%'>&#13;</div>
 <div style='position:absolute;top:63.5%;left:5.8%;width:94.0%;height:5.25%'><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
 lang=EN-US style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>Mi, I=1,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>是模型<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>M1 &lt;P M2</i></span><span lang=EN-US
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'>, iff &#13;</span></div>
 <div style='position:absolute;top:68.75%;left:5.8%;width:94.0%;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;
 </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>(1)<span
 style="mso-spacerun: yes">&nbsp; </span>|M1|=|M2|, M1</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:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>M2 </i></span><span lang=ZH-CN
 style='mso-fareast-language:ZH-CN'>具有相同的论域</span>&#13;</div>
 <div style='position:absolute;top:73.75%;left:5.8%;width:112.73%;height:5.75%'><span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><span
 style="mso-spacerun:
 yes">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 </span></span><span style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman"'><i>(2)<span style="mso-spacerun: yes">&nbsp; </span>|P|_M1 </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>
 |P|_M2, P</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>M1</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>M2</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:79.5%;left:5.8%;width:111.98%;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>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 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>M</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:仿宋_GB2312;
 mso-fareast-font-family:仿宋_GB2312'>优先</span>的<span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'><i>(&lt;P</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:仿宋_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 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:
 "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>M’</i></span><span
 lang=EN-US style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:84.75%;left:5.8%;width:94.0%;height:5.25%'>使得<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>M’ &lt;P M</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:90.5%;left:5.8%;width:94.0%;height:4.75%'><span
 style='mso-special-format:lastCR;display:none'>&#13;</span></div>
 </div>
</p:slide></div>

</body>

</html>