您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理,(英文版) 介绍的内容包括逻辑表达,模型检测,程序验证等
  3. 所属分类:专业指导

    • 发布日期:2009-11-13
    • 文件大小:2097152
    • 提供者:yuxizi1987
  1. 面向计算机科学的数理逻辑系统建模与推理.PDF

  2. 面向计算机科学的数理逻辑系统建模与推理.PDF
  3. 所属分类:专业指导

    • 发布日期:2010-03-23
    • 文件大小:2097152
    • 提供者:lvxinliang
  1. 人工智能(哈工大)-赵铁军-2009 ppt

  2. 8个部分共9章,覆盖了人工智能研究的核心内容 8个部分9章是: 人工智能概述—第1章 第1部分 搜索(问题求解)—第2章 第2部分 逻辑与推理—第3章 第3部分 知识表示—第4章 不确定性推理—第5章 第4部分 学习—第6章 第5部分 自然语言理解简介—第7章 第6部分 规划简介—第8章 第7部分 多Agent系统—第9章 第8部分
  3. 所属分类:专业指导

    • 发布日期:2010-05-18
    • 文件大小:9437184
    • 提供者:lgmmgl
  1. 面向计算机科学的数理逻辑系统建模与推理 中文版 logic in computer science

  2. 面向计算机科学的数理逻辑系统建模与推理(原书第二版) 绝对中文版
  3. 所属分类:专业指导

    • 发布日期:2010-11-21
    • 文件大小:11534336
    • 提供者:tianshuo001
  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理
  3. 所属分类:专业指导

    • 发布日期:2008-04-08
    • 文件大小:2097152
    • 提供者:kittyjie
  1. 面向计算机科学的数理逻辑课后习题答案 1-5章

  2. 面向计算机科学的数理逻辑 系统建模与推理 原书第2版 的课后习题1-5章的英文答案,虽然是英文,不过对照习题,很容易看懂。
  3. 所属分类:专业指导

    • 发布日期:2012-02-17
    • 文件大小:454656
    • 提供者:zchtcl
  1. 面向计算机科学的数理逻辑:系统建模与推理(英文版)

  2. 面向计算机科学的数理逻辑:系统建模与推理
  3. 所属分类:专业指导

    • 发布日期:2012-03-28
    • 文件大小:2097152
    • 提供者:luckyhouc
  1. 面向计算机科学的数理逻辑

  2. 英文原版 面向计算机科学的数理逻辑系统建模与推理
  3. 所属分类:专业指导

    • 发布日期:2012-10-04
    • 文件大小:2097152
    • 提供者:oyangbanxian
  1. 面向计算机科学的数理逻辑系统建模与推理

  2. The aim of logic in computer science is to develop languages to model the situations we encounter as computer science professionals, in such a way that we can reason about them formally. Reasoning about situations means constructing arguments about
  3. 所属分类:专业指导

    • 发布日期:2012-11-19
    • 文件大小:2097152
    • 提供者:hfc001
  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理.pdf login in computer science modeling and reasoning about systems
  3. 所属分类:专业指导

    • 发布日期:2013-02-03
    • 文件大小:2097152
    • 提供者:starry225
  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理
  3. 所属分类:专业指导

    • 发布日期:2014-01-02
    • 文件大小:2097152
    • 提供者:zhaojq6624
  1. 面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文

  2. 本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
  3. 所属分类:其它

    • 发布日期:2014-07-22
    • 文件大小:11534336
    • 提供者:hrjzsb
  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理
  3. 所属分类:讲义

    • 发布日期:2017-01-01
    • 文件大小:2097152
    • 提供者:baidu_37223029
  1. 面向计算机科学的数理逻辑系统与建模1-2章课后习题答案

  2. 面向计算机科学的数理逻辑系统建模与推理1-2章的课后习题答案,答案为英文版,与中文版的课后习题一致,需要者可下载!
  3. 所属分类:讲义

    • 发布日期:2017-10-15
    • 文件大小:2097152
    • 提供者:u010705932
  1. 本文介绍了DSS决策支持系统相关理论及决策的意义。决策者依据决策来指导工作,

  2. 决策支持系统概述 摘要:本文介绍了DSS决策支持系统相关理论及决策的意义。决策者依据决策来指导工作, 预测本部门事业未来,高效地控制企事业行为,帮助部门实现规划目标 关键词:决策支持;辅助;智能 。1,决策支持系统(DSS,Decision Support System)是以管理科学、运筹学、控制论和行为科 学为基础,以计算机技术、人工智能技术和信息技 术为手段,智能化地支持决策活动的计算机系统。 决策支持系统通过人机对话进行分析、比较和判 断,识别问题,建立或修改模型,帮助决策者明确 决策目
  3. 所属分类:专业指导

    • 发布日期:2009-01-07
    • 文件大小:31744
    • 提供者:longmarcher
  1. 模糊命题逻辑系统的计量化与近似推理

  2. 模糊命题逻辑系统的计量化与近似推理,黎丽,,利用赋值集的随机化方法,在模糊命题逻辑系统中引入了命题公式的随机真度,同时引入了命题公式间的随机相似度和随机伪距离,建立
  3. 所属分类:其它

    • 发布日期:2020-02-11
    • 文件大小:423936
    • 提供者:weixin_38716872
  1. 模拟电路故障诊断理论与方法.pdf

  2. 模拟电路故障诊断理论与方法pdf,模拟电路故障诊断理论与方法目录 引言 模拟电路故障诊断方法的分类 三;现代模拟电路故障诊断理论和方法 2.专家系统故障诊断方法 2.2神经网终故障诊断方法 222 2.3模拟故障诊断方法… 2.4小波变换故障诊断方法 2.5多传慼器信息融合故障诊断方法… 2.6基于 Agent技术的故障诊断方法 2.7基于其他理论的故障诊断方法…………………………………………6 四:结论 结束语 参考文献 ………………10 0引言 近年来,随着对模拟电路故障诊断技木硏究的进一
  3. 所属分类:其它

    • 发布日期:2019-09-14
    • 文件大小:2097152
    • 提供者:weixin_38743481
  1. 通信与网络中的浅谈语义Web与推理系统的应用

  2. 语义Web发展很重要的目的就是要建立人与机器都可以理解的知识系统,将信息用语义Web本体论的思想来表达可以部分解决机器无法理解人类所描述知识的问题。在语义Web本体论的基础上建立机器进行自动推理的方法,将所描述的知识进行推理并重新组织加工。目前,具有通用性的推理系统主要是专家系统,在专家系统中所使用的知识呈现多元化,其中包含语义网络、框架、法则、逻辑等。虽然这些知识的表示方法各有其优点,但在建立推理系统时都存在各种各样的缺点和不足。传统的框架表示知识无法表现的交集、合集等概念;语意网络表示的知识
  3. 所属分类:其它

    • 发布日期:2020-10-22
    • 文件大小:164864
    • 提供者:weixin_38701952
  1. 语义Web与推理系统的应用研究

  2. 分析了语义Web的体系结构及其相关知识,对本体论的逻辑基础进行了研究。在此基础上提出了一种有效的推理系统。
  3. 所属分类:其它

    • 发布日期:2020-10-26
    • 文件大小:153600
    • 提供者:weixin_38624628
  1. 浅谈语义Web与推理系统的应用

  2. 语义Web发展很重要的目的就是要建立人与机器都可以理解的知识系统,将信息用语义Web本体论的思想来表达可以部分解决机器无法理解人类所描述知识的问题。在语义Web本体论的基础上建立机器进行自动推理的方法,将所描述的知识进行推理并重新组织加工。目前,具有通用性的推理系统主要是系统,在系统中所使用的知识呈现多元化,其中包含语义网络、框架、法则、逻辑等。虽然这些知识的表示方法各有其优点,但在建立推理系统时都存在各种各样的缺点和不足。传统的框架表示知识无法表现的交集、合集等概念;语意网络表示的知识由于表现
  3. 所属分类:其它

    • 发布日期:2021-01-19
    • 文件大小:159744
    • 提供者:weixin_38622227
« 12 3 4 5 6 »