shop2
1.0.0
Bem-vindo à SHOP2!
SHOP2 - Simple Hierarchical Ordered Planner 2 - é um sistema de planejamento independente de domínio baseado no planejamento de Hierarchical Task Network (HTN). Na Competição Internacional de Planejamento de 2002, o SHOP2 recebeu um dos quatro primeiros prêmios, um dos dois prêmios por desempenho diferenciado.
Para obter mais informações, consulte a seção de artigos abaixo e o site UMD SHOP.
O repositório git fork mantém os seguintes ramos do SHOP2:
cvs/mirror - O repositório CVS original hospedado no Source Forge (preservado para fins de comparação histórica e pura)cvs/mirror-with-updates - Atualizações feitas no espelho do CVS (principalmente um README e algumas atualizações para Quicklisp)svn/mirror - O espelho mantido pela sincronização com o repositório git upstreamsvn/mirror+csv-history - O espelho do repositório SVN upstream combinado com o histórico original do CVS VCSmaster - A base de código CVS + SVN + histórico com um README de nível superior compatível com Github e mudanças de pele usando SBCL com QuicklispEste git fork foi criado a partir do repositório SHOP2 SourceForce CVS usando o seguinte comando:
$ git cvsimport -v
-d:pserver:[email protected]:/cvsroot/shop
-C . shop2Isso cobriu os anos 2004-2006.
Além disso, o histórico subsequente foi incorporado do seguinte repositório:
Este arquivo README faz parte do fork e é fornecido aos usuários da interface da web do Github mais do que qualquer outra coisa. O README do projeto real está localizado no diretório docs :
Esse arquivo contém informações mais detalhadas, alterações históricas, etc.
Para instalar e carregar, é usado QuickLisp. Se você não tiver o QuickLisp instalado, poderá fazê-lo com o seguinte make target:
$ make quicklisp
Isso ajudará você a baixar e instalar o QuickLisp em seu Lisp, caso ainda não tenha feito isso. Ele também configurará o diretório local QuickLisp shop2 para você.
Se você já possui o QuickLisp instalado, poderá configurar o diretório local com o seguinte:
$ make install
Para começar, inicie o SBCL (por exemplo) e use QuickLisp para carregar 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")
*
Para carregar um exemplo:
* ( 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
*
Estaríamos particularmente interessados em obter relatórios de bugs (ou, melhor ainda, patches!) de pessoas que tentaram usar o SHOP2 com Lisps diferentes de Allegro e SBCL e em plataformas diferentes de Linux. Também estaríamos interessados em ouvir pessoas que executaram o conjunto de testes de regressão.
Copyright © 2002 Universidade de Maryland.
Modificações de Robert Goldman Copyright © 2004,2005 SIFT, LLC.
Este software é distribuído sob uma licença tripla MPL/GPL/LGPL. Para obter detalhes, consulte o arquivo de origem do software.
Este software é distribuído "COMO ESTÁ", SEM GARANTIA DE QUALQUER TIPO, expressa ou implícita.
