[논문 리뷰] Plan Development using Local Probabilistic Models

Ella Atkins, Edmund H. Durfee외 1명|arXiv (Cornell University)|2013. 02. 13.

Real-Time Systems Scheduling참고 문헌 13인용 수 20

한 줄 요약

이 논문은 상태 전이에 시간에 따라 변하는 확률 함수를 할당하여 동적 환경에서 계획 개발을 향상시키기 위해 국소적 확률 모델링 접근법을 제안한다. 국소 상태 확률를 계산함으로써 높은 확률의 목표 경로를 선택하고 불가능한 상태를 제거함으로써 CIRCA 아키텍처에서 성능을 크게 향상시켰으며, 이는 비행 시뮬레이션 테스트를 통해 입증되었다.

ABSTRACT

Approximate models of world state transitions are necessary when building plans for complex systems operating in dynamic environments. External event probabilities can depend on state feature values as well as time spent in that particular state. We assign temporally -dependent probability functions to state transitions. These functions are used to locally compute state probabilities, which are then used to select highly probable goal paths and eliminate improbable states. This probabilistic model has been implemented in the Cooperative Intelligent Real-time Control Architecture (CIRCA), which combines an AI planner with a separate real-time system such that plans are developed, scheduled, and executed with real-time guarantees. We present flight simulation tests that demonstrate how our probabilistic model may improve CIRCA performance.

연구 동기 및 목표

• 세계 상태 전이가 불확실하고 상태 특성 및 시간에 따라 달라지는 복잡하고 동적인 환경에서 계획 수립의 과제를 해결하기 위해.
• 전이 확률을 국소적이고 시간적으로 모델링하여 계획의 신뢰성과 효율성을 향상시키는 방법을 개발하기 위해.
• 실시간 계획 개발과 보장된 실행을 위해 CIRCA 아키텍처에 확률적 상태 모델링을 통합하기 위해.
• 시뮬레이션을 통해 국소적 확률 모델의 영향을 계획 품질과 시스템 성능에 미치는 영향을 평가하기 위해.

제안 방법

• 상태 특성 값과 각 상태에 머무른 시간에 기반하여 상태 전이에 시간에 따라 변하는 확률 함수를 할당한다.
• 이 시간에 따라 변하는 함수를 사용하여 국소 상태 확률를 계산하여 향후 상태의 가능성 여부를 평가한다.
• 계획 생성 중 높은 확률의 목표 경로를 선택하고 낮은 확률의 상태는 제거한다.
• 모델은 AI 계획기와 실시간 실행 시스템을 결합하여 계획의 타당성을 보장하는 CIRCA 아키텍처 내부에 통합된다.
• 확률 모델은 환경 조건의 변화에 대응하여 계획을 동적으로 적응시킬 수 있도록 한다.
• 모델의 영향을 계획 개발 성능에 대해 비행 시뮬레이션을 사용하여 평가한다.

실험 결과

연구 질문

• RQ1 국소적 확률 모델은 어떻게 동적이고 불확실한 환경에서 계획 선택을 향상시킬 수 있는가?
• RQ2 시간에 따라 변하는 전이 확률은 계획의 신뢰성과 효율성을 얼마나 향상시키는가?
• RQ3 CIRCA에 국소적 확률 모델링을 통합하면 실시간 계획 실행 성능에 어떤 영향을 미치는가?
• RQ4 낮은 확률 상태의 제거가 전체 계획 품질에 어떤 영향을 미치는가?

주요 결과

• CIRCA에 국소적 확률 모델을 통합함으로써 동적 환경에서 계획 개발 성능이 크게 향상되었다.
• 시간에 따라 변하는 확률 함수의 사용은 상태 전이 가능성의 더 정확한 추정을 가능하게 하였다.
• 높은 확률의 목표 경로가 일관되게 선택되었고, 불가능한 상태는 계획 과정에서 효과적으로 제거되었다.
• 비행 시뮬레이션 결과는 계획 품질 향상과 시스템 반응성 향상에 명백한 개선 효과를 보였다.