asp development enviorment install guide for mac os
TRANSCRIPT
설치 전 알아두어야 할 사항 (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
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
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 [files] 옵션u Clingo를 통해 해결한 파일명
16
$ ./clingo 0 -c n=4 ~/Downloads/BasicModeling/queensA.lp
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
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 파일 생성 (2)1. 생성한 파일로 실행을 해보기 위해서 앞에서 진행했던 Clingo 실습때 다운받은 예제 파일 중 “queensA.lp”의 내용을 넣어 준다.
29
SeaLion Eclipse Run Configurations (1)
1. 파일에 마우스를 위치시키고 오른쪽 클릭
2. Run As -> Run Configurations… 선택
30
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