slide0082.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>&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> P</i></span><span
 lang=EN-US style='font-family:"Times New Roman";mso-hansi-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>.(A(P</i></span><span lang=EN-US style='font-family:"Times New Roman";
 mso-hansi-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>) </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> </i></span><span lang=EN-US style='font-family:
 Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>&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</i></span><span lang=EN-US
 style='font-family:"Times New Roman";mso-hansi-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>(x) </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> P(x))) </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:
 Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>&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) </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> P’(x))&#13;</i></span></div>
 <div style='position:absolute;top:38.25%;left:5.05%;width:92.88%;height:4.75%'><span
 lang=EN-US style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:43.25%;left:5.05%;width:92.88%;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>的一阶限制模式<span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>:&#13;</span></div>
 <div style='position:absolute;top:48.25%;left:5.05%;width:95.69%;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;
 </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>A(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> (A(P</i></span><span
 lang=EN-US style='font-family:"Times New Roman";mso-hansi-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>) </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> </i></span><span lang=EN-US style='font-family:Symbol;mso-fareast-language:
 ZH-CN;mso-char-type:symbol'><i>&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</i></span><span lang=EN-US
 style='font-family:"Times New Roman";mso-hansi-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>(x) </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> P(x))) </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:
 Symbol;mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>&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) </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> P’(x))&#13;</i></span></div>
 <div style='position:absolute;top:54.25%;left:5.05%;width:92.88%;height:4.75%'><span
 lang=EN-US style='mso-fareast-language:ZH-CN;display:none'><i>&#13;</i></span></div>
 <div style='position:absolute;top:58.75%;left:5.05%;width:107.11%;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 lang=EN-US
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>A |=P </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'> (</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>Circ(A;P) |- </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'>) </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
 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"'>
 </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>Circ(A;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 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'>.&#13;</span></div>
 <div style='position:absolute;top:64.5%;left:5.05%;width:92.88%;height:5.25%'><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'>.&#13;</span></div>
 <div style='position:absolute;top:70.25%;left:5.05%;width:92.88%;height:4.75%'><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:74.75%;left:5.05%;width:92.88%;height:5.75%'><span
 lang=ZH-CN style='font-family:黑体;mso-fareast-font-family:黑体;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
 style="mso-spacerun: yes">&nbsp;&nbsp; </span></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 |-p </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'><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 |=p </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'> .&#13;</span></div>
 <div style='position:absolute;top:80.5%;left:5.05%;width:92.88%;height:5.25%'>证<span
 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'>:</span><span
 lang=EN-US style='mso-ansi-language:EN-US;display:none'><i>&#13;</i></span></div>
 <div style='position:absolute;top:86.25%;left:5.05%;width:92.88%;height:4.75%'>&#13;</div>
 <div style='position:absolute;top:91.5%;left:5.05%;width:92.88%;height:4.75%'><span
 style='mso-special-format:lastCR;display:none'>&#13;</span></div>
 </div>
</p:slide></div>

</body>

</html>