[논문 리뷰] h-approximation: History-Based Approximation of Possible World Semantics as ASP

Manfred Eppe, Mehul Bhatt외 1명|arXiv (Cornell University)|2013. 04. 17.

AI-based Problem Solving and Planning참고 문헌 23인용 수 3

한 줄 요약

이 논문은 가능한 세계 의미론(Possible Worlds Semantics, PWS)의 역사 기반 근사치인 h-근사치를 소개한다. 이는 지식 기반 계획에서 사후 추론(elaboration-tolerant postdiction)을 가능하게 하며, 형식 체계를 Answer-Set Programming(ASP)으로 변환함으로써 계획 존재 문제를 NP 복잡도로 감소시킨다. 이는 로봇 계획 시나리오에서 이상 징후 탐지와 같은 과거 사건에 대한 추론을 지원한다.

ABSTRACT

We propose an approximation of the Possible Worlds Semantics (PWS) for action planning. A corresponding planning system is implemented by a transformation of the action specification to an Answer-Set Program. A novelty is support for postdiction wrt. (a) the plan existence problem in our framework can be solved in NP, as compared to $Σ_2^P$ for non-approximated PWS of Baral(2000); and (b) the planner generates optimal plans wrt. a minimal number of actions in $Δ_2^P$. We demo the planning system with standard problems, and illustrate its integration in a larger software framework for robot control in a smart home.

연구 동기 및 목표

• 전체 가능한 세계 의미론(PWS)의 높은 계산 복잡도, 특히 행동 언어 A_k에서 계획 존재 문제의 Σ₂^P 완전성 문제를 해결하기 위해.
• 실패 진단 및 이상 징후 탐지에 필수적인 사후 추론을 지원하면서도, 수동적이고 도메인 특화된 비-확장 내성적 인코딩에 의존하지 않는 PWS의 근사치를 개발하기 위해.
• 새로운 행동이나 제약 조건과 같은 도메인 확장 상황에서도 과거 상태에 대한 지식 기반 추론이 정확하고 확장 가능하게 유지되도록 보장하기 위해.
• Answer-Set Programming(ASP)을 사용하여 실용적인 계획 시스템에 이 형식 체계를 통합함으로써, 표준 솔버를 사용한 순차적 및 조건부 계획을 가능하게 하기 위해.
• 특히 문을 열 수 없는 이상 상황에 직면한 로봇 휠체어를 탑재한 스마트 홈 환경에서 실세계 인지 로봇 공학 맥락에서 이 접근법을 검증하기 위해.

제안 방법

• h-근사치(HPX) 형식 체계는 과거 상태에 대한 지식을 역사 기반 접근 방식으로 모델링하며, 사후 추론과 관성 법칙을 통해 지식을 정교화한다.
• A_k 행동 언어에 시간적 질의 의미론(A_k TQS)을 확장하여 과거 상태에 대한 지식 표현을 가능하게 하여 전체 PWS와의 형식적 비교를 가능하게 한다.
• HPX 의미론은 Answer-Set Program(ASP)으로 인코딩되어 지식 기반 추론과 동적 추론을 안정 모델 의미론으로 변환하여 효율적인 계산을 가능하게 한다.
• 사후 추론은 관측된 센서 결과와 이전 지식을 기반으로 과거 이상 상태(ab_open 등)를 추론하는 규칙을 통해 구현되며, 분기 구조를 사용해 다양한 역사 경로를 모델링한다.
• ASP 내에서 분기 구조를 사용하여 각 분기마다 가능한 역사가 표현되며, 지식 전파 및 관성 규칙을 통해 감지 결과가 분기 간 전파된다.
• 앞서 진행되는 관성 규칙과 뒤로 진행되는 관성 규칙을 활용하여 시간 단계와 분기 간 세계 상태에 대한 지식을 유지 및 갱신함으로써, 과거에 반드시 참이었을 사항에 대한 추론이 가능해진다.

실험 결과

연구 질문

• RQ1 PWS의 근사치를 설계할 수 있는가? 이 근사치는 계산 가능하고 확장 내성적인 사후 추론을 지원할 수 있는가?
• RQ2 부분적 또는 이상적인 관측이 존재하는 상황에서도 과거 상태에 대한 지식 기반 추론에서 정확성을 유지하는가?
• RQ3 이 형식 체계에서 계획 존재 문제는 전체 PWS의 Σ₂^P 완전성과는 대비하여 NP로 해결 가능한가?
• RQ4 수동적이고 도메인 특화된 규칙에 의존하지 않고 논리 기반 계획 시스템에 사후 추론을 체계적으로 인코딩할 수 있는가?
• RQ5 h-근사치는 실시간 고수준 제어를 위한 스마트 환경에서 인지 로봇 공학 프레임워크에 효과적으로 통합될 수 있는가?

주요 결과

• h-근사치 하에서 계획 존재 문제는 전체 PWS의 A_k에 비해 훨씬 개선된 NP 복잡도로 해결 가능하다.
• 이 프레임워크는 확장 내성적인 사후 추론을 지원하여, 도메인 특화 규칙을 하드코딩하지 않고도 현재 관측 결과로부터 과거 이상 상태(예: 문이 막힘)를 추론할 수 있다.
• 스마트 홈 사례 연구에서, 후속 시간 t'>2에서 사람이 문 뒤에 있었음을 안다면, 시간 t=2에 문이 열려 있었음을 정확히 사후 추론하였다.
• ASP 기반 구현은 만약 시간 t=1에 문이 열려 있었고 t=2에 열려 있지 않았다면, 개방 동작이 실패했을 것임을 정확히 추론하여 이상 상태(ab_open)를 탐지하였다.
• 문이 막혀 있음이 밝혀졌을 때, 시스템은 유효한 대체 경로를 생성하여 실세계 로봇 제어 시나리오에서의 기능적 사후 추론을 입증하였다.
• 비록 계획 존재 문제가 NP-완전임에도 불구하고, ASP 기반 구현은 CFF와 같은 전용 PDDL 계획기보다는 효율성이 떨어지는 것으로 나타나, 향후 PDDL 기반 히وري스틱을 ASP에 통합할 필요가 있음을 시사한다.