欢迎来到SHOP2!
SHOP2——Simple Hierarchical Ordered Planner 2——是一个基于分层任务网络(HTN)规划的与域无关的规划系统。 2002年国际策划大赛中,SHOP2获得四项大奖之一、两项杰出表现奖之一。
欲了解更多信息,请参阅下面的论文部分和 UMD SHOP 网站。
git fork 存储库维护 SHOP2 的以下分支:
cvs/mirror
- Source Forge 上托管的原始 CVS 存储库(保留用于历史和原始比较目的)cvs/mirror-with-updates
- 对 CVS 镜像进行的更新(主要是README
和 Quicklisp 的一些更新)svn/mirror
- 通过与上游 git repo 同步来维护的镜像svn/mirror+csv-history
- 上游 SVN 存储库镜像与原始 CVS VCS 历史记录相结合master
- CVS+SVN 代码库+历史记录,具有顶级、Github 友好的README
,并使用 SBCL 和 Quicklisp 更改皮毛此 git fork 是使用以下命令从 SHOP2 SourceForce CVS 存储库创建的:
$ git cvsimport -v
-d:pserver:[email protected]:/cvsroot/shop
-C . shop2
这涵盖了 2004 年至 2006 年。
此外,后续历史记录来自以下存储库:
此README
文件是 fork 的一部分,主要为 Github Web UI 用户提供。实际项目README
位于docs
目录中:
该文件包含更详细的信息、历史更改等。
使用 QuickLisp 进行安装和加载。如果您没有安装 QuickLisp,您可以使用以下make
目标来安装:
$ make quicklisp
如果您还没有这样做,这将帮助您为您的 Lisp 下载并安装 QuickLisp。它还将为您设置本地 QuickLisp shop2
目录。
如果您已经安装了 QuickLisp,则可以使用以下命令设置本地目录:
$ make install
首先,启动 SBCL(例如),并使用 QuickLisp 加载shop2
:
* ( ql :quickload " shop2 " )
To load "shop2":
Load 1 ASDF system:
shop2
; Loading "shop2"
.............................
SHOP2 version 1.3 alpha with SIFT mods (May 26, 2005)
Copyright (C) 2002 University of Maryland.
Robert Goldman's modifications Copyright (C) 2004,2005 SIFT, LLC.
This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
KIND, either express or implied. This software is distributed under an
MPL/GPL/LGPL triple license. For details, see the software source file.
("shop2")
*
加载示例:
* ( load " examples/toy/basic-example.lisp " )
Defining domain ...
Defining problem PROBLEM1 ...
---------------------------------------------------------------------------
Problem PROBLEM1 with :WHICH = :FIRST, :VERBOSE = :PLANS
Totals: Plans Mincost Maxcost Expansions Inferences CPU time Real time
1 2.0 2.0 4 2 0.000 0.000
Plans:
(((!DROP BANJO) (!PICKUP KIWI)))
T
*
我们特别有兴趣从那些尝试在除 Allegro 和 SBCL 之外的 Lisp 中以及在 Linux 以外的平台上使用 SHOP2 的人们那里获取错误报告(或者更好的是补丁!)。我们也有兴趣听取运行回归测试套件的人的意见。
版权所有© 2002 马里兰大学。
Robert Goldman 的修改 版权所有 © 2004,2005 SIFT, LLC。
该软件根据 MPL/GPL/LGPL 三重许可证分发。详细信息请参见软件源文件。
本软件按“原样”分发,不提供任何形式的明示或默示保证。