공간 추론의 자동화

초록

본 논문은 삼차원 공간에서 여러 물체가 움직이는 시스템에 대한 모델과 시뮬레이터를 기본 원칙에 입각하여 자동적으로 만들어 내는 새로운 방법을 논한다. 이 방법은 기존의 모델링 연구를 세 가지 방법에 의해 확장 개선한다: (1) 벡터와 좌표계의 명백한 처리, (2) 여러 개의 대수 방정식 또는 미분 방정식의 동시 처리, (3) 물리 지식의 선언적이면서 알고리듬 중립적인 표현. 이 방법은 Oracle이라 하는 프로그램으로 구현되어 mechanical device와 sailboat 영역에서 시험되었다. 실험결과는, 필요한 domain knowledge가 충분히 주어진다면 Oracle이 여러 가지 유형의 시스템의 모델을 제대로 만들어 낸다는 것을 보여 준다.