answer-set-programming

2열

1답변

Answer Set Programming에서 새로운 기능으로 ASP에 문제를 인코딩하려고합니다. 나는 그것이 간단한 질문이라고 생각한다. 다음은 코드입니다. events(1..3). sequence(A,B,C) :- events(A;B;C), A!=B, A!=C, B!=C. 알다시피, 이벤트로 구성된 시퀀스가 있습니다. 이 경우 길이는 3입니다.

1열

1답변

DLV 규칙이 안전하지 않습니다.

DLV (Disjunctive Datalog)으로 작업하기 시작했으며 코드를 실행할 때 "규칙이 안전하지 않습니다"오류를보고하는 규칙이 있습니다. 규칙은 다음과 같습니다. foo(R, 1) :- not foo(R, _) 나는 "순환 종속성이 허용되지 않음"을 읽었습니다. 이것이 내가 오류를보고하는 이유라고 생각 합니다만,이 진술이 어떻게 DLV에 문제가

0열

1답변

DLV 대화 형 모드 (디버깅)

나는 잠시 동안 DLV에서 작업 해 왔으며 프로그램이 컸을 때 규칙을 활성화하는 것이 어렵다는 것을 알았습니다. 그래서 나는 manual에 가서 내가 이것을 할 수있는 것이 있는지 확인했습니다. 내가 찾은 유일한 사실은 프론트 엔드 옵션 인 -FP이지만 설명서가이 점에서 충분한 정보를 제공하지 않기 때문에 이것이 내가 원하는 것인지 확실하지 않습니다. 그래

0열

1답변

DLV 목록 구성

DLV에서 규칙에있는 모든 조건 자의 요소가있는 목록을 만드는 방법이 있는지 궁금합니다. 예를 들어, 내가 가지고있는 경우 다음과 같은 조건 foo(a, b). foo(a, c). foo(a, e). foo(b, c). 첫 번째 요소는 foo의 첫 번째 매개 변수와 관련된 모든 요소 목록을 포함해야 두 번째 매개 변수는 내가해야 새로운 조건을 찾고

0열

3답변

나는, 문법의 측면에서, 일부 확장과 프롤로그</em><em>과 같은 <em>대답 설정 프로그래밍 (ASP)</em>의 방언에 대한 파서를 작성하는 것을 시도하고있다 ANTLR4

에 모호한 문법에 과부하 기호로 취급. 하나의 확장자는 예를 들어 확장입니다. 즉 fact(1..3).은 fact(1). fact(2). fact(3).으로 확장됩니다. 언어는 INT 및 FLOAT 숫자를 인식하며 종료 자로도 .을 사용합니다. 구문 분석기가 정수, 부동 소수점, 확장자 및 구분 기호를 구별하지 못하는 이유는 언어가 명확하지 않기 때문입니다

0열

1답변

특정 입력 후 비디오 답변

내 질문이 어리석은 경우 죄송합니다. 나는 프로그래밍에 대해 아무것도 모르지만 나는 의심이있다. 요즘 내 말을 이해하고 특정 비디오를 대답으로 줄 수있는 프로그램을 만드는 것이 가능합니까? 나는 그 아이디어가 이케아 (IKEA)의 웹에서와 비슷하다는 것을 의미합니다.이 곳에는 "인형 (doll)"이 있었는데 그 질문에 따라 대답이나 다른 것이있었습니다. 내

2열

1답변

Prolog - 'not'to Prolog to negate

Answer Set Programming (ASP)에서 예제 문제가 있습니다. Prolog에서 동등한 코드를 만들려고 할 때 나는 계속 not을 막았습니다. 이것은 ASP 코드는 다음과 같습니다 road(berlin,potsdam). road(potsdam,werder). road(werder,brandenburg). road(X,Y) :- road(

1열

1답변

답변 프로그래밍 설정 - 사실 수를 계산하는 방법이 내 쿼리 결과로 보입니까?

그래서 나는 %Q1 : Find the implicit "is_a" relationship between terms %ex: if term A is is_a term B, term B is_a term C, then term A is_a term C %is_a One level triple1(TermA, "go:is_a", TermB):- tr

1열

1답변

Clingo의 그래프로 예기치 않은 결과가 발생했습니다.

나는 오일러 경로를 풀기 위해 Clingo에서 프로그램을 만들려고합니다. 지금까지 이것이 내가 생각해내는 것입니다. 그래프를 다음과 같이 표시하고 싶습니다. 내 입력. edge(a,b). edge(b,c). edge(c,d). edge(d,e). edge(a,d). edge(b,d). %edge(x,y)