搜索资源列表
reaing_machine_swrl
- 本体推理是语义网研究的一个热点问题，目前大多数查询系统都是专家系统，但在 专家系统中，知识的表现形式都存在各种不足，本文在借鉴原有专家系统优点的基础之上， 介绍了一个基于SWRL 推理机制的框架，它弥补了专家系统中的不足之处，解决了以往的 本体不能表示“if...then...”这样句式规则的缺点，另外利用本体技术使我们的系统在其它类似 的系统中可以重复使用。-Ontology inference is a hot issue in the studies of Semantic
Einsteins
- 爱因斯坦的思考题,一个有趣的逻辑推理题，爱因斯坦声称世界上只有2 的人能解出-Einsteins consider the title of an interesting question the logic of reasoning, Einstein claimed that only 2 of the people can be solved
DebuggingByDeduction.txt
- A brief descr iption of how to apply deductive reasoning to the task of debugging software.
kaon2-bin-2008-01-14
- 本体推理工具 共八个例子:从如何建立本体到做一些简单的的本体推理-Ontology reasoning instrument :eight examples: from how to set up body to do some simple ontological reasoning
job
- job written test you logical reasoning ability.rar-job written test you logical reasoning ability. Rar
1
- People have vast background knowledge to cope with everyday situations. We don t have to be told everything explicitly because we can call on the background knowledge. We use `default knowledge to handle situations where knowledge is incomplete
JJ
- One names depth of a tree the maximum number of "descents" which can be carried out starting from the root. For example, the third binary tree of figure 1 has a depth of 3.According to this reasoning, a tree having one or no node is of depth 0.
AnimalIdentification
- 根据一些规则实现的动物识别系统 可实现简单的推理和 增加规则-According to some rules of the realization of the animal identification system can be simple rules of reasoning and to increase
aiChess
- 大一时写的有AI的黑白棋程序，打分算法，可以向下推理三步-write with AI Riversi procedures, scoring algorithm, you can step down reasoning
artificial_intelligence_demo_programs
- 光盘中的演示实例是人工智能原理和方法的演示程序.包括基于归结原理的推理系统,合一算法,等式归结,归类算法,野人与传教士过河问题,八数码问题,八皇后问题,一字棋,博弈算法,遗传算法和蚁群算法等的演示。-CD-ROM presentation of a number of examples of the hard work of graduate and undergraduate results. Including reasoning based on the principle of the
artificial_intelligence_demo_programs
- 光盘中的演示实例是人工智能原理和方法的演示程序.包括基于归结原理的推理系统,合一算法,等式归结,归类算法,野人与传教士过河问题,八数码问题,八皇后问题,一字棋,博弈算法,遗传算法和蚁群算法等的演示。-CD-ROM presentation of examples of the principles and methods of artificial intelligence demo program. Including reasoning based on the principle of t
artificial_intelligence_demo_programs
- 光盘中的演示实例是人工智能原理和方法的演示程序.包括基于归结原理的推理系统,合一算法,等式归结,归类算法,八数码问题,八皇后问题,一字棋,博弈算法,遗传算法和蚁群算法等的演示。-CD-ROM presentation of examples of the principles and methods of artificial intelligence demo program. Including reasoning based on the principle of the system c
MATLAB
- 《MATLAB及在电子信息课程中的应用》一书由陈怀琛编著<br>MATLAB语言具备高效、可视化及推理能力强等特点，在日前工程界是流行最广的科学计算语言。-" MATLAB and electronic information in the application of the curriculum," a book edited by陈怀琛<br> MATLAB language with high-performance, visualization
New_Microsoft_Word_Document
- Cognitive Radio and Dynamic Spectrum Access represent two complementary developments that will refashion the world of wireless communication. In order to investigate the roles of knowledge representation and reasoning technologies in this domain, we
animal
- 人工智能实习作业，基于web的动物识别专家系统，基于产生式规则的正向推理，使用jsp开发，开发环境为Eclipse+struts+tomcat+mysql，内含详细说明文档-Practice of artificial intelligence operations, web-based expert system for animal identification, production rule-based forward reasoning, the use of jsp developm
sourcecode
- 你必须知道的NET源码 书本源码. 来自于微软MVP的最新技术心得和感悟，将技术问题以生动易懂的语言展开，层层深入，以例说理。 本书以.NET Framework和CLR研究为核心展开.NET本质论述-You have to know the books of the NET source code. Microsoft MVP from ideas and the latest technology insights to understand the technical aspec
BayesNet.java.tar
- 贝叶斯网络是一种概率网络，它是基于概率推理的图形化网络，而贝叶斯公式则是这个概率网络的基础。贝叶斯网络是基于概率推理的数学模型,所谓概率推理就是通过一些变量的信息来获取其他的概率信息的过程，基于概率推理的贝叶斯网络(Bayesian network)是为了解决不定性和不完整性问题而提出的，它对于解决复杂设备不确定性和关联性引起的故障有很的优势，在多个领域中获得广泛应用。本算法用于weka算法包的拓展。-Bayesian network is a probabilistic network, wh
Resolution
- 本程序实现了对命题逻辑公式应用归结反演策略自动推理。程序结构简单,便于初学者理解人工智能的归结原理.-This procedure has attributed to the propositional logic inversion strategy for Automated Reasoning. Program structure is simple, easy for beginners to understand summarized the principles of artific
sdcalc
- 数独顾名思义——每个数字只能出现一次。数独是一种源自18世纪末的瑞士，后在美国发展、并在日本得以发扬光大的数字谜题。数独盘面是个九宫，每一宫又分为九个小格。在这八十一格中给出一定的已知数字和解题条件，利用逻辑和推理，在其他的空格上填入1-9的数字。使1-9每个数字在每一行、每一列和每一宫中都只出现一次。 这种游戏全面考验做题者观察能力和推理能力，虽然玩法简单，但数字排列方式却千变万化，所以不少教育者认为数独是训练头脑的绝佳方式-Sudoku As the name suggests- Each
fuzzy_inference
- VHDL模糊PID控制器模糊推理，推理结果：直接用经验值输出。-Fuzzy PID controller VHDL fuzzy reasoning, reasoning results: the direct use of the experience of the value of output.