CDN加速镜像 | 设为首页 | 加入收藏夹
登陆 | 会员注册
当前位置： 首页 资源下载 源码下载 数值算法/人工智能 人工智能/神经网络/遗传算法
收藏

文件名称:Blackbox45

  • 所属分类：
    AI-NN-PR
  • 标签属性：
    [C/C++] [源码]
  • 上传时间：
    2016-01-27
  • 文件大小：
    803.88kb
  • 已下载：
    0次
  • 提 供 者：
    许***
  • 相关连接：
    无
  • 下载说明：
    别用迅雷下载，失败请重下，重下不扣分！
修正介绍说明

介绍说明－－下载内容来自于网络，使用问题请自行百度

Blackbox是通过将STRIPS的entire说明转换为布尔型满足问题的规划系统，用于解决多种当前满足的引擎，融合了约束满足和图规划技术。 -Blackbox is a planning system that works by converting problems specified

in STRIPS notation into Boolean satisfiability problems, and then solving

the problems with a variety of state-of-the-art satisfiability engines. The

front-end employs the graphplan system (Blum and Furst 1995). There is

extreme flexibility in specifying the engines to use. For example, you can

tell it to use walksat (Selman, Kautz, and Cohen 1994) for 60 seconds, and

if that fails, then satz (Li and Anbulagan 1997) for 1000 seconds. This

gives blackbox the capability of functioning efficiently over a broad range

of problems. The name blackbox refers to the fact that the plan generator

knows nothing about the SAT solvers, and the SAT solvers know nothing about

plans: each is a　black box　to the other.


(系统自动生成,下载前可以参看下载内容)

下载文件列表

Blackbox45/
Blackbox45/bbio.cpp
Blackbox45/bbio.h
Blackbox45/bbpddl.l
Blackbox45/bbpddl.output
Blackbox45/bbpddl.tab.cpp
Blackbox45/bbpddl.tab.cpp.h
Blackbox45/bbpddl.y
Blackbox45/compact/
Blackbox45/compact/compact.cpp
Blackbox45/compact/compact.exact
Blackbox45/compact/compact.h
Blackbox45/compact/Fixstderr
Blackbox45/compact/input.cpp
Blackbox45/compact/Makefile
Blackbox45/compact/Makefile.orig
Blackbox45/compact/map.tmp
Blackbox45/compact/Multidefs
Blackbox45/compact/README
Blackbox45/compact/stack.cpp
Blackbox45/compact/stack.h
Blackbox45/compact/tab.h
Blackbox45/compact/ur.cpp
Blackbox45/control.cpp
Blackbox45/control.h
Blackbox45/domain.pddl
Blackbox45/dummy.cpp
Blackbox45/Examples/
Blackbox45/Examples/bulldozer/
Blackbox45/Examples/bulldozer/domain.pddl
Blackbox45/Examples/bulldozer/prob01.pddl
Blackbox45/Examples/bulldozer/prob02.pddl
Blackbox45/Examples/bulldozer/prob03.pddl
Blackbox45/Examples/bulldozer/prob04.pddl
Blackbox45/Examples/bulldozer/prob05.pddl
Blackbox45/Examples/bulldozer/prob06.pddl
Blackbox45/Examples/bulldozer/prob07.pddl
Blackbox45/Examples/bulldozer/prob08.pddl
Blackbox45/Examples/bulldozer/prob09.pddl
Blackbox45/Examples/bulldozer/README
Blackbox45/Examples/fridge-typed/
Blackbox45/Examples/fridge-typed/domain.pddl
Blackbox45/Examples/fridge-typed/prob01.pddl
Blackbox45/Examples/fridge-typed/prob02.pddl
Blackbox45/Examples/fridge-typed/README
Blackbox45/Examples/logistics-strips/
Blackbox45/Examples/logistics-strips/blackbox.exe.stackdump
Blackbox45/Examples/logistics-strips/control.pddl
Blackbox45/Examples/logistics-strips/control1.pddl
Blackbox45/Examples/logistics-strips/domain.pddl
Blackbox45/Examples/logistics-strips/GenLogStrips.c
Blackbox45/Examples/logistics-strips/prob001-log-easy.pddl
Blackbox45/Examples/logistics-strips/prob002-rocket-a.pddl
Blackbox45/Examples/logistics-strips/prob003-rocket-b.pddl
Blackbox45/Examples/logistics-strips/prob004-log-a.pddl
Blackbox45/Examples/logistics-strips/prob005-log-b.pddl
Blackbox45/Examples/logistics-strips/prob006-log-c.pddl
Blackbox45/Examples/logistics-strips/prob007-log-d.pddl
Blackbox45/Examples/logistics-strips/prob008-log-d3.pddl
Blackbox45/Examples/logistics-strips/prob009-log-d1.pddl
Blackbox45/Examples/logistics-strips/prob010.pddl
Blackbox45/Examples/logistics-strips/prob011.pddl
Blackbox45/Examples/logistics-strips/prob012.pddl
Blackbox45/Examples/logistics-strips/prob013.pddl
Blackbox45/Examples/logistics-strips/prob014.pddl
Blackbox45/Examples/logistics-strips/prob015.pddl
Blackbox45/Examples/logistics-strips/prob016.pddl
Blackbox45/Examples/logistics-strips/prob017.pddl
Blackbox45/Examples/logistics-strips/prob018.pddl
Blackbox45/Examples/logistics-strips/prob019.pddl
Blackbox45/Examples/logistics-strips/prob020.pddl
Blackbox45/Examples/logistics-strips/prob021.pddl
Blackbox45/Examples/logistics-strips/prob022.pddl
Blackbox45/Examples/logistics-strips/prob023.pddl
Blackbox45/Examples/logistics-strips/prob024.pddl
Blackbox45/Examples/logistics-strips/prob025.pddl
Blackbox45/Examples/logistics-strips/prob026.pddl
Blackbox45/Examples/logistics-strips/prob027.pddl
Blackbox45/Examples/logistics-strips/prob028.pddl
Blackbox45/Examples/logistics-strips/prob029.pddl
Blackbox45/Examples/logistics-strips/prob030.pddl
Blackbox45/Examples/logistics-strips/README
Blackbox45/Examples/logistics-strips/SOLVE-ALL-ONLY-CHAFF
Blackbox45/Examples/logistics-strips/TRACE
Blackbox45/Examples/logistics-strips/TRACE-LOG-ONLY-CHAFF
Blackbox45/Examples/logistics-strips-length/
Blackbox45/Examples/logistics-strips-length/Doit
Blackbox45/Examples/logistics-strips-length/domain.pddl
Blackbox45/Examples/logistics-strips-length/extract
Blackbox45/Examples/logistics-strips-length/f.cnf
Blackbox45/Examples/logistics-strips-length/Gen-wffs-all
Blackbox45/Examples/logistics-strips-length/GenLogStrips.c
Blackbox45/Examples/logistics-strips-length/prob001-log-easy.pddl
Blackbox45/Examples/logistics-strips-length/prob002-rocket-a.pddl
Blackbox45/Examples/logistics-strips-length/prob003-rocket-b.pddl
Blackbox45/Examples/logistics-strips-length/prob004-log-a.pddl
Blackbox45/Examples/logistics-strips-length/prob005-log-b.pddl
Blackbox45/Examples/logistics-strips-length/prob006-log-c.pddl
Blackbox45/Examples/logistics-strips-length/prob007-log-d.pddl
Blackbox45/Examples/logistics-strips-length/prob008-log-d3.pddl
Blackbox45/Examples/logistics-strips-length/prob009-log-d1.pddl
Blackbox45/Examples/logistics-strips-length/prob010.pddl
Blackbox45/Examples/logistics-strips-length/prob011.pddl
Blackbox45/Examples/logistics-strips-length/prob012.pddl
Blackbox45/Examples/logistics-strips-length/prob013.pddl
Blackbox45/Examples/logistics-strips-length/prob014.pddl
Blackbox45/Examples/logistics-strips-length/prob015.pddl
Blackbox45/Examples/logistics-strips-length/prob016.pddl
Blackbox45/Examples/logistics-strips-length/prob017.pddl
Blackbox45/Examples/logistics-strips-length/prob018.pddl
Blackbox45/Examples/logistics-strips-length/prob019.pddl
Blackbox45/Examples/logistics-strips-length/prob020.pddl
Blackbox45/Examples/logistics-strips-length/prob021.pddl
Blackbox45/Examples/logist

相关说明

  • 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
  • 搜珍网是交换下载平台，只提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。更多...
  • 本站已设置防盗链，请勿用迅雷、QQ旋风等下载软件下载资源，下载后用WinRAR最新版进行解压.
  • 如果您发现内容无法下载，请稍后再次尝试；或换浏览器；或者到消费记录里找到下载记录反馈给我们.
  • 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
  • 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
查看所有评论

相关评论

暂无评论内容．

发表评论

*快速评论： 推荐 一般 有密码 和说明不符 不是源码或资料 文件不全 不能解压 纯粹是垃圾
*内　　容：
*验 证 码：
搜珍网 www.dssz.com