shop2ダウンロード - shop2ソースコードのダウンロード

shop2

その他のソースコード

1.0.0

ダウンロード

SHOP2

SHOP2へようこそ！

コンテンツ

について
Git フォーク
- 元の情報源
- 支部組織
インストール
使用法
論文
ファイル
今後の予定
問題の報告
ライセンス

↟について

SHOP2 -- Simple Hierarchical Ordered Planner 2 -- は、階層タスクネットワーク (HTN) 計画に基づくドメイン独立型計画システムです。 2002 年の国際企画コンペティションで、SHOP2 は上位 4 つの賞のうちの 1 つと、優れた業績に対する 2 つの賞のうちの 1 つを受賞しました。

詳細については、以下の論文セクションおよび UMD SHOP サイトを参照してください。

Git フォーク ↟

支部組織 ↟

git fork リポジトリは、SHOP2 の次のブランチを維持します。

cvs/mirror - Source Forge でホストされている元の CVS リポジトリ (履歴および元の状態の比較の目的で保存されます)
cvs/mirror-with-updates - CVS ミラーに加えられた更新 (主にREADMEと Quicklisp のいくつかの更新)
svn/mirror - 上流の git リポジトリと同期することによって維持されるミラー
svn/mirror+csv-history - 元の CVS VCS 履歴と結合されたアップストリーム SVN リポジトリミラー
master - CVS+SVN コードベース + 履歴。トップレベルの Github フレンドリーなREADMEと、Quicklisp で SBCL を使用してファーを変更します。

オリジナルソース ↟

この git フォークは、次のコマンドを使用して SHOP2 SourceForce CVS リポジトリから作成されました。

$ git cvsimport -v 
    -d:pserver:[email protected]:/cvsroot/shop 
    -C . shop2

それは 2004 年から 2006 年までをカバーしていました。

さらに、その後の履歴は次のリポジトリから組み込まれました。

https://svn.sift.info:3333/svn/shop2-public/shop/trunk/shop2

このREADMEファイルはフォークの一部であり、何よりも Github Web UI のユーザーに提供されます。実際のプロジェクトのREADMEはdocsディレクトリにあります。

docs/README.txt

このファイルには、より詳細な情報、履歴変更などが含まれています。

設置↟

インストールとロードには、QuickLisp が使用されます。 QuickLisp がインストールされていない場合は、次のmakeターゲットを使用してインストールできます。

 $ make quicklisp

これは、QuickLisp をまだダウンロードして Lisp にインストールしていない場合に、ダウンロードしてインストールするのに役立ちます。また、ローカルの 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
*

論文 ↟

2001 - 部分的に順序付けされたサブタスクを使用した合計順序計画 - SHOP2 に関する最初の論文
2003 - SHOP2: HTN プランニングシステム - 2002 年の国際プランニングコンペティションで優秀な成績を収めるのに貢献した SHOP2 の機能について説明します。
2003 - SHOP2 を使用した DAML-S Web サービス構成の自動化 - DAML-S Web サービス記述を実行するための SHOP2 の使用について説明します。
2004 - 非決定的ドメインでのフォワードチェーン計画 - SHOP2 および他のいくつかのプランナーを非決定的計画ドメインで動作するように適応させる方法について説明します。
2004 - SHOP と SHOP2 のアプリケーション - SHOP と SHOP2 を使用したアプリケーションのいくつかについて説明します。
2005 - シンボリックモデル検査に基づいた階層型タスクネットワークプランナー - SHOP2 を非決定的問題ドメインで動作するように適応させるさらなる作業
2005 - 確率的計画のためのドメイン構成可能な検索制御の使用 - SHOP2 および他のいくつかのプランナーを、MDP などの確率的計画ドメインで動作するように適応させる方法について説明します。
2005年 - Webサービス構成の計画中の情報収集 - Webサービス構成を行うためにWebから情報を収集するためのSHOP2の拡張
2005 - 不安定な情報を伴う Web サービスの構成 - 計画の進行中に世界が変化する環境で Web サービスの構成を行うための SHOP2 の拡張

問題の報告 ↟

私たちは、Allegro と SBCL 以外の Lisp および Linux 以外のプラットフォームで SHOP2 を使用しようとした人々からのバグレポート (さらに言えばパッチ!) を受け取ることに特に興味を持っています。また、回帰テストスイートを実行したことがある人々からの意見もお待ちしています。