2016.04.11

ASP Development Environment Install Guide For Mac

이남기

설치 전 알아두어야 할 사항 (1)u F2LP+Clingo 연동을 위해서는 Clingo를 하위 버전으로 이용해야합니다.• Clingo 3.0.5 버전을사용(2016.04기준으로 4.5.4가 최신)• 이유는 F2LP 를 통해 Encoding 된 Output은 Disjunctive rule을 포함하고 있는데, Clingo 3.0.5 버전 이후부터는 Disjunctive rule을 핸들링할수가 없기때문입니다.

2

설치 전 알아두어야 할 사항 (2)u 맥 환경에서 F2LP를 사용하기 위해서는 하위 버전을 사용해야 합니다.• F2LP 최신버전은 1.3이나맥 환경에서의 Binary 파일을 제공하고있지 않고 있으면, 1.3 Source 파일을다운 받아 Build를 할 경우 Encoding 과정에서 문제가발생

• 이 부분은 OS간의 Compile 환경 차이로 인해 발생하는것으로 예측됨.• Rule Converting 중 Thresh Value가 첨부됩니다.

• 즉, F2LP 를 맥 환경에서구동하기위해서는 Binary 파일을 제공하는1.11 버전을 다운받아야 Stable한 동작이 가능합니다.

3

Contextu Clingo 3.0.5

• 설치방법• 기본 실행 방법• 옵션 설명

u F2LP 1.11• 설치방법• 실행

u Appendix A• SeaLion

• 실행방법• 프로그램 생성• Run Configurations• Clingo와 실행결과 비교

4

Clingo 3.0.5설치방법,기본 실행방법,옵션 설명

5

Clingou Grounder + Solver = Clingo

u 참고 자료• http://potassco.sourceforge.net/teaching.html

6

One-shot ASP Solving

Problem

LogicProgram Grounder Solver Stable

Models

Solutions

Clingo 3.0.5 설치방법u 3.0.5 버전 다운로드 및 압축 해제

• https://goo.gl/ZNdX5C

u 실행화면

7

$ cp clingo-3.0.5-macos-10.8.3.tar.gz ~/MyWorkspace/$ cd ~/MyWorkspace$ tar xvfz clingo-3.0.5-macos-10.8.3.tar.gz

Clingo 3.0.5 설치방법u ASP 예제 다운로드(“BasicModeling” 파일)

• http://goo.gl/z7GO5v• 관련 강의링크 http://potassco.sourceforge.net/videos.html

8

Clingo 3.0.5 기본 실행 방법u 터미널 진입 후 Clingo 폴더로 이동

u 기본 실행

9

$ cd ~/yourWorkspace/clingo-3.0.5-macos-10.8.3

$ ./clingo -c n=4 ~/Downloads/BasicModeling/queensA.lp

Clingo 3.0.5 옵션 설명u clingo [number] [options] [files]

u number는 결과 출력의 갯수u options은 Grounding과 Solving 등의 사용할 옵션u files는 clingo를 실행할 파일명u 주로 사용하는 옵션들을 정리

10

$ ./clingo 0 -c n=4 ~/Downloads/BasicModeling/queensA.lp

Clingo 3.0.5 [number] 옵션 (1)u 결과 출력 시 Answer의 갯수를 정할 수 있다.

• 0 : 모든 Answer를 출력• n : n개의 Answer를 출력

u [number] 옵션의 위치는 어느 위치에 넣어도 상관이 없다.

11

$ ./clingo 0 -c n=4 ~/Downloads/BasicModeling/queensA.lp$ ./clingo -c n=4 0 ~/Downloads/BasicModeling/queensA.lp$ ./clingo -c n=4 ~/Downloads/BasicModeling/queensA.lp 0

$ ./clingo 0 -c n=4 ~/Downloads/BasicModeling/queensA.lp

u [number] 옵션이 0 일 때

u [number] 옵션이 1 일 때

Clingo 3.0.5 [number] 옵션 (2)

12

u [number] 옵션이 2 일 때

Clingo 3.0.5 [number] 옵션 (3)

13

Clingo 3.0.5 [options] 옵션 (1)u -c, -const <id>=<term>

• <id>에 <term> 값을 할당u 예제

14

1 { queen(I,1..n) } 1 :- I = 1..n.1 { queen(1..n,J) } 1 :- J = 1..n.

:- 2 { queen(I,J) : D = I+J+1 }, D=1..2*n-1.:- 2 { queen(I,J) : D = I-J+n }, D=1..2*n-1.

$ ./clingo -c n=4 ~/Downloads/BasicModeling/queensA.lp

n의값이 3으로할당

1 { queen(I,1..n) } 1 :- I = 1..4.1 { queen(1..n,J) } 1 :- J = 1..4.

:- 2 { queen(I,J) : D = I+J+1 }, D=1..2*4-1.:- 2 { queen(I,J) : D = I-J+n }, D=1..2*4-1.

Clingo 3.0.5 [options] 옵션 (2)u 잘못된 실행

u 정상 실행

15

Clingo 3.0.5 [files] 옵션u Clingo를 통해 해결한 파일명

16

$ ./clingo 0 -c n=4 ~/Downloads/BasicModeling/queensA.lp

F2LP 1.11설치방법,실행

17

F2LP 설치방법 (1)u 1.11 버전 다운로드

• 아래 링크를통해서다운로드• http://reasoning.eas.asu.edu/f2lp/files/f2lp-1.11_osx.tar.gz

• 전체 버전은아래링크를 통해서확인• http://reasoning.eas.asu.edu/f2lp/index_files/Page333.html

18

F2LP 설치방법 (2)u 다운로드 받은 파일을 압축 해제

u 실행 화면

19

$ cp f2lp-1.11_osx.tar.gz ~/MyWorkspace/$ cd ~/MyWorkspace$ tar xvfz f2lp-1.11_osx.tar.gz

F2LP 실행 (1)u 실행 전 예제파일 다운로드

• http://reasoning.eas.asu.edu/f2lp/robby.e• http://reasoning.eas.asu.edu/f2lp/dec.e

20

F2LP 실행 (2)u F2LP+Clingo 실행

u 참고 자료는 F2LP 홈페이지에서 확인하시면 됩니다.• http://reasoning.eas.asu.edu/f2lp/index.html

21

$./f2lp-1.11 dec.e robby.e | \../../asp/clingo-3.0.5/clingo -c maxstep=11

Appendix ASeaLion

22

SeaLionu KBSG(Knowledge Based System Group)과 Institute for

Information Systems Vienna University of Technology에서 제작.

u SeaLion Eclipse plug-in• ASP 개발을 Eclipse에서 하기 위한 Plug-in

23

SeaLion 설치방법u Eclipse 다운로드 (2016년 3월 21일 월요일 기준으로 최신버전)

• https://eclipse.org/downloads/download.php?file=/technology/epp/downloads/release/mars/2/eclipse-jee-mars-2-macosx-cocoa-x86_64.tar.gz

24

SeaLion 설치방법1. Eclipse 실행2. Eclipse 메뉴 중 Help à Install New Software 선택3. Work with에 http://sealion.at/update 입력 후 Enter4. 2개 (또는 1개) 항목이 나오는 데 2개 다 Check 후 Next5. 모든 항목이 Check 된 상태에서 Next를 눌러 진행6. 설치가 완료될 때 까지 5~6분정도 소요됨

25

SeaLion Eclipse 기본 설정 방법1. Window->Perspective->Open Perspective->Other2. SeaLion 선택 후 OK

26

SeaLion Eclipse 프로젝트 생성1. File->New->Project 선택2. SeaLion 프로젝트 선택 후 프로젝트 명 입력후 생성

27

SeaLion Eclipse 파일 생성 (1)1. 생성된 Project 에 마우스를 위치시키고 오른쪽 클릭2. New->File3. 파일명 입력 후 Finish

28

SeaLion Eclipse 파일 생성 (2)1. 생성한 파일로 실행을 해보기 위해서 앞에서 진행했던 Clingo 실습때 다운받은 예제 파일 중 “queensA.lp”의 내용을 넣어 준다.

29

SeaLion Eclipse Run Configurations (1)

1. 파일에 마우스를 위치시키고 오른쪽 클릭

2. Run As -> Run Configurations… 선택

30

SeaLion Eclipse Run Configurations (2)

1. Input Program(s) 탭을선택

2. Input Program 파일을선택하고 OK

31

SeaLion Eclipse Run Configurations (3)

1. Solver탭을 선택2. Clingo3(all AS) 선택

32

SeaLion Eclipse Run Configurations (4)

1. Arguments 탭 선택2. Clingo 실행시 사용할

[number] [options] 옵션들을 넣어주면 된다.

• 0 -c n=4

33

SeaLion Eclipse Run Configurations (5)

1. Output Processing탭선택

2. ”Parse Clasp Interpretations”를 선택 후 Run

34

SeaLion Eclipse 와 Clingo 실행결과 비교

35

터미널에서 clingo를 실행했을 때 결과

Eclipse�SeaLion Plug-in을 이용한 결과