MacOS 환경에서 Answer Set Programming 개발 환경 구축 가이드.

1. 2016.04.11
ASP Development
Environment
Install Guide For Mac
이남기

2. 설치 전 알아두어야 할 사항 (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

3. 설치 전 알아두어야 할 사항 (2)
u 맥 환경에서 F2LP를 사용하기 위해서는 하위 버전을 사용해야 합
니다.
• F2LP 최신버전은 1.3이나 맥 환경에서의 Binary 파일을 제공하고 있지 않
고 있으면, 1.3 Source 파일을 다운 받아 Build를 할 경우 Encoding 과정
에서 문제가 발생
• 이 부분은 OS간의 Compile 환경 차이로 인해 발생하는 것으로 예측됨.
• Rule Converting 중 Thresh Value가 첨부됩니다.
• 즉, F2LP 를 맥 환경에서 구동하기 위해서는 Binary 파일을 제공하는
1.11 버전을 다운받아야 Stable한 동작이 가능합니다.
3

4. Context
u Clingo 3.0.5
• 설치방법
• 기본 실행 방법
• 옵션 설명
u F2LP 1.11
• 설치방법
• 실행
u Appendix A
• SeaLion
• 실행방법
• 프로그램 생성
• Run Configurations
• Clingo와 실행결과 비교
4

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

6. Clingo
u Grounder + Solver = Clingo
u 참고 자료
• http://potassco.sourceforge.net/teaching.html
6
One-shot ASP Solving
Problem
Logic
Program
Grounder Solver
Stable
Models
Solutions

7. 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

8. Clingo 3.0.5 설치방법
u ASP 예제 다운로드(“BasicModeling” 파일)
• http://goo.gl/z7GO5v
• 관련 강의 링크 http://potassco.sourceforge.net/videos.html
8

9. 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

10. 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

11. 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

12. u [number] 옵션이 0 일 때
u [number] 옵션이 1 일 때
Clingo 3.0.5 [number] 옵션 (2)
12

13. u [number] 옵션이 2 일 때
Clingo 3.0.5 [number] 옵션 (3)
13

14. 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.

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

16. Clingo 3.0.5 [files] 옵션
u Clingo를 통해 해결한 파일명
16
$ ./clingo 0 -c n=4 ~/Downloads/BasicModeling/queensA.lp

17. F2LP 1.11
설치방법, 실행
17

18. 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

19. F2LP 설치방법 (2)
u 다운로드 받은 파일을 압축 해제
u 실행 화면
19
$ cp f2lp-1.11_osx.tar.gz ~/MyWorkspace/
$ cd ~/MyWorkspace
$ tar xvfz f2lp-1.11_osx.tar.gz

20. F2LP 실행 (1)
u 실행 전 예제파일 다운로드
• http://reasoning.eas.asu.edu/f2lp/robby.e
• http://reasoning.eas.asu.edu/f2lp/dec.e
20

21. 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

22. Appendix A
SeaLion
22

23. SeaLion
u KBSG(Knowledge Based System Group)과 Institute for
Information Systems Vienna University of Technology에
서 제작.
u SeaLion Eclipse plug-in
• ASP 개발을 Eclipse에서 하기 위한 Plug-in
23

24. 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

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

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

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

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

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

30. SeaLion Eclipse Run Configurations (1)
1. 파일에 마우스를 위치시키고 오른
쪽 클릭
2. Run As -> Run
Configurations… 선택
30

31. SeaLion Eclipse Run Configurations (2)
1. Input Program(s) 탭을
선택
2. Input Program 파일을
선택하고 OK
31

32. SeaLion Eclipse Run Configurations (3)
1. Solver탭을 선택
2. Clingo3(all AS) 선택
32

33. SeaLion Eclipse Run Configurations (4)
1. Arguments 탭 선택
2. Clingo 실행시 사용할
[number] [options] 옵션
들을 넣어주면 된다.
• 0 -c n=4
33

34. SeaLion Eclipse Run Configurations (5)
1. Output Processing탭
선택
2. ”Parse Clasp
Interpretations”를 선
택 후 Run
34

35. SeaLion Eclipse 와 Clingo 실행결과 비교
35
터미널에서 clingo를 실행했을 때 결과
Eclipse SeaLion Plug-in을 이용한 결과