开源 企业版 高校版 私有云 模力方舟 AI 队友
代码拉取完成,页面将自动刷新
捐赠
捐赠前请先登录
扫描微信二维码支付
取消
支付完成
支付提示
将跳转至支付宝完成支付
确定
取消
1 Star 0 Fork 0

道奥斯科技/JavaFF

加入 Gitee
与超过 1400万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
已有帐号? 立即登录
文件
master
分支 (1)
master
该仓库未声明开源许可证文件(LICENSE),使用请关注具体项目描述及其代码上游依赖。
项目仓库所选许可证以仓库主分支所使用许可证为准
master
分支 (1)
master
克隆/下载
克隆/下载
提示
下载代码请复制以下命令到终端执行
为确保你提交的代码身份被 Gitee 正确识别,请执行以下命令完成配置
初次使用 SSH 协议进行代码克隆、推送等操作时,需按下述提示完成 SSH 配置
1 生成 RSA 密钥
2 获取 RSA 公钥内容,并配置到 SSH公钥
在 Gitee 上使用 SVN,请访问 使用指南
使用 HTTPS 协议时,命令行会出现如下账号密码验证步骤。基于安全考虑,Gitee 建议 配置并使用私人令牌 替代登录密码进行克隆、推送等操作
Username for 'https://gitee.com': userName
Password for 'https://userName@gitee.com': # 私人令牌
master
分支 (1)
master
JavaFF
/
JavaFF-Main
/
src
/
JavaFF.java
JavaFF
/
JavaFF-Main
/
src
/
JavaFF.java
JavaFF.java 9.32 KB
一键复制 编辑 原始数据 按行查看 历史
YukariSonz 提交于 2020年02月07日 16:46 +08:00 . Add CW
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321
/************************************************************************
* Strathclyde Planning Group,
* Department of Computer and Information Sciences,
* University of Strathclyde, Glasgow, UK
* http://planning.cis.strath.ac.uk/
*
* Copyright 2007, Keith Halsey
* Copyright 2008, Andrew Coles and Amanda Smith
*
* (Questions/bug reports now to be sent to Andrew Coles)
*
* This file is part of JavaFF.
*
* JavaFF is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 2 of the License, or
* (at your option) any later version.
*
* JavaFF is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with JavaFF. If not, see <http://www.gnu.org/licenses/>.
*
************************************************************************/
package javaff;
import javaff.data.PDDLPrinter;
import javaff.data.UngroundProblem;
import javaff.data.GroundProblem;
import javaff.data.Plan;
import javaff.data.TotalOrderPlan;
import javaff.data.TimeStampedPlan;
import javaff.parser.PDDL21parser;
import javaff.planning.State;
import javaff.planning.TemporalMetricState;
import javaff.planning.RelaxedTemporalMetricPlanningGraph;
import javaff.planning.HelpfulFilter;
import javaff.planning.NullFilter;
import javaff.planning.RandomThreeFilter;
import javaff.scheduling.Scheduler;
import javaff.scheduling.JavaFFScheduler;
import javaff.search.Search;
import javaff.search.BestFirstSearch;
import javaff.search.EnforcedHillClimbingSearch;
import javaff.search.HillClimbingSearch;
import javaff.search.BestSuccessorSelector;
import javaff.search.RouletteSuccessorSelector;
import javaff.search.LocalSearch;
import java.io.PrintStream;
import java.io.PrintWriter;
import java.io.File;
import java.io.FileOutputStream;
import java.io.FileNotFoundException;
import java.io.IOException;
import java.math.BigDecimal;
import java.util.Random;
public class JavaFF
{
public static BigDecimal EPSILON = new BigDecimal(0.01);
public static BigDecimal MAX_DURATION = new BigDecimal("100000"); //maximum duration in a duration constraint
public static boolean VALIDATE = false;
public static Random generator = null;
public static PrintStream planOutput = System.out;
public static PrintStream parsingOutput = System.out;
public static PrintStream infoOutput = System.out;
public static PrintStream errorOutput = System.err;
public static void main (String args[]) {
EPSILON = EPSILON.setScale(2,BigDecimal.ROUND_HALF_EVEN);
MAX_DURATION = MAX_DURATION.setScale(2,BigDecimal.ROUND_HALF_EVEN);
generator = new Random();
if (args.length < 2) {
System.out.println("Parameters needed: domainFile.pddl problemFile.pddl [random seed] [outputfile.sol");
} else {
File domainFile = new File(args[0]);
File problemFile = new File(args[1]);
File solutionFile = null;
if (args.length > 2)
{
generator = new Random(Integer.parseInt(args[2]));
}
if (args.length > 3)
{
solutionFile = new File(args[3]);
}
Plan plan = plan(domainFile,problemFile);
if (solutionFile != null && plan != null) writePlanToFile(plan, solutionFile);
}
}
public static Plan plan(File dFile, File pFile)
{
// ********************************
// Parse and Ground the Problem
// ********************************
long startTime = System.currentTimeMillis();
UngroundProblem unground = PDDL21parser.parseFiles(dFile, pFile);
if (unground == null)
{
System.out.println("Parsing error - see console for details");
return null;
}
//PDDLPrinter.printDomainFile(unground, System.out);
//PDDLPrinter.printProblemFile(unground, System.out);
GroundProblem ground = unground.ground();
long afterGrounding = System.currentTimeMillis();
// ********************************
// Search for a plan
// ********************************
// Get the initial state
TemporalMetricState initialState = ground.getTemporalMetricInitialState();
State goalState = goalState = performFFSearch(initialState);
long afterPlanning = System.currentTimeMillis();
TotalOrderPlan top = null;
if (goalState != null) top = (TotalOrderPlan) goalState.getSolution();
if (top != null) top.print(planOutput);
/*javaff.planning.PlanningGraph pg = initialState.getRPG();
Plan plan = pg.getPlan(initialState);
plan.print(planOutput);
return null;*/
// ********************************
// Schedule a plan
// ********************************
//TimeStampedPlan tsp = null;
//if (goalState != null)
//{
//infoOutput.println("Scheduling");
//Scheduler scheduler = new JavaFFScheduler(ground);
//tsp = scheduler.schedule(top);
//}
//long afterScheduling = System.currentTimeMillis();
//if (tsp != null) tsp.print(planOutput);
double groundingTime = (afterGrounding - startTime)/1000.00;
double planningTime = (afterPlanning - afterGrounding)/1000.00;
//double schedulingTime = (afterScheduling - afterPlanning)/1000.00;
double totalTime = groundingTime + planningTime;
infoOutput.println("Instantiation Time =\t\t"+groundingTime+"sec");
infoOutput.println("Planning Time =\t"+planningTime+"sec");
//infoOutput.println("Scheduling Time =\t"+schedulingTime+"sec"); totalTime = totalTime + schedulingTime;
infoOutput.println("Total execution time:");
infoOutput.println(groundingTime + planningTime);
//#cost-problem comment the two lines below
infoOutput.println("Plan Cost:");
if (top != null) infoOutput.println(top.getCost());
return top;
}
private static void writePlanToFile(Plan plan, File fileOut)
{
try
{
FileOutputStream outputStream = new FileOutputStream(fileOut);
PrintWriter printWriter = new PrintWriter(outputStream);
plan.print(printWriter);
printWriter.close();
}
catch (FileNotFoundException e)
{
errorOutput.println(e);
e.printStackTrace();
}
catch (IOException e)
{
errorOutput.println(e);
e.printStackTrace();
}
}
public static State performFFSearch(TemporalMetricState initialState) {
// Implementation of standard FF-style search
//infoOutput.println("Performing search as in FF - first considering EHC with only helpful actions");
/**
// Now, initialise an EHC searcher
EnforcedHillClimbingSearch EHCS = new EnforcedHillClimbingSearch(initialState);
//EHCS with HelpfulFilter
EHCS.setFilter(HelpfulFilter.getInstance()); // and use the helpful actions neighbourhood
//EHCS with NullFilter
//EHCS.setFilter(NullFilter.getInstance());
// Try and find a plan using EHC
State goalState = EHCS.search();
*/
/**
HillClimbingSearch HCS = new HillClimbingSearch(initialState);
HCS.setFilter(HelpfulFilter.getInstance());
HCS.setMaxDepth(20);
State goalState = HCS.search();
*/
State goalState = null;
infoOutput.println("Performing search as in FF - first considering HC with HelpfulFilter & RouletteSuccessorSelector");
for (int depthBound = 5; depthBound < 100; ++depthBound){
HillClimbingSearch HCS = new HillClimbingSearch(initialState);
//HCS.setFilter(HelpfulFilter.getInstance());
HCS.setFilter(HelpfulFilter.getInstance());
HCS.setMaxDepth(depthBound);
//HCS.setSelector(BestSuccessorSelector.getInstance());
HCS.setSelector(RouletteSuccessorSelector.getInstance());
goalState = HCS.search();
if (goalState != null){
infoOutput.println("HC successed with depthBound:" + depthBound);
return goalState;
}
else{
infoOutput.println("HC failed with depthBound:" + depthBound);
}
}
infoOutput.println("Performing search as in FF - Local Search");
LocalSearch LCS = new LocalSearch(initialState);
LCS.setFilter(HelpfulFilter.getInstance());
//LCS.setFilter(RandomThreeFilter.getInstance());
LCS.setSelector(RouletteSuccessorSelector.getInstance());
LCS.setDepthBound(50);
LCS.setRestartBound(50);
goalState = LCS.search();
//Using EHC + NULLFILTER when EHC + HelpfulFilter failed
if (goalState == null){
infoOutput.println("LCS failed, using Enforced HillClimbing search, with HelpfulFilter actions");
EnforcedHillClimbingSearch EHCS = new EnforcedHillClimbingSearch(initialState);
EHCS.setFilter(HelpfulFilter.getInstance());
goalState = EHCS.search();
}
if (goalState == null){
infoOutput.println("EHCS + HelpfulFilter failed , using Enforced HillClimbing search, with all actions");
EnforcedHillClimbingSearch EHCS = new EnforcedHillClimbingSearch(initialState);
EHCS.setFilter(HelpfulFilter.getInstance());
goalState = EHCS.search();
}
//Using BFS when EHC(s) failed
if (goalState == null) // if we can't find one
{
infoOutput.println("EHCS failed, using best-first search, with all actions");
// create a Best-First Searcher
BestFirstSearch BFS = new BestFirstSearch(initialState);
// ... change to using the 'all actions' neighbourhood (a null filter, as it removes nothing)
BFS.setFilter(NullFilter.getInstance());
// and use that
goalState = BFS.search();
}
return goalState; // return the plan
}
}
Loading...
举报
举报成功
我们将于2个工作日内通过站内信反馈结果给你!
请认真填写举报原因,尽可能描述详细。
请选择举报类型
取消
发送
误判申诉

此处可能存在不合适展示的内容,页面不予展示。您可通过相关编辑功能自查并修改。

如您确认内容无涉及 不当用语 / 纯广告导流 / 暴力 / 低俗色情 / 侵权 / 盗版 / 虚假 / 无价值内容或违法国家有关法律法规的内容,可点击提交进行申诉,我们将尽快为您处理。

取消
提交

简介

用 Java 实现的 FastForward Planner(CW for 6CCS3AIP) metric-ff
取消

发行版

暂无发行版

贡献者

全部

语言

近期动态

不能加载更多了
编辑仓库简介
简介内容
主页
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
Java
1
https://gitee.com/daoospi/JavaFF.git
git@gitee.com:daoospi/JavaFF.git
daoospi
JavaFF
JavaFF
master
点此查找更多帮助

搜索帮助

评论
仓库举报
回到顶部
登录提示
该操作需登录 Gitee 帐号,请先登录后再操作。
立即登录
没有帐号,去注册

AltStyle によって変換されたページ (->オリジナル) /