点数信息
www.dssz.net
注册会员
|
设为首页
|
加入收藏夹
您好,欢迎光临本网站!
[请登录]
!
[注册会员]
!
首页
移动开发
云计算
大数据
数据库
游戏开发
人工智能
网络技术
区块链
操作系统
模糊查询
热门搜索:
源码
Android
整站
插件
识别
p2p
游戏
算法
更多...
在线客服QQ:632832888
当前位置:
资源下载
搜索资源 - 逻辑系统与推理
下载资源分类
移动开发
开发技术
课程资源
网络技术
操作系统
安全技术
数据库
行业
服务器应用
存储
信息化
考试认证
云计算
大数据
跨平台
音视频
游戏开发
人工智能
区块链
在结果中搜索
所属系统
Windows
Linux
FreeBSD
Unix
Dos
PalmOS
WinCE
SymbianOS
MacOS
Android
开发平台
Visual C
Visual.Net
Borland C
CBuilder
Dephi
gcc
VBA
LISP
IDL
VHDL
Matlab
MathCAD
Flash
Xcode
Android STU
LabVIEW
开发语言
C/C++
Pascal
ASM
Java
PHP
Basic/ASP
Perl
Python
VBScript
JavaScript
SQL
FoxBase
SHELL
E语言
OC/Swift
文件类型
源码
程序
CHM
PDF
PPT
WORD
Excel
Access
HTML
Text
资源分类
搜索资源列表
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理,(英文版) 介绍的内容包括逻辑表达,模型检测,程序验证等
所属分类:
专业指导
发布日期:2009-11-13
文件大小:2097152
提供者:
yuxizi1987
面向计算机科学的数理逻辑系统建模与推理.PDF
面向计算机科学的数理逻辑系统建模与推理.PDF
所属分类:
专业指导
发布日期:2010-03-23
文件大小:2097152
提供者:
lvxinliang
人工智能(哈工大)-赵铁军-2009 ppt
8个部分共9章,覆盖了人工智能研究的核心内容 8个部分9章是: 人工智能概述—第1章 第1部分 搜索(问题求解)—第2章 第2部分 逻辑与推理—第3章 第3部分 知识表示—第4章 不确定性推理—第5章 第4部分 学习—第6章 第5部分 自然语言理解简介—第7章 第6部分 规划简介—第8章 第7部分 多Agent系统—第9章 第8部分
所属分类:
专业指导
发布日期:2010-05-18
文件大小:9437184
提供者:
lgmmgl
面向计算机科学的数理逻辑系统建模与推理 中文版 logic in computer science
面向计算机科学的数理逻辑系统建模与推理(原书第二版) 绝对中文版
所属分类:
专业指导
发布日期:2010-11-21
文件大小:11534336
提供者:
tianshuo001
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理
所属分类:
专业指导
发布日期:2008-04-08
文件大小:2097152
提供者:
kittyjie
面向计算机科学的数理逻辑课后习题答案 1-5章
面向计算机科学的数理逻辑 系统建模与推理 原书第2版 的课后习题1-5章的英文答案,虽然是英文,不过对照习题,很容易看懂。
所属分类:
专业指导
发布日期:2012-02-17
文件大小:454656
提供者:
zchtcl
面向计算机科学的数理逻辑:系统建模与推理(英文版)
面向计算机科学的数理逻辑:系统建模与推理
所属分类:
专业指导
发布日期:2012-03-28
文件大小:2097152
提供者:
luckyhouc
面向计算机科学的数理逻辑
英文原版 面向计算机科学的数理逻辑系统建模与推理
所属分类:
专业指导
发布日期:2012-10-04
文件大小:2097152
提供者:
oyangbanxian
面向计算机科学的数理逻辑系统建模与推理
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
所属分类:
专业指导
发布日期:2012-11-19
文件大小:2097152
提供者:
hfc001
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理.pdf login in computer science modeling and reasoning about systems
所属分类:
专业指导
发布日期:2013-02-03
文件大小:2097152
提供者:
starry225
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理
所属分类:
专业指导
发布日期:2014-01-02
文件大小:2097152
提供者:
zhaojq6624
面向计算机科学的数理逻辑-系统的建模与推理(原书第2版) 中文
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Alloy语言和NuSMV工具等内容。
所属分类:
其它
发布日期:2014-07-22
文件大小:11534336
提供者:
hrjzsb
面向计算机科学的数理逻辑系统建模与推理
面向计算机科学的数理逻辑系统建模与推理
所属分类:
讲义
发布日期:2017-01-01
文件大小:2097152
提供者:
baidu_37223029
面向计算机科学的数理逻辑系统与建模1-2章课后习题答案
面向计算机科学的数理逻辑系统建模与推理1-2章的课后习题答案,答案为英文版,与中文版的课后习题一致,需要者可下载!
所属分类:
讲义
发布日期:2017-10-15
文件大小:2097152
提供者:
u010705932
本文介绍了DSS决策支持系统相关理论及决策的意义。决策者依据决策来指导工作,
决策支持系统概述 摘要:本文介绍了DSS决策支持系统相关理论及决策的意义。决策者依据决策来指导工作, 预测本部门事业未来,高效地控制企事业行为,帮助部门实现规划目标 关键词:决策支持;辅助;智能 。1,决策支持系统(DSS,Decision Support System)是以管理科学、运筹学、控制论和行为科 学为基础,以计算机技术、人工智能技术和信息技 术为手段,智能化地支持决策活动的计算机系统。 决策支持系统通过人机对话进行分析、比较和判 断,识别问题,建立或修改模型,帮助决策者明确 决策目
所属分类:
专业指导
发布日期:2009-01-07
文件大小:31744
提供者:
longmarcher
模糊命题逻辑系统的计量化与近似推理
模糊命题逻辑系统的计量化与近似推理,黎丽,,利用赋值集的随机化方法,在模糊命题逻辑系统中引入了命题公式的随机真度,同时引入了命题公式间的随机相似度和随机伪距离,建立
所属分类:
其它
发布日期:2020-02-11
文件大小:423936
提供者:
weixin_38716872
模拟电路故障诊断理论与方法.pdf
模拟电路故障诊断理论与方法pdf,模拟电路故障诊断理论与方法目录 引言 模拟电路故障诊断方法的分类 三;现代模拟电路故障诊断理论和方法 2.专家系统故障诊断方法 2.2神经网终故障诊断方法 222 2.3模拟故障诊断方法… 2.4小波变换故障诊断方法 2.5多传慼器信息融合故障诊断方法… 2.6基于 Agent技术的故障诊断方法 2.7基于其他理论的故障诊断方法…………………………………………6 四:结论 结束语 参考文献 ………………10 0引言 近年来,随着对模拟电路故障诊断技木硏究的进一
所属分类:
其它
发布日期:2019-09-14
文件大小:2097152
提供者:
weixin_38743481
通信与网络中的浅谈语义Web与推理系统的应用
语义Web发展很重要的目的就是要建立人与机器都可以理解的知识系统,将信息用语义Web本体论的思想来表达可以部分解决机器无法理解人类所描述知识的问题。在语义Web本体论的基础上建立机器进行自动推理的方法,将所描述的知识进行推理并重新组织加工。目前,具有通用性的推理系统主要是专家系统,在专家系统中所使用的知识呈现多元化,其中包含语义网络、框架、法则、逻辑等。虽然这些知识的表示方法各有其优点,但在建立推理系统时都存在各种各样的缺点和不足。传统的框架表示知识无法表现的交集、合集等概念;语意网络表示的知识
所属分类:
其它
发布日期:2020-10-22
文件大小:164864
提供者:
weixin_38701952
语义Web与推理系统的应用研究
分析了语义Web的体系结构及其相关知识,对本体论的逻辑基础进行了研究。在此基础上提出了一种有效的推理系统。
所属分类:
其它
发布日期:2020-10-26
文件大小:153600
提供者:
weixin_38624628
浅谈语义Web与推理系统的应用
语义Web发展很重要的目的就是要建立人与机器都可以理解的知识系统,将信息用语义Web本体论的思想来表达可以部分解决机器无法理解人类所描述知识的问题。在语义Web本体论的基础上建立机器进行自动推理的方法,将所描述的知识进行推理并重新组织加工。目前,具有通用性的推理系统主要是系统,在系统中所使用的知识呈现多元化,其中包含语义网络、框架、法则、逻辑等。虽然这些知识的表示方法各有其优点,但在建立推理系统时都存在各种各样的缺点和不足。传统的框架表示知识无法表现的交集、合集等概念;语意网络表示的知识由于表现
所属分类:
其它
发布日期:2021-01-19
文件大小:159744
提供者:
weixin_38622227
«
1
2
3
4
5
6
»