공간 및 시간적 추론을위한 규칙 엔진?
https://stackoverflow.com/questions/2469567
-
20-09-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian문제
3 차원 공간 및 시간적 프로세스를 특징 짓는 다수의 데이텀을받는 응용 프로그램이 있습니다. 그런 다음 이러한 데이텀을 걸러 내고 동작을 생성 한 다음 작업을 수행하는 프로세스로 전송됩니다. 헹구고 반복하십시오.
현재, 나는 복잡한 공간/시간 계산을 많이 수행하는 사용자 정의 필터 모음이 있습니다.
여러 번 내 시스템을 회사의 개인에게 논의 할 때 규칙 엔진을 사용하고 있는지 묻습니다.
나는 일시적으로 그리고 공간적으로 잘 추론 할 수있는 규칙 엔진을 아직 찾지 못했습니다. (와 같은 것 : 두 개의 3D 엔티티가 언제 가까이 있습니까? 3D 엔티티 A는 3D 영역 B에 포함되어 있습니까? 엔티티 C가 근처에 있지만 C에 비해 거꾸로 지향 된 다음 동작 D를 수행합니다.)
나는 과거의 침체, Cyc, Jess를 보았습니다 (3-4 년 전). 이제 예술의 상태를 재검토해야 할 때입니다. 제안이 있습니까? 이런 종류의 추론을 뒷받침하는 표준이 있습니까? Defacto 표준이 있습니까? 응용 프로그램이 있습니까?
감사!
해결책
전제 - SQL 기반을 기억하십시오1 DBMS는 SQL과 Prolog의 이러한 비교에서 볼 수 있듯이 (유능한) 추론 엔진입니다.
구체적으로 귀하의 시공간 응용 프로그램을 해결하기 위해이 책은 다음과 같습니다.
- 시간 데이터 및 관계형 모델 - 적용에 대한 자세한 조사 간격 및 관계 이론 시간 데이터베이스 관리 문제에.
즉, 간격과 관계 이론을 결합하는 것은 시공간 문제에 대한 추론에 효과적으로 가능합니다 (참조 5.2 간격의 적용).
물론 SQL 기반 DBMS가 (아직) 간격 (및 기타) 연산자가 장착되지 않은 경우 적절하게 확장해야합니다 (~을 통해 매장-절차 및/또는 사용자 정의 기능 -UDF).
업데이트: 종이를 훑어 보았다 Timemirror의 의견에 (정보 모델 구축을위한 3D 공간 쿼리 언어로) 그들은 본질적으로 내가 위에서 언급 한 일을한다.
(마지막 페이지)
구현 개념
추상 유형 시스템을 쿼리 언어로 구현하는 것은 쿼리 언어 SQL을 기반으로 수행됩니다. 쿼리 언어 SQL은 객체 관계 데이터베이스 분야에서 널리 확립 된 표준입니다. International Standard SQL : 1999는 관계형 모델을 확장하여 통합 된 방법으로 복잡한 추상 데이터 유형을 정의 할 수있는 가능성과 같은 객체 지향적 측면을 포함하도록 연장됩니다.
나는 "객체-관계 데이터베이스"용어와 동의하지 않지만 (여기에 주제를 벗어난 이유) 나머지는 관련이 있다고 생각합니다.
업데이트: 위에서 인용 한 책의 3D 및 간격 이론에 대한 인용문 :
참고 : 지금까지 논의 된 모든 간격은 1 차원으로 생각할 수 있습니다. 그러나 두 가지 1 차원 간격을 결합하여 2 차원 간격을 형성 할 수 있습니다. 예를 들어, 직사각형지면의지면은 2 차원 간격으로 생각 될 수 있습니다. 정의상 길이와 너비가있는 물체이기 때문에 각각은 기본적으로 일부 축을 따라 측정 된 1 차원 간격이기 때문입니다. 그리고 물론, 이 아이디어를 여러 차원으로 확장 할 수 있습니다.. 예를 들어, (다소 간단한!) 건물은 3 차원 간격으로 간주 될 수 있습니다. 길이, 너비 및 높이, 즉 입방체의 물체입니다. (보다 현실적으로, 건물은 다양한 방식으로 겹치는 몇 가지 큐보드 세트로 간주 될 수 있습니다.) 등. 그러나 다음에서 우리는 명시 적 진술을 반대하는 1 차원 간격으로주의를 제한 할 것이며, 단순성을위한 "1 차원"예선을 생략 할 것입니다.
메모
- 나는 썼다 SQL 기반 그리고 아닙니다 관계 관계형 이론에서 완전히 벗어나는 DBMSE를 사용하는 방법이 있기 때문입니다.
다른 팁
이것은 공간적 추론입니다 ... 몇 가지 모델이지만 9DE-IM은 이제 OGC에 의해 받아 들여지고 PostGIS 및 기타 프로그래밍 도구에서 구현됩니다.
Postgis는 치수로 확장 된 9 교차점 모델을 기반으로 한 공간 추론 엔진을 구현합니다 ... 9de-Im ..
http://postgis.refractions.net/documentation/manual-svn/ch04.html#de-9im SECT 4.3.6.1을 점검하십시오. 이론...
Java Topology Suite (및 C# 등의 순 토폴로지 스위트)도 마찬가지입니다.
http://docs.codehaus.org/display/geotdoc/pointset+ theory+ 및 the+de-9im+ matrix
입자에서 지오메트리를 확인합니다.
부울 isrelated = geometry.relate (geometry2, "t*t *** t **")
관계를 테스트하거나 데이터를 기반으로 필터링 할 수 있습니다. PTS, 라인, 다각형 등으로 작동합니다 ...
이것은 일시적인 것들에 도움이 될 수 있습니다 ..
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.87.4643&rep=rep1&type=pdf
SPATIALRULES를 확인하십시오 http://www.objectfx.com/. 2D 및 3D를위한 지리 공간 복잡한 이벤트 프로세서입니다.
