必典考网

反演归结(消解)证明定理时,若当前归结式是()时,则定理得证

  • 下载次数:
  • 支持语言:
  • 1809
  • 中文简体
  • 文件类型:
  • 支持平台:
  • pdf文档
  • PC/手机
  • 【名词&注释】

    预处理(pretreatment)、数据交换(data exchange)、组成部分(part)、知识库。、专家系统知识库(this system knowledge base)

  • [单选题]反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

  • A. 永真式
    B. 包孕式
    C. 空子句

  • 查看答案&解析 查看所有试题
  • 学习资料:
  • [单选题]语义网络的组成部分为()
  • A. A、框架和弧线
    B. B、状态和算符
    C. C、节点和链
    D. D、槽和值

  • [单选题]()主要用于对所获得的规则进行价值评定,以决定所得的规则是否存入基础知识库。
  • A. 数据预处理
    B. 数据交换
    C. 数据挖掘
    D. 知识评价

  • [多选题]专家系统知识库(this system knowledge base)包含的内容有()。
  • A. 所有人类知识
    B. 已知的同当前问题有关的数据信息
    C. 进行推理时要用到的一般知识和领域知识
    D. 以上选项都不对

  • 本文链接:https://www.51bdks.net/show/qz6o8q.html
  • 推荐阅读

    @2019-2025 必典考网 www.51bdks.net 蜀ICP备2021000628号 川公网安备 51012202001360号