下载文档原格式
绪论单元测试1.A:错B:对答案:B2.Boole中的语句不能粘贴到Fitch中。
（）A:对B:错答案:B第一章测试1.要打开Tarski’s World，点击文件Tarski’s World.exe。
A:对B:错答案:A2.在Tarski’s World中，要打开事先保存的世界文件和语句文件，可以点击File菜单中的Open命令。
A:对B:错答案:A3.在Tarski’s World中，要保存一份世界文件，最安全的命令是Save World 。
A:对B:错答案:B4.在棋盘上放置一个模块，点击工具栏中的（）。
A:New按钮B:Play Game按钮C:Verify按钮D:打印按钮答案:A5.要删除一个世界文件的方法之一是（）。
A:在File菜单中，点击Clear命令B:点击Play Game按钮C:Verify按钮D:点击New按钮答案:A6.当你在语句窗口中，输入的是一个合式公式时，靠近语句标号的左边显示（）。
A:FB:+C:*D:T答案:B7.在Tarski’s World中，模块的大小有（）这几种情况。
A:中B:大C:较小D:小答案:ABD8.在Tarski’s World中，模块的形状有（）这几种情况。
A:立方体B:圆C:十二面球体D:锥体答案:ACD9.在Tarski’s World中，一个模块的名字可以有（）。
A:三个B:一个C:四个D:两个答案:ABCD10.Tarski’s World不允许给一个模块命名多个名字。
A:对B:错答案:B第二章测试1.要打开Fitch，点击文件Fitch.exe.A:对B:错答案:A2.在Fitch中，要打开Fitch练习文件夹中的文件，可以使用File菜单中的Open命令。
A:错B:对答案:B3.在Fitch中，要保存一份已完成的证明，用Save As命令。
A:对B:错答案:A4.在Fitch的一个证明过程中，要在一行的前面增加一行，点击Proof菜单中的（）。
第5章一阶逻辑等值演算与推理主要内容1. 等值式与基本的等值式①在有限个体域中消去量词等值式②量词否定等值式③量词辖域收缩与扩张等值式④量词分配等值式2. 基本规则①置换规则②换名规则③代替规则3. 前束范式4. 推理理论①推理的形式结构②推理正确③构造证明④新的推理规则全称量词消去规则，记为UI全称量词引入规则，记为UG存在量词消去规则，记为EI存在量词引入规则，记为EG学习要求1. 深刻理解重要的等值式，并能熟练地使用它们。
2. 熟练地使用置换规则、换名规则和代替规则。
3. 准确地求出给定公式的前束范式（形式可不唯一）。
4. 正确地使用UI、UG、EI、EG规则，特别地要注意它们之间的关系。
5. 对于给定的推理，正确地构造出它的证明。
5.1 一阶逻辑等值式与置换规则定义5.1设A，B是一阶逻辑中任意两个公式，若A B是永真式，则称A与B是等值的。
记做A B，称A B是等值式。
谓词逻辑中关于联结词的等值式与命题逻辑中相关等值式类似。
下面主要讨论关于量词的等值式。
一、基本等值式第一组代换实例由于命题逻辑中的重言式的代换实例都是一阶逻辑中的永真式，因而第二章的16组等值式给出的代换实例都是一阶逻辑的等值式的模式。
例如：xF(x)┐┐xF(x)x y(F(x,y)→G(x,y))┐┐x y(F(x,y)→G(x,y))等都是(2.1)式的代换实例。
又如：F(x)→G(y)┐F(x)∨G(y)x(F(x)→G(y))→zH(z)┐x(F(x)→G(y))∨zH(z))等都是(2.1)式的代换实例。
第二组消去量词等值式设个体域为有限域D={a1,a2,…,a n}，则有(1)xA(x)A(a1)∧A(a2)∧…∧A(a n)(2)xA(x)A(a1)∨A(a2)∨…∨A(a n) (5.1)第三组量词否定等值式设A(x)是任意的含有自由出现个体变项x的公式，则(1)┐xA(x)x┐A(x)(2)┐xA(x)x┐A(x) (5.2)(5.2)式的直观解释是容易的。
数量符号如：i，2+i，a，x，自然对数底e，圆周率π。
运算符号如加号（+），减号（－），乘号（×或·），除号（÷或/），两个集合的并集（∪），交集（∩），根号（√），对数（log，lg，ln），比（：），绝对值符号“| |”，微分（dx），积分（∫），曲线积分（∮）等。
关系符号如“=”是等号，“≈”是近似符号，“≠”是不等号，“>”是大于符号，“<”是小于符号，“≥”是大于或等于符号（也可写作“≮”），“≤”是小于或等于符号（也可写作“≯”），。
“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“⊥”是垂直符号，“∝”是成正比符号，（没有成反比符号，但可以用成正比符号配倒数当作成反比）“∈”是属于符号，“⊆”是“包含”符号等。
“|”表示“能整除”（例如a|b 表示 a 能整除b)，x可以代表未知数，y也可以代表未知数，任何字母都可以代表未知数。
结合符号如小括号“（）”中括号“[ ]”，大括号“{ }”横线“—”，比如（2+1）+3=6，[2.5x（23+2）+1]=x，{3.5+[3+1]+1=y性质符号如正号“+”，负号“－”，正负号“±”省略符号如三角形（△），直角三角形（Rt△），正弦（sin），余弦（cos），x的函数（f(x)），极限（lim），角（∠），∵因为，（一个脚站着的，站不住）∴所以，（两个脚站着的，能站住） (口诀：因为站不住，所以两个点)总和（∑），连乘（∏），从n个元素中每次取出r个元素所有不同的组合数（C(r)(n) ），幂（A，Ac，Aq，x^n）等。
排列组合符号C-组合数A-排列数N-元素的总个数R-参与选择的元素个数!-阶乘，如5！=5×4×3×2×1=120C-Combination- 组合A-Arrangement-排列离散数学符号（未全）∀全称量词∃存在量词├ 断定符（公式在L中可证）╞ 满足符（公式在E上有效，公式在E上可满足）┐ 命题的“非”运算∧ 命题的“合取”（“与”）运算∨ 命题的“析取”（“或”，“可兼或”）运算→ 命题的“条件”运算↔命题的“双条件”运算的A<=>B 命题A 与B 等价关系A=>B 命题 A与 B的蕴涵关系A* 公式A 的对偶公式wff 合式公式iff 当且仅当↑ 命题的“与非” 运算（“与非门” ）↓ 命题的“或非”运算（“或非门” ）□ 模态词“必然”◇ 模态词“可能”φ 空集∈ 属于A∈B 则为A属于B（∉不属于）P（A）集合A的幂集|A| 集合A的点数R^2=R○R [R^n=R^(n-1)○R] 关系R的“复合”א阿列夫⊆包含⊂（或下面加≠）真包含∪ 集合的并运算∩ 集合的交运算- （～）集合的差运算〡限制[X](右下角R) 集合关于关系R的等价类A/ R 集合A上关于R的商集[a] 元素a 产生的循环群I (i大写) 环，理想Z/(n) 模n的同余类集合r(R) 关系 R的自反闭包s(R) 关系的对称闭包CP 命题演绎的定理（CP 规则）EG 存在推广规则（存在量词引入规则）ES 存在量词特指规则（存在量词消去规则）UG 全称推广规则（全称量词引入规则）US 全称特指规则（全称量词消去规则）R 关系r 相容关系R○S 关系与关系的复合domf 函数的定义域（前域）ranf 函数的值域f:X→Y f是X到Y的函数GCD(x,y) x,y最大公约数LCM(x,y) x,y最小公倍数aH(Ha) H 关于a的左（右）陪集Ker(f) 同态映射f的核（或称 f同态核）[1，n] 1到n的整数集合d(u,v) 点u与点v间的距离d(v) 点v的度数G=(V,E) 点集为V，边集为E的图W(G) 图G的连通分支数k(G) 图G的点连通度△（G) 图G的最大点度A(G) 图G的邻接矩阵P(G) 图G的可达矩阵M(G) 图G的关联矩阵C 复数集N 自然数集（包含0在内）N* 正自然数集P 素数集Q 有理数集R 实数集Z 整数集Set 集范畴Top 拓扑空间范畴Ab 交换群范畴Grp 群范畴Mon 单元半群范畴Ring 有单位元的（结合）环范畴Rng 环范畴CRng 交换环范畴R-mod 环R的左模范畴mod-R 环R的右模范畴Field 域范畴Poset 偏序集范畴部分希腊字母数学符号字母古希腊语名称英语名称古希腊语发音现代希腊语发音中文注音数学意思Α α ?λφα Alpha [a],[a?] [a] 阿尔法角度；系数Β β β?τα Beta [b] [v] 贝塔角度；系数Δ δ δ?λτα Delta [d] [ð] 德尔塔变动；求根公式Ε ε ?ψιλον Epsilon [e] [e] 伊普西隆对数之基数Ζ ζ ζ?τα Zeta [zd] [z] 泽塔系数；Θθ θ?τα Theta [t?] [θ] 西塔温度；相位角Ι ι ι?τα Iota [i] [i] 约塔微小，一点儿Λ λ λ?μβδα(现为λ?μδα) Lambda [l] [l] 兰姆达波长（小写）；体积Μ μ μυ(现为μι) Mu [m] [m] 谬微（千分之一）；放大因数（小写）Ξ ξ ξι Xi [ks] [ks] 克西随机变量Π π πι Pi [p] [p] 派圆周率=圆周÷直径≈3.1416Σ σ σ?γμα Sigma [s] [s] 西格玛总和（大写）Τ τ ταυ Tau [t] [t] 陶时间常数Φ φ φι Phi [p?] [f] 弗爱辅助角Ω ω ωμ?γα Omega [??] [o] 欧米咖角编辑本段数学符号的意义符号(Symbol) 意义(Meaning)= 等于 is equal to≠ 不等于 is not equal to< 小于 is less than> 大于 is greater than|| 平行 is parallel to≥ 大于等于 is greater than or equal to≤ 小于等于 is less than or equal to≡恒等于或同余π 圆周率|x| 绝对值absolute value of X ∽ 相似 is similar to≌ 全等 is equal to(especially for triangle )>>远远大于号<< 远远小于号∪并集∩交集⊆包含于⊙ 圆\ 求商值β bet 磁通系数；角度；系数（数学中常用作表示未知角）φ f ai 磁通；角（数学中常用作表示未知角）∞无穷大ln(x) 以e为底的对数lg(x) 以10为底的对数floor(x) 上取整函数ceil(x) 下取整函数x mod y 求余数x - floor(x) 小数部分∫f(x)dx不定积分∫[a:b]f(x)dx a到b的定积分∑(n=p,q)f(n) 表示f(n)的n从p到q逐步变化对f(n)的连加和评论(1) | 3202013-02-21 20:09 冰城雪翼 | 一级（1）╮ ＋－×÷±＜＞•∶∴∵∷⊙∫∮∝∞∧∨º¹²³ ½ ¾ ¼≠≤≥≈≡‖＝≌∽≮≯∑∏∪∩∈⊿⌒√∟㏒㏑￠∠⊥％‰℅°℃℉′〒¤○µ㎎㎏㎜㎝㎞㎡㏄㏎㏒＄￡￥㏕♂♀ X¹ X² X³ 1°1′1〃特殊符号(1)↑ ↓ ← → ↖ ↗ ↙ ↘ ㊣◎ ⊕ ⊙ ○ ● △ ▲☆★◇◆□■▽▼§￥￡※♀♂∵∴φω ░▒☻☺☼♠◈♤♦◊♨♣♧♥♡▦▩▣▧▨▤▥▪▫◘◙☏☎☜☞◑◐◦°☑₪特殊符号(2)╮ ，、～％＃＊‧；∶ … ¨ ，• ˙ ‘ ’〃′ εїз™✿｡◕‿◕｡◎☺☻►◄▧▨◐◑↔↕㊊㊋㊌㊍㊎㊏㊐▀▄█▌▬ (ε.メ)特殊符号(3)▣▤▥▦▩♭☀ஐ☈➽〠〄㍿㊚㊛㊙℗♯♩♫♬¤큐≡(2)1 几何符号⊥ ‖ ∠ ⌒ ⊙ ≡ ≌ △2 代数符号∝ ∧ ∨ ～∫ ≠≤ ≥ ≈ ∞ ∶3运算符号× ÷ √ ±4集合符号∪ ∩ ∈5特殊符号∑ π（圆周率）6推理符号|a| ⊥ ∽ △ ∠ ∩ ∪ ≠ ≡ ± ≥ ≤ ∈ ←↑ → ↓ ↖ ↗ ↘ ↙ ‖ ∧ ∨ ∥&; §① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ‖∧ ∨ ∩ ∪ ∫ ∮∴ ∵ ∶ ∷ ∽ ≈ ≌ ≈ ≠ ≡ ≤ ≥ ≤ ≥ ≮ ≯ ⊕ ⊙ ⊥⊿ ⌒ ℃指数0123：o1237、数量符号如：i，2+i，a，x，自然对数底e，圆周率π。
《人工智能》课程习题与部分解答第1章 绪论什么是人工智能 它的研究目标是什么什么是图灵测试简述图灵测试的基本过程及其重要特征. 在人工智能的发展过程中，有哪些思想和思潮起了重要作用 在人工智能的发展过程中，有哪些思想和思潮起了重要作用人工智能的主要研究和应用领域是什么其中，哪些是新的研究热点第2章 知识表示方法什么是知识分类情况如何什么是知识表示不同的知识表示方法各有什么优缺点 人工智能对知识表示有什么要求 用谓词公式表示下列规则性知识：自然数都是大于零的整数。
任何人都会死的。
[解] 定义谓词如下:N(x): “x 是自然数”, I(x): “x 是整数”, L(x): “x 大于0”, D(x): “x 会死的”, M(x): “x 是人”,则上述知识可用谓词分别表示为: )]()()()[(x I x L x N x ∨→∀ )]()()[(x D x M x →∀用谓词公式表示下列事实性知识：小明是计算机系的学生，但他不喜欢编程。
李晓新比他父亲长得高。
产生式系统由哪几个部分组成 它们各自的作用是什么可以从哪些角度对产生式系统进行分类 阐述各类产生式系统的特点。
简述产生式系统的优缺点。
简述框架表示的基本构成，并给出框架的一般结构 框架表示法有什么特点试构造一个描述你的卧室的框架系统。
试描述一个具体的大学教师的框架系统。
[解] 一个具体大学教师的框架系统为： 框架名：<教师-1> 类属：<大学教师>姓名：张宇 性别：男年龄：32职业：<教师>职称：副教授部门：计算机系研究方向：计算机软件与理论工作：参加时间：2000年7月工龄：当前年份-2000工资：<工资单>把下列命题用一个语义网络表示出来(1)树和草都是植物；(2)树和草都是有根有叶的；(3)水草是草，且生长在水中；(4)果树是树，且会结果；(5)苹果树是果树的一种，它结苹果。
[解]在基于语义网络的推理系统中，一般有几种推理方法，简述它们的推理过程。
《人工智能》课程习题与部分解答第1章 绪论什么是人工智能? 它的研究目标是什么?什么是图灵测试?简述图灵测试的基本过程及其重要特征. 在人工智能的发展过程中，有哪些思想和思潮起了重要作用？ 在人工智能的发展过程中，有哪些思想和思潮起了重要作用？ 人工智能的主要研究和应用领域是什么？其中，哪些是新的研究热点？第2章 知识表示方法什么是知识？分类情况如何？什么是知识表示？不同的知识表示方法各有什么优缺点? 人工智能对知识表示有什么要求? 用谓词公式表示下列规则性知识：自然数都是大于零的整数。
任何人都会死的。
[解] 定义谓词如下:N(x): “x 是自然数”, I(x): “x 是整数”, L(x): “x 大于0”, D(x): “x 会死的”, M(x): “x 是人”,则上述知识可用谓词分别表示为: )]()()()[(x I x L x N x ∨→∀ )]()()[(x D x M x →∀用谓词公式表示下列事实性知识：小明是计算机系的学生，但他不喜欢编程。
李晓新比他父亲长得高。
产生式系统由哪几个部分组成? 它们各自的作用是什么?可以从哪些角度对产生式系统进行分类? 阐述各类产生式系统的特点。
简述产生式系统的优缺点。
简述框架表示的基本构成，并给出框架的一般结构框架表示法有什么特点？试构造一个描述你的卧室的框架系统。
试描述一个具体的大学教师的框架系统。
[解] 一个具体大学教师的框架系统为：框架名：<教师-1>类属：<大学教师>姓名：张宇性别：男年龄：32职业：<教师>职称：副教授部门：计算机系研究方向：计算机软件与理论工作：参加时间：2000年7月工龄：当前年份-2000工资：<工资单>把下列命题用一个语义网络表示出来(1)树和草都是植物；(2)树和草都是有根有叶的；(3)水草是草，且生长在水中；(4)果树是树，且会结果；(5)苹果树是果树的一种，它结苹果。
