Willkommen bei SHOP2!
SHOP2 – Simple Hierarchical Ordered Planner 2 – ist ein domänenunabhängiges Planungssystem, das auf der Hierarchical Task Network (HTN)-Planung basiert. Beim Internationalen Planungswettbewerb 2002 erhielt SHOP2 eine der vier besten Auszeichnungen, eine der beiden Auszeichnungen für herausragende Leistungen.
Weitere Informationen finden Sie im Abschnitt „Papiere“ unten und auf der UMD SHOP-Website.
Das Git-Fork-Repo verwaltet die folgenden Zweige von SHOP2:
cvs/mirror
– Das ursprüngliche CVS-Repo, das auf Source Forge gehostet wird (für historische und ursprüngliche Vergleichszwecke aufbewahrt)cvs/mirror-with-updates
– Am CVS-Spiegel vorgenommene Aktualisierungen (hauptsächlich eine README
und einige Aktualisierungen für Quicklisp)svn/mirror
– Der Spiegel, der durch Synchronisierung mit dem Upstream-Git-Repo verwaltet wirdsvn/mirror+csv-history
– Der Upstream-SVN-Repo-Spiegel kombiniert mit der ursprünglichen CVS-VCS-Historiemaster
– Die CVS+SVN-Codebasis+Historie mit einer erstklassigen, Github-freundlichen README
und Änderungen unter Verwendung von SBCL mit QuicklispDieser Git-Fork wurde aus dem SHOP2 SourceForce CVS-Repository mit dem folgenden Befehl erstellt:
$ git cvsimport -v
-d:pserver:[email protected]:/cvsroot/shop
-C . shop2
Dies umfasste die Jahre 2004-2006.
Darüber hinaus wurde die nachfolgende Geschichte aus dem folgenden Repo übernommen:
Diese README
Datei ist Teil des Forks und wird vor allem Benutzern der Github-Web-Benutzeroberfläche zur Verfügung gestellt. Die eigentliche Projekt- README
befindet sich im docs
Verzeichnis:
Diese Datei enthält detailliertere Informationen, historische Änderungen usw.
Zum Installieren und Laden wird QuickLisp verwendet. Wenn Sie QuickLisp nicht installiert haben, können Sie dies mit dem folgenden make
-Ziel tun:
$ make quicklisp
Dies wird Ihnen dabei helfen, QuickLisp herunterzuladen und für Ihr Lisp zu installieren, falls Sie dies noch nicht getan haben. Außerdem wird das lokale QuickLisp- shop2
Verzeichnis für Sie eingerichtet.
Wenn Sie QuickLisp bereits installiert haben, können Sie das lokale Verzeichnis wie folgt einrichten:
$ make install
Starten Sie zunächst SBCL (z. B.) und laden Sie shop2
mit QuickLisp:
* ( 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")
*
So laden Sie ein Beispiel:
* ( 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
*
Wir wären besonders daran interessiert, Fehlerberichte (oder, noch besser, Patches!) von Leuten zu erhalten, die versucht haben, SHOP2 mit anderen Lisps als Allegro und SBCL und auf anderen Plattformen als Linux zu verwenden. Wir wären auch daran interessiert, von Leuten zu hören, die die Regressionstestsuite ausgeführt haben.
Copyright © 2002 University of Maryland.
Robert Goldmans Änderungen Copyright © 2004,2005 SIFT, LLC.
Diese Software wird unter einer MPL/GPL/LGPL-Dreifachlizenz vertrieben. Einzelheiten finden Sie in der Software-Quelldatei.
Diese Software wird „wie besehen“ und OHNE JEGLICHE GEWÄHRLEISTUNG, weder ausdrücklich noch stillschweigend, vertrieben.