shop2 다운로드 - shop2 소스 코드 다운로드

shop2

기타 소스코드

1.0.0

다운로드

SHOP2

SHOP2에 오신 것을 환영합니다!

내용물

에 대한
힘내 포크
- 원본 소스
- 지점 조직
설치
용법
서류
파일
향후 계획
보고 문제
특허

↟ 소개

SHOP2(Simple Hierarchical Ordered Planner 2)는 HTN(Hierarchical Task Network) 계획을 기반으로 하는 도메인 독립적 계획 시스템입니다. 2002년 국제기획경진대회에서 SHOP2는 뛰어난 성과를 인정받아 2개 상 중 하나인 4대 상 중 하나를 수상했습니다.

자세한 내용은 아래 논문 섹션과 UMD SHOP 사이트를 참조하세요.

힘내 포크 ↟

지부 조직 ↟

git 포크 저장소는 SHOP2의 다음 분기를 유지합니다.

cvs/mirror - Source Forge에서 호스팅되는 원본 CVS 저장소(기록 및 원래 그대로의 비교 목적으로 보존됨)
cvs/mirror-with-updates - CVS 미러에 대한 업데이트(주로 README 및 Quicklisp에 대한 일부 업데이트)
svn/mirror - 업스트림 git repo와 동기화하여 유지되는 미러
svn/mirror+csv-history - 원본 CVS VCS 기록과 결합된 업스트림 SVN 저장소 미러
master - Github 친화적인 README 가 포함된 CVS+SVN 코드베이스+역사 및 Quicklisp와 함께 SBCL을 사용하여 Fur 변경

원본 소스 ↟

이 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 웹 UI 사용자에게 제공됩니다. 실제 프로젝트 README 는 docs 디렉토리에 있습니다:

문서/README.txt

해당 파일에는 더 자세한 정보, 기록 변경 사항 등이 포함되어 있습니다.

설치 ↟

설치 및 로드에는 QuickLisp가 사용됩니다. QuickLisp가 설치되어 있지 않은 경우 다음 make 대상을 사용하여 설치할 수 있습니다.

 $ make quicklisp

아직 Lisp용 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 웹 서비스 구성 자동화 - DAML-S 웹 서비스 설명을 실행하기 위해 SHOP2를 사용하는 방법을 설명합니다.
2004 - 비결정적 도메인의 전방 연결 계획 - 비결정적 계획 도메인에서 작동하도록 SHOP2 및 기타 여러 플래너를 적용하는 방법을 설명합니다.
2004 - SHOP 및 SHOP2의 애플리케이션 - 사람들이 SHOP 및 SHOP2를 사용한 일부 애플리케이션에 대해 설명합니다.
2005 - 기호 모델 검사를 기반으로 하는 계층적 작업 네트워크 플래너 - 비결정적 문제 영역에서 작동하도록 SHOP2를 적용하기 위한 추가 작업
2005 - 확률 계획을 위한 도메인 구성 가능 검색 제어 사용 - MDP와 같은 확률 계획 도메인에서 작동하도록 SHOP2 및 기타 여러 계획자를 적용하는 방법을 설명합니다.
2005 - 웹 서비스 구성 기획 시 정보 수집 - 웹 서비스 구성을 위해 웹에서 정보를 수집할 수 있도록 SHOP2 확장
2005 - 휘발성 정보를 이용한 웹 서비스 구성 - 기획이 진행되는 동안 세상이 변하는 환경에서 웹 서비스 구성을 할 수 있도록 SHOP2를 확장