产生式表示法与框架表示法
第1关:产生式表示法
1、下面哪个选项是确定性规则知识的产生式表示的基本形式( )
A、IF P THEN Q
B、IF P THEN Q(置信度)
C、(对象,属性,值)
D、(对象,属性,值,置信度)
答案:A
2、老李的年龄可能是40岁,表示为(Li,Age,40,0.8),这属于哪种表示法( )
A、确定性规则知识的产生式表示
B、不确定性规则知识的产生式表示
C、确定性事实知识的产生式表示
D、不确定性事实知识的产生式表示
答案:D
3、产生式与谓词逻辑的蕴含式的基本形式相同,但蕴含式只是产生式的一种特殊情况。
A、对
B、错
答案:A
4、下列关于产生式表示法的特点,那些是产生式表示法的优点( )
A、自然性
B、模块性
C、清晰性
D、有效性
答案:ABCD
5、以下适合用产生式表示法表示的是( )
A、化学反应方面的知识
B、医疗诊断方面的知识
C、故障诊断方面的知识
D、领域问题的求解
答案:ABCD
第2关:产生式系统
# 动物识别系统
# 自定义函数,判断有无重复元素
def judge_repeat(value, list=[]):
for i in range(0, len(list)):
if (list[i] == value):
return 1
else:
if (i != len(list) - 1):
continue
else:
return 0
# 自定义函数,对已经整理好的综合数据库real_list进行最终的结果判断
def judge_last(list):
for i in list:
if (i == '23'):
for i in list:
if (i == '12'):
for i in list:
if (i == '21'):
for i in list:
if (i == '13'):
print("黄褐色,有斑点,哺乳类,食肉类->金钱豹\n")
print("所识别的动物为金钱豹")
return 0
elif (i == '14'):
print("黄褐色,有黑色条纹,哺乳类,食肉类->虎\n")
print("所识别的动物为虎")
return 0
elif (i == '14'):
for i in list:
if (i == '24'):
print("有黑色条纹,蹄类->斑马\n")
print("所识别的动物为斑马")
return 0
elif (i == '24'):
for i in list:
if (i == '13'):
for i in list:
if (i == '15'):
for i in list:
if (i == '16'):
print("有斑点,有黑色条纹,长脖,蹄类->长颈鹿\n")
print("所识别的动物为长颈鹿")
return 0
elif (i == '20'):
for i in list:
if (i == '22'):
print("善飞,鸟类->信天翁\n")
print("所识别的动物为信天翁")
return 0
#********* Begin *********#
elif (i == '22'):
for i in list:
if (i == '15'):
for i in list:
if (i == '16'):
for i in list:
if (i == '4'):
print("不会飞,长脖,长腿,鸟类->鸵鸟\n")
print("所识别的动物为鸵鸟")
return 0
# ********* End *********#
elif (i == '4'):
for i in list:
if (i == '22'):
for i in list:
if (i == '18'):
for i in list:
if (i == '19'):
print("不会飞,会游泳,黑白二色,鸟类->企鹅\n")
print("所识别的动物企鹅")
return 0
else:
if (list.index(i) != len(list) - 1):
continue
else:
print("\n根据所给条件无法判断为何种动物")
第3关:框架表示法
1、产生式表示法是一种结构化的知识表示方法,现在已经在多种系统中得到应用。
A、对
B、错
答案:B
2、如下图是一个教室框架,该框架共有( )槽
A、12
B、13
C、14
D、15
答案:B
3、下列选项中,哪些是框架表示法的特点( )
A、结构性
B、精确性
C、继承性
D、自然性
答案:ACD
一阶逻辑表示
第1关:第八章 一阶逻辑习题
1、下列答案中哪个是错的?
用谓词表达式写出下列命题:
(1)王文不是学生;
(2)2是素数且是偶数;
(3)若m是奇数,则2m不是奇数;
(4)河北省南接河南省;
(5)若2大于3.则2大于4.
A、P(x):x是学生 a:王文
于是(1)为: ¬P(a)
B、H(x):x是素数 M(x):x是偶数 a:2
于是(2)为:H(a) ∧M(a)
C、R(x) :x是奇数
于是(3)为:R(m) ⇒¬R(2m)
D、L(x,y) :x 南接y c:河北省 d:河南省
于是(4)为L(c,d)
E、S(x,y):x大于y a:2 b:3 c :4
于是(5)为:S(a,b) ⇒S(b,c)
答案:E
2、用谓词表达式写出下列命题:
(1)凡是有理数都可以写成分数;
(2)存在着会说话的机器人;
(3)并非每个实数都是有理数;
(4)如果有限个数的乘积为零,那么至少有一个因子等于零;
(5)没有不犯错误的人。
下列答案中哪项错误?
A、G(x):x有理数 H(x): x可以写成分数
于是(1)为: ∀x(G(x)⇒H(x))
B、F(x):x会说话 Q(x):x是机器人
于是(2)为: ∃x(F(x)∧Q(x))
C、R(x):x是实数 Q(x):x是有理数
于是 (3)为: (∀x)(R(x) ⇒Q(x))
D、N(x):x是有限个数的乘积 Z(y):y为0
P(x):x的乘积为0 F(y):y为乘积中的一个因子
于是 (4)为: ∀x(N(x)∧P(x))⇒ ∃y(F(y)∧Z(y))
E、M(x):x为人 F(x):x犯错误
于是 (5)为: ∃x(F(x)∧M(x))
答案:CE
一阶逻辑的推理
第1关:第九章 一阶逻辑的推理习题
1、习题 2 :构造下面推理的证明:每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车,因而有的人不喜欢步行(个体域为人类集合)
下列说法正确的是:
A、命题符号化: F ( x ) : x 喜欢步行。 G ( x ) : x 喜欢坐汽车 H ( x ) : x 喜欢骑自
B、前提:∀x ( F ( x ) ⇒¬G ( x ) ) , ∀x ( G(x) V H(x) ) , ∀ x ( H(x) )
C、结论:∃ x ( ¬ F ( x ) )
答案:B
2、习题 2 :构造下面推理的证明:每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车,因而有的人不喜欢步行(个体域为全总个体域)
下列选项错误的是:
A、命题符号化: F ( x ) : x 喜欢步行, G ( x ) : x 喜欢坐汽车, H ( x ) : x 喜欢骑自行车, M ( x ) : x 是人
B、前提: ∀x ( M(x)∧ F(x) ⇒¬G(x) ) , ∀x ( M(x)⇒(G(x) V H(x) ) ) , ∃x ( M(x)∧¬ H(x) )
C、结论:∃ x ( ¬M(x)∧¬ F(x))
答案:C