[논문 리뷰] Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence

Jérôme Lang, Bruno Zanuttini|arXiv (Cornell University)|2013. 10. 23.

Logic, Reasoning, and Knowledge참고 문헌 5인용 수 9

한 줄 요약

이 논문은 인공지능 계획 분야에서 지식 기반 프로그램(KBPs)과 전통적 계획 간의 관계를 체계화하며, KBP가 표준 계획보다 지수적으로 더 압축된 표현을 가능하게 하되, 실행 시 계산 비용이 더 높다는 점을 입증한다. 이는 KBP가 행동 정책의 압축 표현으로서 이론적 기반을 마련하며, 지수적 압축 격차를 입증하고, 지식이 불완전한 상황에서 계획 존재성의 계산 복잡도를 분석한다.

ABSTRACT

Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly overlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more on-line computation time. Here we make this argument formal, and prove that there exists an exponential succinctness gap between knowledge-based programs and standard plans. Then we address the complexity of plan existence. Some results trivially follow from results already known from the literature on planning under incomplete knowledge, but many were unknown so far.

연구 동기 및 목표

• 지식 기반 프로그램(KBPs)과 표준 계획 간의 동치성을 인공지능 계획 분야에서 체계화하는 것.
• 계획 표현에서 압축성과 계산 효율성 간의 상호 교환 관계를 조사하는 것.
• 지식이 불완전한 상황에서 유효한 계획이 존재하는지 판단하는 문제의 복잡도를 분석하는 것.
• KBPs와 표준 계획 간의 압축 격차에 대한 이론적 한계를 설정하는 것.
• 불확실성 하에서 계획을 수행할 때 KBP를 고수준 행동 정책으로 사용하기 위한 형식적 프레임워크를 제공하는 것.

제안 방법

• 에이전트의 지식 상태에 기반해 행동을 지시하는 프로토콜로 KBP를 체계화하는 것.
• 모든 KBP가 등가의 표준 계획과 대응되며, 그 반대도 성립함을 증명하여 이중사상 관계를 확립하는 것.
• 논리적 및 계산 복잡도 기법을 활용해 KBP 표현의 크기와 표준 계획 간의 크기를 비교하는 것.
• 지식이 불완전한 상황에서 계획 존재 문제의 복잡도를 분석하며, 기존의 계획 및 지식 논리 분야의 결과를 활용하는 것.
• KBP가 표준 계획 대비 지수적 압축을 달성할 수 있음을 입증하는 것.
• TARK 2013의 결과와 이전의 지식이 불완전한 계획에 관한 문헌을 활용해 새로운 복잡도 한계를 도출하는 것.

실험 결과

연구 질문

• RQ1 지식 기반 프로그램은 표준 계획보다 더 압축적으로 계획을 표현할 수 있으며, 만약 그렇다면 어느 정도의 압축이 가능한가?
• RQ2 표준 계획 대비 KBP를 실행할 때의 계산 비용은 어떻게 되는가?
• RQ3 특히 KBP 표현을 사용할 경우, 지식이 불완전한 상황에서 계획이 존재하는지 판단하는 문제의 복잡도는 무엇인가?
• RQ4 KBPs와 표준 계획 간의 표현력과 크기 측면에서 형식적인 관계가 존재하는가?
• RQ5 KBPs는 지식이 불완전한 상황에서 정확성을 유지하면서 계획 표현의 크기를 어느 정도 줄일 수 있는가?

주요 결과

• 지식 기반 프로그램과 표준 계획 간에 지수적 압축 격차가 존재하며, 이는 KBP가 동일한 계획을 지수적으로 더 적은 문자로 표현할 수 있음을 의미한다.
• KBP의 표현은 표준 계획보다 더 압축되어 있지만, 실행 시 더 많은 온라인 계산 시간이 소요된다.
• 지식이 불완전한 상황에서 계획 존재성의 복잡도가 체계적으로 분석되었으며, 일부 결과는 기존의 계획 및 지식 논리 분야의 연구에서 유도되었다.
• 이 논문은 KBP가 표준 계획과 의미적으로 동치일 뿐 아니라 행동 정책에 대한 더 압축된 표현을 제공한다는 점을 입증한다.
• 이론적 프레임워크는 KBP가 인공지능 계획에서 표준 계획의 고수준이고 압축된 대안이 될 수 있음을 확인한다.
• 형식적 증명과 기존 문헌, 특히 TARK 2013 및 관련된 지식이 불완전한 계획 연구와의 연결을 통해 결과들이 뒷받침된다.