shop2 Télécharger - shop2 Téléchargement du code source

shop2

Autre code source

1.0.0

Télécharger

BOUTIQUE2

Bienvenue sur SHOP2 !

Contenu

À propos
Fourchette Git
- Sources originales
- Organisation de la succursale
Installation
Usage
Papiers
Fichiers
Projets futurs
Problèmes de signalement
Licence

À propos ↟

SHOP2 - Simple Hierarchical Ordered Planner 2 - est un système de planification indépendant du domaine basé sur la planification du réseau de tâches hiérarchique (HTN). Lors du Concours international de planification de 2002, SHOP2 a reçu l'un des quatre premiers prix, l'un des deux prix récompensant des performances remarquables.

Pour plus d'informations, consultez la section articles ci-dessous et le site UMD SHOP.

Fourche Git ↟

Organisation des succursales ↟

Le dépôt git fork gère les branches suivantes de SHOP2 :

cvs/mirror - Le dépôt CVS original hébergé sur Source Forge (conservé à des fins de comparaison historique et vierge)
cvs/mirror-with-updates - Mises à jour apportées au miroir CVS (principalement un README et quelques mises à jour pour Quicklisp)
svn/mirror - Le miroir maintenu par synchronisation avec le dépôt git en amont
svn/mirror+csv-history - Le miroir du dépôt SVN en amont combiné à l'historique CVS VCS d'origine
master - La base de code CVS+SVN+l'historique avec un README de haut niveau compatible avec Github et les modifications apportées à l'aide de SBCL avec Quicklisp

Sources originales ↟

Ce fork git a été créé à partir du référentiel CVS SHOP2 SourceForce à l'aide de la commande suivante :

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

Cela couvrait les années 2004-2006.

De plus, l'historique ultérieur a été incorporé à partir du dépôt suivant :

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

Ce fichier README fait partie du fork et est fourni plus que toute autre chose aux utilisateurs de l'interface utilisateur Web de Github. Le projet README actuel se trouve dans le répertoire docs :

docs/README.txt

Ce fichier contient des informations plus détaillées, des modifications historiques, etc.

Mise en place ↟

Pour installer et charger, QuickLisp est utilisé. Si QuickLisp n'est pas installé, vous pouvez le faire avec la cible make suivante :

 $ make quicklisp

Cela vous aidera à télécharger et à installer QuickLisp pour votre Lisp, si vous ne l'avez pas déjà fait. Il configurera également le répertoire local QuickLisp shop2 pour vous.

Si QuickLisp est déjà installé, vous pouvez configurer le répertoire local avec les éléments suivants :

 $ make install

Utilisation ↟

Pour commencer, démarrez SBCL (par exemple) et utilisez QuickLisp pour charger 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")
*

Pour charger un exemple :

 * ( 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
*

Articles ↟

2001 - Planification de la commande totale avec sous-tâches partiellement commandées - Premier article sur SHOP2
2003 - SHOP2 : Un système de planification HTN - Décrit les fonctionnalités de SHOP2 qui l'ont aidé à exceller lors du concours international de planification de 2002.
2003 - Automatisation de la composition des services Web DAML-S à l'aide de SHOP2 - Décrit l'utilisation de SHOP2 pour exécuter les descriptions de services Web DAML-S
2004 - Planification en chaîne avant dans des domaines non déterministes - Décrit comment adapter SHOP2 et plusieurs autres planificateurs pour travailler dans des domaines de planification non déterministes
2004 - Applications de SHOP et SHOP2 - Décrit certaines des applications pour lesquelles des personnes ont utilisé SHOP et SHOP2
2005 - Un planificateur hiérarchique de réseaux de tâches basé sur la vérification de modèles symboliques - Poursuite des travaux sur l'adaptation de SHOP2 pour travailler dans des domaines problématiques non déterministes
2005 - Utilisation du contrôle de recherche configurable par domaine pour la planification probabiliste - Décrit comment adapter SHOP2 et plusieurs autres planificateurs pour travailler dans des domaines de planification probabiliste tels que les MDP
2005 - Collecte d'informations lors de la planification de la composition du service Web - Extension de SHOP2 pour collecter des informations sur le Web afin de procéder à la composition du service Web
2005 - Composition de services Web avec informations volatiles - Une extension de SHOP2 pour effectuer la composition de services Web dans des environnements où le monde change pendant la planification

Problèmes de signalement ↟

Nous serions particulièrement intéressés par des rapports de bogues (ou, mieux encore, des correctifs !) de personnes ayant essayé d'utiliser SHOP2 avec Lisps autres qu'Allegro et SBCL et sur des plateformes autres que Linux. Nous serions également intéressés à entendre des personnes qui ont exécuté la suite de tests de régression.