0
현대의 OWL/RDF 추론 자와 이전의 STRIPS 스타일의 자동화 된 플래너 및 스케줄러 사이의 교차 역할을하는 소프트웨어가 있습니까? 두 시스템 모두 RETE 기반 패턴 일치를 사용하지만 자동 계획자 만 "조치"개념을 공식화하는 것처럼 보입니다. 불행히도 Graphplan 또는 SOAR과 같은 자동화 된 계획을 구현 한 것으로 밝혀진 모든 프로젝트는 죽거나 죽어가는 것처럼 보였으므로 처음에는 잘 확장되지 않는 것처럼 보였습니다. 현재의 데이터 저장소는 RDMS에서 구현되며 수백만 개의 트리플에 확장 및 추론 할 수 있지만 구체적으로 작업을 시도하고 이유를 찾지 못했습니다. 전통적인 RDF에서 액션 개념이 어떻게 표현 될지 상상할 수 있지만, 공식적인 지원 없이는 여전히 복잡하고 해킹 될 수 있습니다. 불행히도, 나는 많은 선행 기술을 찾을 수 없습니다. 이전에 해본 적이 있습니까?OWL/RDF 자동화 된 플래너
그래, 현재 계획 담당자를 찾고 있습니다. 얼마나 확장 성이 있는지는 잘 모르겠지만 확실히 사용 가능하고 적극적으로 유지 관리되며 오픈 소스입니다. 컴파일 된 Java 오브젝트의 모든 도메인 논리를 정의하고 문제를 도메인 특정 XML 파일로 인코딩합니다. 즉, OWL/RDF 파일을 데이터베이스에 "업로드"하여 도메인이나 문제를 업데이트 할 수 없습니다. 데이터를 도메인 별 XML로 변환하거나 수동으로 Java 코드를 작성하고 다시 컴파일해야하므로 실용적이지 않습니다. 나는 이것이 잘못된 것이라고 희망한다. – Cerin
"얼마나 확장 성이 있는지 잘 모르겠습니다." 제약 조건에서와 같이 데이터 (= 검색 공간)에서 스케일 아웃이 뛰어납니다. 비슷한 크기로 확장 할 수있는 유일한 방법은 cpsolver이지만, 이는 연구 프로토 타입 (더 이상 IIRC를 적극적으로 관리하지 않음)입니다. –
"도메인 별 XML 파일에서 문제 사양을 인코딩합니다." 아니 그렇지 않아. 그것은 단지 데이터베이스 연결로 예제에 부담을주고 싶지 않기 때문에, 테스트 데이터가 필요합니다. 모든 것은 일반 오래된 자바 객체에서 작업 할 수 있도록 빌드 된 것이며 데이터베이스, XML, infinispan, webservice 등에서 가져 오는 것은 사용자에게 달려 있습니다. –