answer-set-programming

-4열

1답변

C++ 파일에서 Answer Set Programming 파일을 실행하려면 어떻게해야합니까?

내 C++ 코드의 주 기능에서 ASP 파일을 실행하는 데 사용할 수있는 방법은 무엇입니까? C++ 파일을 사용하여 가상 거북이를 제어하고 ASP 코드를 사용하여 로봇이 지정된 목표를 달성하는 데 사용할 수있는 동작 계획을 세울 프로젝트를 진행 중입니다. 저는 우분투 14.04, SPARC (ASP 솔버), ROS 인디고 및 전망대를 사용하고 있습니다.

0열

1답변

클링 군 4.5와 그레고리 3의 사용

PCGBook의 8 장에서 연습 문제의 코드를 실행하려고합니다. 그들은 clingo를 사용하지만 그들이 사용하는 버전을 말하지 않습니다. Potassco의 sourceforge (4.5.4 버전)에서 Clingo의 최신 버전을 다운로드하면 렉서 오류가 발생합니다. 나는 Gringo 3와 Gringo 4 사이에서 문법이 바뀌었기 때문이라고 생각합니다. Pot

0열

2답변

어떻게 SPARC 솔버의 출력을 파이썬 파일의 입력으로 사용합니까?

질문 : SPARC 솔버 (현재 터미널에 텍스트로 표시됨)의 출력을 Python 코드의 변수로 저장해야합니다. 어떻게해야합니까? 빠른 참고 : SPARC는 ASP (answer-set-programming) 파일에 사용되는 솔버입니다. 사람들이 혼란스럽지 않고 asp.net을 참조한다고 생각하면됩니다. python pythonfile.py | java -j

0열

1답변

Python2.7과 ASP 간의 양방향 통신 시도 : 작동하지 않는 텍스트 파일에 명명 된 파이프 내용 쓰기

SPARC ASP 솔버 인 Python2.7을 사용하고 있으며 Ubuntu14.04 명령에서 코드를 실행 중입니다. 선. 파이썬 코드와 ASP (응답 설정 프로그래밍) 코드 사이에 양방향 통신을 설정하려고합니다. 이렇게하려면 파이썬에서 ASP로 쿼리를 보내고 ASP 응답을 FIFO 파이프에 넣고 파이썬 코드에서 FIFO의 내용을 문자열로 읽은 다음 문자열을

1열

1답변

clingo 변수 범위 적용

나는 clingo에 대해 많이 모른다. 문제를 분명히 나눌 수 있기를 바란다. 현재 내가 각각 X, Y 값에 대한 결과를 반환 cellUseCount(X,Y,C) :- C = #count{cell(X,Y)}, target(X,Y,XX,YY). 을했습니다. X-XX와 Y-YY 범위는 어떻게 얻을 수 있습니까? 예 : target(1,5,1,1)에 대해 c

0열

1답변

Runtime.exec()을 사용하여 Java 프로그램에서 ASP 프로그램을 실행할 때의 문제점

그래서 내가 겪고있는 문제는 bash 스크립트를 사용하여 실행할 때 ASP 프로그램을 완전히 실행할 수 없다는 것입니다. 따라서 스크립트는 ASP를 실행하지만 시작 만하면 완료되지 않습니다. 그래서 제 질문은 일반 터미널에서 떠들썩한 파티 bash -c clingo -n 1 <File Path> 이 줄을 사용하는 경우 clingo가 완전히 실행하는 방법

0열

1답변

참 조건부의 수를 계산하고 제한하기

지정된 사실을 사용하여 참 조건부의 수를 제한 할 수있는 특정 방법이 있습니까? 현재 총 (2)이 있습니다. 사실로. 나는 이것이 작동 할 것이라고 생각했다 : : 총 (N), #count {x : something_to_limit (x)} = K, K = N. 그러나 이것은 N 어떤 도움이 크게 감상 할 :)

0열

1답변

응답 집합 프로그래밍에서 두 직사각형 간의 교차 검사

아래 규칙은 교차점을 확인합니다. :- areaCoords(X1,Y1,X2,Y2), areaCoords(XA,YA,XB,YB), XA >= X1, X2 >= XA, YB >= Y1, Y2 >= YA, (X1,Y1,X2,Y2) != (XA,YA,XB,YB). 그러나 대칭 쌍을 생성합니다. 즉, 교차점 (A, B)과 교차점 (B, A)을 확인합니다. 검사

1열

1답변

해답 집합과 논리 퍼즐 해결 프로그래밍

면책 조항 : 나는 거의 완전히 clingo에 익숙하며 일반적으로 응답 집합 프로그래밍입니다. 나는 grid logic puzzle을 사용하여 해결하기 위해 노력하고 있습니다. 시작하려면 각 카테고리의 인스턴스 하나를 포함하는 모든 모델을 생성하고 싶습니다. person(a; b; c)., 세 주택 : house(w; x; z)., 및 세 가지 색상 : 세

1열

1답변

간격 정보 생성 문제

시간이 지남에 따라 이진 함수가 주어지면이 함수에서 발생하는 간격에 대한 정보를 추출하려고합니다. 예. a, a, b, b, b, a, b, b, a, a 그럼 난 사실 간격이 같은 (시작, 길이, 값)를 원하는 것 : 여기 interval(0, 2, a) interval(2, 3, b) interval(5, 1, a) interval(6, 2,