나는 잠시 동안 DLV에서 작업 해 왔으며 프로그램이 컸을 때 규칙을 활성화하는 것이 어렵다는 것을 알았습니다. 그래서 나는 manual에 가서 내가 이것을 할 수있는 것이 있는지 확인했습니다.DLV 대화 형 모드 (디버깅)
내가 찾은 유일한 사실은 프론트 엔드 옵션 인 -FP이지만 설명서가이 점에서 충분한 정보를 제공하지 않기 때문에 이것이 내가 원하는 것인지 확실하지 않습니다. 그래서, 내가 무엇을이 플래그와 함께 내 프로그램을 실행했다 그러나 나는 다음과 같은 오류 무엇을 얻을 :이 플래그를 사용하지 않고
Background knowledge must not contain aggregates
프로그램 실행을하고 난 집계를 제거 할 수 없습니다. 바보 같은 프로그램으로 시도했지만 다른 경고/오류 메시지가 표시됩니다.
DLV 프로그램을 디버깅하는 올바른 방법입니까? 전혀 방법이 있습니까?
감사합니다.
아니요, 이것은 DLV 프로그램을 디버깅하는 올바른 방법이 아닙니다.
계획 프런트 엔드 (-FP가 호출 함)는 계획 문제, 즉 일반적인 종류의 문제를 해결하기 위해 DLV를 사용하기위한 것입니다. 이것은 world/my 시스템의 현재 상태입니다. 다음은 내가 수행 할 수있는 일련의 가능한 조치입니다. 여기에 도달하고자하는 일련의 목표가 있습니다. 이제 이러한 목표를 달성하기 위해 어떤 조치를 취해야하는지 알고 싶습니다. (기획에 대한 더 많은 정보를 얻을 수있는 좋은 정보는 모르겠다. 나는 공부하는 동안 몇 년 전의 코스를 배웠다. 50 초 Google 검색 결과 더 많은 정보를 얻을 수있는 유용한 정보 일 수도있다 : http://aima.cs.berkeley.edu/2nd-ed/newchap11.pdf)
DLV의 계획 프런트 엔드는 이러한 종류의 계획을 표현한 다음이를 해결할 수있는 프레임 워크를 제공합니다 (두 번째 경고에서 요청하는 계획 길이는 최대 단계 수입니다. 계획이 걸릴 수 있습니다). 그래서 나는 이것이 당신이 찾고있는 것이라고 생각하지 않습니다.
난 전혀 DLV 디버깅과 경험이 없지만, 나는 한 번 ASP IDE https://www.mat.unical.it/ricca/aspide/download 디버깅의 어떤 종류를 지원 (그래서 그것이 DLV 웹 사이트 http://www.dlvsystem.com/에 적혀있다) 언급했다 생각하지만, 나도 몰라 무엇을 정보가 제공되며 귀하에게 도움이되는지 여부가 결정됩니다. (일반적으로 ASP 시스템의 실제 구현은 의미 체계의 선언적 정의와 크게 다를 수 있으므로 디버깅이 간단하지 않다고 가정합니다.)
(미안 죄송 합니다만 답변보다 댓글을 달았지만 댓글을 쓰는 것이 허용되지 않는 경우 답변 만)