Загрузка shop2 - Загрузка исходного кода shop2

shop2

Другой исходный код

1.0.0

Скачать

МАГАЗИН2

Добро пожаловать в ШОП2!

Содержание

О
Гит-форк
- Оригинальные источники
- Филиал организации
Установка
Использование
Статьи
Файлы
Планы на будущее
Отчеты о проблемах
Лицензия

О ↟

SHOP2 — Simple Hierarchical Ordered Planner 2 — это независимая от предметной области система планирования, основанная на планировании иерархической сети задач (HTN). На Международном конкурсе планирования 2002 года SHOP2 получил одну из четырех высших наград, одну из двух наград за выдающиеся достижения.

Для получения дополнительной информации см. раздел «Документы» ниже и сайт UMD SHOP.

Форк Git ↟

Филиал организации ↟

Репозиторий git fork поддерживает следующие ветки SHOP2:

cvs/mirror — исходный репозиторий CVS, размещенный на Source Forge (сохранен для исторических и первичных целей сравнения)
cvs/mirror-with-updates — обновления зеркала CVS (в основном README и некоторые обновления для Quicklisp)
svn/mirror — зеркало поддерживается путем синхронизации с исходным репозиторием git.
svn/mirror+csv-history — зеркало репозитория восходящего потока SVN в сочетании с исходной историей CVS VCS.
master — кодовая база CVS+SVN+история с дружественным к Github README верхнего уровня и изменениями с использованием SBCL с Quicklisp.

Первоисточники ↟

Эта вилка 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 больше, чем что-либо еще. Фактический README проекта находится в каталоге 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 — описывает особенности SHOP2, которые помогли ему добиться успеха на Международном конкурсе планирования 2002 года.
2003 — Автоматизация составления веб-сервисов DAML-S с использованием SHOP2. Описывает использование SHOP2 для выполнения описаний веб-сервисов DAML-S.
2004 - Прямое планирование в недетерминированных областях. Описывает, как адаптировать SHOP2 и несколько других планировщиков для работы в недетерминированных областях планирования.
2004 г. - Приложения SHOP и SHOP2. Описывает некоторые приложения, для которых люди использовали SHOP и SHOP2.
2005 - Иерархический планировщик сети задач, основанный на проверке символической модели. - Дальнейшая работа по адаптации SHOP2 для работы в недетерминированных проблемных областях.
2005 - Использование настраиваемого в области управления поиском для вероятностного планирования. Описывает, как адаптировать SHOP2 и несколько других планировщиков для работы в областях вероятностного планирования, таких как MDP.
2005 - Сбор информации во время планирования композиции веб-сервиса. Расширение SHOP2 для сбора информации из Интернета для создания композиции веб-сервиса.
2005 — Составление веб-сервисов с изменчивой информацией. Расширение SHOP2 для составления веб-сервисов в средах, когда мир меняется во время планирования.

Сообщить о проблемах ↟

Нам было бы особенно интересно получать отчеты об ошибках (или, еще лучше, исправления!) от людей, которые пытались использовать SHOP2 с Lisps, отличными от Allegro и SBCL, и на платформах, отличных от Linux. Нам также было бы интересно услышать мнение людей, которые запускали набор регрессионных тестов.