文件名称:Blackbox45
- 所属分类：
- 人工智能/神经网络/遗传算法
- 资源属性：
- [C/C++] [源码]
- 上传时间：
- 2016-01-28
- 文件大小：
- 804kb
- 下载次数：
- 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.
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
..........\bbio.cpp
..........\bbio.h
..........\bbpddl.l
..........\bbpddl.output
..........\bbpddl.tab.cpp
..........\bbpddl.tab.cpp.h
..........\bbpddl.y
..........\compact
..........\.......\compact.cpp
..........\.......\compact.exact
..........\.......\compact.h
..........\.......\Fixstderr
..........\.......\input.cpp
..........\.......\Makefile
..........\.......\Makefile.orig
..........\.......\map.tmp
..........\.......\Multidefs
..........\.......\README
..........\.......\stack.cpp
..........\.......\stack.h
..........\.......\tab.h
..........\.......\ur.cpp
..........\control.cpp
..........\control.h
..........\domain.pddl
..........\dummy.cpp
..........\Examples
..........\........\bulldozer
..........\........\.........\domain.pddl
..........\........\.........\prob01.pddl
..........\........\.........\prob02.pddl
..........\........\.........\prob03.pddl
..........\........\.........\prob04.pddl
..........\........\.........\prob05.pddl
..........\........\.........\prob06.pddl
..........\........\.........\prob07.pddl
..........\........\.........\prob08.pddl
..........\........\.........\prob09.pddl
..........\........\.........\README
..........\........\fridge-typed
..........\........\............\domain.pddl
..........\........\............\prob01.pddl
..........\........\............\prob02.pddl
..........\........\............\README
..........\........\logistics-strips
..........\........\................\blackbox.exe.stackdump
..........\........\................\control.pddl
..........\........\................\control1.pddl
..........\........\................\domain.pddl
..........\........\................\GenLogStrips.c
..........\........\................\prob001-log-easy.pddl
..........\........\................\prob002-rocket-a.pddl
..........\........\................\prob003-rocket-b.pddl
..........\........\................\prob004-log-a.pddl
..........\........\................\prob005-log-b.pddl
..........\........\................\prob006-log-c.pddl
..........\........\................\prob007-log-d.pddl
..........\........\................\prob008-log-d3.pddl
..........\........\................\prob009-log-d1.pddl
..........\........\................\prob010.pddl
..........\........\................\prob011.pddl
..........\........\................\prob012.pddl
..........\........\................\prob013.pddl
..........\........\................\prob014.pddl
..........\........\................\prob015.pddl
..........\........\................\prob016.pddl
..........\........\................\prob017.pddl
..........\........\................\prob018.pddl
..........\........\................\prob019.pddl
..........\........\................\prob020.pddl
..........\........\................\prob021.pddl
..........\........\................\prob022.pddl
..........\........\................\prob023.pddl
..........\........\................\prob024.pddl
..........\........\................\prob025.pddl
..........\........\................\prob026.pddl
..........\........\................\prob027.pddl
..........\........\................\prob028.pddl
..........\........\................\prob029.pddl
..........\........\................\prob030.pddl
..........\........\................\README
..........\........\................\SOLVE-ALL-ONLY-CHAFF
..........\........\................\TRACE
..........\........\................\TRACE-LOG-ONLY-CHAFF
..........\........\logistics-strips-length
..........\........\.......................\Doit
..........\........\.......................\domain.pddl
..........\........\.......................\extract
..........\........\.......................\Gen-wffs-all
..........\........\.......................\GenLogStrips.c
..........\........\.......................\prob001-log-easy.pddl
..........\........\.......................\prob002-rocket-a.pddl
..........\........\.......................\prob003-rocket-b.pddl
..........\........\.......................\prob004-log-a.pddl
..........\........\.......................\prob005-log-