⭐ 欢迎来到虫虫下载站！ | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站
📤 上传资源

📄 slide0134.htm

📁 人工智能的教材啊
💻 HTM
字号:
🔍 
<html xmlns:v="urn:schemas-microsoft-com:vml"
xmlns:o="urn:schemas-microsoft-com:office:office"
xmlns:p="urn:schemas-microsoft-com:office:powerpoint"
xmlns="http://www.w3.org/TR/REC-html40">

<head>
<meta http-equiv=Content-Type content="text/html; charset=GB2312">
<meta name=ProgId content=PowerPoint.Slide>
<meta name=Generator content="Microsoft PowerPoint 9">
<link id=Main-File rel=Main-File href="../Ai.htm">
<link rel=Preview href=preview.wmf>
<!--[if !mso]>
<style>
v\:* {behavior:url(#default#VML);}
o\:* {behavior:url(#default#VML);}
p\:* {behavior:url(#default#VML);}
.shape {behavior:url(#default#VML);}
v\:textbox {display:none;}
</style>
<![endif]-->
<title>人工智能</title>
<meta name=Description content="2000/3/13">
<link rel=Stylesheet href="master03_stylesheet.css">
<![if !ppt]>
<style media=print>
<!--.sld
	{left:0px !important;
	width:6.0in !important;
	height:4.5in !important;
	font-size:107% !important;}
-->
</style>
<script src=script.js></script><script><!--
gId="slide0134.htm"
if( !IsNts() ) Redirect( "PPTSld", gId );
//-->
</script><!--[if vml]><script>g_vml = 1;
</script><![endif]--><script for=window event=onload><!--
if( !IsSldOrNts() ) return;
if( MakeNotesVis() ) return;
LoadSld( gId );
MakeSldVis(0);
//-->
</script><![endif]><o:shapelayout v:ext="edit">
 <o:idmap v:ext="edit" data="145,200"/>
</o:shapelayout>
</head>

<body lang=ZH-CN style='margin:0px;background-color:black'
onclick="DocumentOnClick()" onresize="_RSW()" onkeypress="_KPH()">

<div id=SlideObj class=sld style='position:absolute;top:0px;left:0px;
width:534px;height:400px;font-size:16px;background-color:white;clip:rect(0%, 101%, 101%, 0%);
visibility:hidden'><p:slide coordsize="720,540"
 colors="#FFFFFF,#000000,#808080,#000000,#00CC99,#3333CC,#CCCCFF,#B2B2B2"
 masterhref="master03.xml">
 <p:shaperange href="master03.xml#_x0000_s1025"/><![if !ppt]><p:shaperange
  href="master03.xml#_x0000_s1030"/>
 <div v:shape="_x0000_s1030" class=O>
 <div style='text-align:right;position:absolute;top:92.0%;left:72.65%;
 width:18.91%;height:3.0%'><span style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman";font-size:58%;mso-field-code:meta16'>124</span><span
 style='font-size:58%;mso-special-format:lastCR;display:none'>&#13;</span></div>
 </div>
 <![endif]><v:shapetype id="_x0000_t202" coordsize="21600,21600" o:spt="202"
  path="m0,0l0,21600,21600,21600,21600,0xe">
  <v:stroke joinstyle="miter"/>
  <v:path gradientshapeok="t" o:connecttype="rect"/>
 </v:shapetype><v:shape id="_x0000_s148482" type="#_x0000_t202" style='position:absolute;
  left:22.75pt;top:15.25pt;width:668.875pt;height:496pt;mso-wrap-style:none;
  v-text-anchor:top-baseline' filled="f" fillcolor="#0c9 [4]" stroked="f"
  strokecolor="black [1]">
  <v:fill color2="white [0]"/>
  <v:shadow color="gray [2]"/>
  <v:textbox style='mso-fit-shape-to-text:t'/>
 </v:shape>
 <div v:shape="_x0000_s148482" class=O>
 <div style='position:absolute;top:3.75%;left:4.11%;width:108.05%;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"'><i>(2-4)</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 style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman"'><i>(1,2-3)</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 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>John</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:8.75%;left:4.11%;width:109.36%;height:5.75%'><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;&nbsp;
 </span></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=ZH-CN 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
 Ravens(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> Black(x) </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> Raven(Fred) |-John B(Black(Fred)).&#13;</i></span></div>
 <div style='position:absolute;top:15.0%;left:4.11%;width:91.01%;height:4.75%'><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN'>则有&#13;</span></div>
 <div style='position:absolute;top:19.5%;left:4.11%;width:91.01%;height:5.75%'><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;</span></span><span
 lang=ZH-CN style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>5.<span style="mso-spacerun: yes">&nbsp;
 </span></i></span><span lang=ZH-CN style='font-family:Symbol;mso-fareast-language:
 ZH-CN;mso-char-type:symbol'><i>&Oslash;</i></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>Black(Sk)
 </i></span><span lang=EN-US style='font-family:Symbol;mso-fareast-language:
 ZH-CN;mso-char-type:symbol'><i>&Uacute;</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>&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> Raven(Fred)&#13;</i></span></div>
 <div style='position:absolute;top:24.75%;left:4.11%;width:91.01%;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;</span>6.<span style="mso-spacerun: yes">&nbsp; </span>Raven(Sk) </i></span><span
 lang=EN-US style='font-family:Symbol;mso-fareast-language:ZH-CN;mso-char-type:
 symbol'><i>&Uacute;</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>&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>
 Raven(Fred)&#13;</i></span></div>
 <div style='position:absolute;top:30.5%;left:4.11%;width:91.01%;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'><span style="mso-spacerun: yes">&nbsp;
 </span>&#13;</span></div>
 <div style='position:absolute;top:35.25%;left:4.11%;width:91.01%;height:5.75%'><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;</span></span><span
 lang=ZH-CN style='font-family:"Times New Roman";mso-ascii-font-family:"Times New Roman";
 mso-fareast-language:ZH-CN'><i>7.<span style="mso-spacerun: yes">&nbsp;
 </span>(</i></span><span lang=ZH-CN style='font-family:Symbol;mso-fareast-language:
 ZH-CN;mso-char-type:symbol'><i>&Oslash;</i></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>Black(Sk)
 </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> Raven(Sk)) </i></span><span lang=EN-US style='font-family:Symbol;
 mso-fareast-language:ZH-CN;mso-char-type:symbol'><i>&Uacute;</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>&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> Raven(Fred).&#13;</i></span></div>
 <div style='position:absolute;top:41.5%;left:4.11%;width:91.01%;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:46.75%;left:4.11%;width:91.01%;height:4.75%'><span
 lang=EN-US style='font-family:黑体;mso-ascii-font-family:黑体;mso-fareast-font-family:
 黑体;mso-fareast-language:ZH-CN'>8.2.4<span style="mso-spacerun: yes">&nbsp;
 </span></span><span lang=ZH-CN style='font-family:黑体;mso-ascii-font-family:
 黑体;mso-fareast-font-family:黑体;mso-fareast-language:ZH-CN'>嵌套信念</span><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:52.25%;left:4.11%;width:91.01%;height:4.75%'><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:57.0%;left:4.11%;width:91.01%;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:62.75%;left:4.11%;width:91.01%;height:4.75%'><span
 lang=ZH-CN style='mso-fareast-language:ZH-CN;display:none'>&#13;</span></div>
 <div style='position:absolute;top:67.25%;left:4.11%;width:102.8%;height:5.75%'><span
 style='position:absolute;top:0%;left:1.09%;width:98.9%'><span
 style='mso-special-format:bullet;position:absolute;left:-1.1%'>&#8226;</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:
 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 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"'>
 </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>B(</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>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'><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'> </span>是一个<span style='font-family:"Times New Roman";mso-ascii-font-family:
 "Times New Roman"'> wff.&#13;</span></span></div>
 <div style='position:absolute;top:72.5%;left:4.11%;width:91.01%;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>B(a,B(b,</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'><i>)).&#13;</i></span></div>
 <div style='position:absolute;top:78.75%;left:4.11%;width:91.01%;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:83.25%;left:4.11%;width:91.01%;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>T_</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 style='font-family:"Times New Roman";
 mso-ascii-font-family:"Times New Roman"'> wffs </span>集<span style='font-family:
 "Times New Roman";mso-ascii-font-family:"Times New Roman"'>.&#13;</span></div>
 <div style='position:absolute;top:89.5%;left:4.11%;width:91.01%;height:4.75%'><span
 style='mso-special-format:lastCR;display:none'>&#13;</span></div>
 </div>
</p:slide></div>

</body>

</html>

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -