注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Prolog 之 AI 实例算法

  2. 内容简介： 1.prolog语言： 如果你还不会prolog语言，那么就请从这里开始吧。 2.程序实例以及AI理论知识： 深入简出地介绍了prolog在人工智能许多方面的应用，大部分都有完整的源程序，并且经过严格的调试。 如Hanoi塔 五五迷题 S先生与P先生 全排列 深度搜索 广度搜索 最佳优先搜索 符号微分 算式化简 分离法解方程 加法难题 专家系统入门 3.prolog和其他程序设计语言: 这些文章介绍如何使用prolog增强其他语言的功能，这里主要介绍amzi prolog的逻辑服务

  3. 所属分类：其它

    • 发布日期：2009-07-09
    • 文件大小：373760
    • 提供者：jim7424994

  1. 人工智能相关读物（AI_Related_Tutorials）

  2. 该资源包含人工智能相关的一些资料：人工智能程序设计语言lisp，Prolog，路径寻找算法（A×），NP问题等。

  3. 所属分类：其它

    • 发布日期：2009-10-08
    • 文件大小：3145728
    • 提供者：xiaoy_2002

  1. 八皇后的两个解法tubro prolog实现

  2. 八皇后问题的两个算法，单坐标和四坐标法，在tubro prolog下可直接运行，为方便使用，tubro prolog安装包也在压缩包中。

  3. 所属分类：其它

    • 发布日期：2009-12-11
    • 文件大小：381952
    • 提供者：qingfengyimiao

  1. 粗糙集约简软件英文版ROSETTA

  2. Rosetta是由挪威科技大学计算机与信息科学系和波兰华沙大学数学研究所合作开发的一个基于Rough集理论框架的表格逻辑数据分析工具包，包括了计算核和图形用户界面，能够在微机的WindowsNT/98/95操作系统上运行。 Rosetta 的设计实现了对数据挖掘和知识获取的支持从数据的初始浏览和预处理，计算最小属性约简和产生if-then决策规则或描述模式，到对所得到的规则或模式的验证和分析。Rosetta的目的是要作为基于不可分辨关系模型的通用工具，而不是为某个特定的应用领域设计的专用系统。

  3. 所属分类：其它

    • 发布日期：2010-03-17
    • 文件大小：5242880
    • 提供者：hanzhongdan

  1. 五子棋prolog实现

  2. prolog代码 用prolog的深度搜索算法实现五子棋

  3. 所属分类：其它

    • 发布日期：2010-05-16
    • 文件大小：10240
    • 提供者：kinllink

  1. 遗传算法求解TSP问题

  2. 完整的遗传算法求解TSP问题算法，用PROLOG语言编写的，谢谢指教。

  3. 所属分类：其它

    • 发布日期：2010-06-19
    • 文件大小：6144
    • 提供者：tzrandford

  1. prolog 启发式搜索的颜色板游戏

  2. 这个是我的一次作业，使用prolog编写的颜色板游戏。算法用的是启发式搜索的A算法。code可以作为用A算法写prolog程序的样本，只需要略作修改。

  3. 所属分类：其它

    • 发布日期：2008-04-21
    • 文件大小：9216
    • 提供者：leonwgl

  1. 基于Prolog的图搜索与问题求解

  2. 1 状态图搜索 2 状态图搜索问题求解 3 与或图搜索 4 与或图搜索问题求解 5 博弈树搜索

  3. 所属分类：其它

    • 发布日期：2011-06-26
    • 文件大小：1048576
    • 提供者：zsw88382

  1. Prolog自学教程

  2. 讲述prolog的一些语法和算法，教你如何用prolog编写小游戏、小软件

  3. 所属分类：专业指导

    • 发布日期：2011-07-18
    • 文件大小：13631488
    • 提供者：yinbanghu08

  1. prolog 写的排序等算法

  2. 使用prolog写的一些示例方法，展示了排序，排列组合，比较，函数定义等常见prolog方法

  3. 所属分类：专业指导

    • 发布日期：2011-07-26
    • 文件大小：3072
    • 提供者：vironica

  1. 益智系列之魔方

  2. 魔方是一个看似简单的玩具，它的每个面有九个格。解魔方的目标就是使每个面的格子的颜色都相同。 《益智系列之魔方》是一个朴实无华的小程序，我们的目的就是，当你为一个魔方绞尽脑汁的时候（当然假定你不是魔方专家），有人帮你出出主意。说不定她也会让你成为魔方专家。 首先说明，我对魔方并没有多大研究，解魔方的算法来至Amzi! Prolog附带的示例程序，有兴趣的朋友可以访问www.amzi.com。 源代码还在整理当中，这里暂时只提供编译好的程序。如果你有兴趣，可以和我联系(liuzhs@163.com

  3. 所属分类：其它

    • 发布日期：2006-08-23
    • 文件大小：90112
    • 提供者：liuzhs

  1. AI Algorithms, Data Structures

  2. 这本书说明了如何编程的智能算法在LISP，PROLOG，和Java。本书主要介绍每个主题在每一种语言的3倍。主题包括：简单的生产基础上的逻辑系统，逻辑为基础的学习，和自然语言解析。在推理引擎基于一阶逻辑的，管理的替代会比较复杂，它往往被掩盖的AI教科书。但这本书涵盖这方面，做“范式的AI规划“，”计算机程序设计与解释”，和温斯顿的书在Common Lisp

  3. 所属分类：其它

  1. SWI Prolog 入门级日语资料

  2. 对于计算模型和算法解说非常到位的问答型解说资料，懂日语的朋友可下载来读！

  3. 所属分类：其它

    • 发布日期：2015-05-31
    • 文件大小：715776
    • 提供者：ggwang09

  1. 图与着色图的表示以及相关算法的Prolog实现

  2. 用Prolog实现表示图和图的深度优先搜索、迪克斯特拉算法和简单着色算法

  3. 所属分类：其它

    • 发布日期：2009-04-22
    • 文件大小：332800
    • 提供者：treeislike

  1. Prolog和XPCE实现GUI的Sudoku

  2. 用prolog和xpce实现GUI的数独算法。原始算法是参考的别人的，但我用xpce加了一个GUI界面。

  3. 所属分类：其它

    • 发布日期：2009-04-22
    • 文件大小：2048
    • 提供者：mr147258369

  1. 基于计算解语义的逻辑程序测试和调试框架

  2. 逻辑程序开发过程中需要花费大量的时间用以程序调试,原因之一是调试通常包含大量的用户交互。减少对调试过程不必要的调用能够提高软件开发的效率。程序测试中得到的由同一个错误引发的多个症状是引发对调试过程不必要调用的因素之一。给出了一种逻辑程序测试和调试框架,其中测试用例的生成、症状的发现和调试(包括诊断和改错)交叉进行,由同一个错误引发的症状只有一个可引发调试过程执行,并以此方式避免了对调试过程不必要的调用。然后,利用一种基于约束的Prolog计算解语义,该框架被实例化为一种Prolog程序的测试和调

  3. 所属分类：其它

    • 发布日期：2021-02-22
    • 文件大小：479232
    • 提供者：weixin_38623009

  1. Sparky-Programming-Language：SPARKY编程语言-源码

  2. SPARKY编程语言 动态输入的一种很酷的新编程语言，允许用户编写复杂的算法并解决问题，而不必担心变量类型。 我们的特殊功能程序员可以灵活地在运行中在数据类型之间进行切换！ 安装指南 本文档提供了设置和运行我们的编程语言-Sparky所需的安装步骤。 执行环境是Microsoft Windows。 环境设定 在系统上安装的Install SWI-SH Prolog中安装，并且应该设置环境路径变量。 在此处找到安装SWI-SH Prolog的详细说明 安装Java JDK 8并设置环境变量path

  3. 所属分类：其它

    • 发布日期：2021-02-17
    • 文件大小：724992
    • 提供者：weixin_42151305

  1. prolog-tut-cn：:books:prolog中文教程-源码

  2. prolog-tut-cn 前言教程。 目录 背景 原作者应该是垂钓听竹轩，但是现在他的个人网站已经没有维护了，那个什么AI中国网好像也改头换面了？ 古老而神秘的小圈子 prolog最初是编写所谓的AI，实质上现在AI已经是神经网络算法的天下了，但是我认为研究prolog仍然是值得的，prolog的语法和设计魅力是远远大于它的任何一次执行结果的，背后的设计思想其实在某种位置面（二次元？）上和当下流行的机器学习有不谋而合之处。 用法 :backhand_index_pointing_right

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：123904
    • 提供者：weixin_42099755

  1. vergo：Vergo：GOLOG程序的验证系统-源码

  2. Vergo：GOLOG程序验证系统 Vergo是高级代理程序控制语言GOLOG的（另一个）实现，它专门设计为各种用于程序时间验证的算法的测试平台。 该存储库是代码的集合，其开发是在博士论文准备期间开始的 延斯·克拉森（JensClaßen）： 使用动作语言GOLOG进行计划和验证。 亚琛工业大学计算机科学系博士学位论文，2013年。[] 在（DFG）资助的研究单元内的 “验证非终止动作程序”项目中继续进行。 ， 或等其他GOLOG实现使用Prolog的评估机制进行推理，而Vergo依靠嵌入

  3. 所属分类：其它

    • 发布日期：2021-02-13
    • 文件大小：321536
    • 提供者：weixin_42134285

  1. 基于改进火力分配模型的综合防空火力智能优化分配

  2. 针对综合防空火力分配中,传统火力分配模型没有全面考虑火力通道射击效能因素,且在火力资源相对充足的情况下火力资源易浪费和易延误战机的问题,将射击有利度、飞临时间与威胁度等因素结合,构建一种新的综合防空火力分配模型.基于此模型,针对来袭目标、火力节点以及制导节点3者之间的火力优化匹配问题,提出一种基于深度优先搜索预处理的多种群并行布谷鸟搜索算法(PMPCSA).该方法采用Prolog智能规划语言构建目标-火力节点-制导节点匹配规则库,在规则库中利用深度优先搜索快速生成可行的目标-火力节点-制导节点的

  3. 所属分类：其它

    • 发布日期：2021-01-12
    • 文件大小：820224
    • 提供者：weixin_38661800
« 12 »