• 2022-06-08
    说明性语言的特点之一是 (27) , (28) 就是一种说明性语言,它又是一种 (29) 程序设计语言。 Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则 (30) 为Horn子句。
    A: P,Q:-R
    B: P:-Q,R
    C: P:-~Q,R
    D: P,Q:-
  • B

    举一反三

    内容

    • 0

      说明性语言的特点之一是______,______就是一种说明性语言、它又是一种______程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则______为Horn子句。对于由子句p(a)和q(x):-p(x)所组成的程序,其极小Her-brand模型是______。 A: 函数型 B: 递归型 C: 人工智能 D: 面向对象

    • 1

      说明性语言的特点之一是______,______就是一种说明性语言、它又是一种______程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P,Q,R为原子公式,则______为Horn子句。对于由子句p(a)和q(x):-p(x)所组成的程序,其极小Her-brand模型是______。 A: 没有程序呼叫 B: 描述处理过程 C: 没有赋值语句 D: 描述用户需求

    • 2

      命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)

    • 3

      公式(p∨q)→r的主合取范式是( ) A: (P∨Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) B: (┐P∨Q∨R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) C: (P∨┐Q∨┐R)∧(┐P∨┐Q∨R)∧ (P∨┐Q∨R) D: (┐P∨Q∨┐R)∧(┐P∨┐Q∨R)∧(┐P∨┐Q∨┐R)

    • 4

      设p∧q真,r假,下列公式中取值为真的是() A: q∧r↔p B: (-p∧-r)∨-q C: q∨-r→p D: (q→p)→((p→-r)→(-r→-q))