【头歌】产生式表示法与框架表示法，一阶逻辑表示，一阶逻辑的推理

产生式表示法与框架表示法

第1关：产生式表示法

1、下面哪个选项是确定性规则知识的产生式表示的基本形式（ ）
A、IF  P  THEN　Ｑ
B、IF  P  THEN　Ｑ（置信度）
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