Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

Planning with Dynamically Changing Domains

Created by
  • Haebom

저자

Mikhail Soutchanski, Yongmei Liu

개요

본 논문은 고전적 계획 및 준수 계획에서 전제되는 도메인 폐쇄 가정(DCA)의 한계를 극복하기 위해, 객체의 동적 생성 및 소멸을 허용하는 계획 문제를 제시합니다. 일계 논리 기반으로 계획 문제를 공식화하고, 초기 이론을 유한한 일관된 술어 리터럴 집합으로 가정하여 모든 상황에서 유한한 가능한 행동만 존재하도록 합니다. 계획 길이에 유한한 정수 제한을 두고, 계획 시점에 접지된 행동 순서에 대한 탐색을 제안하며, 해당 접근 방식의 정확성과 완전성을 증명합니다. 본 연구는 감지 행동이 없는 순차적 일반화 계획과 준수 계획의 교집합에 속하는, 술어 리터럴에 대한 disjunction이 없는 제한된 DCA 없는 유한 계획 문제를 해결하는 데 사용될 수 있으며, 개념 증명 구현을 논의합니다.

시사점, 한계점

•
시사점:
◦
도메인 폐쇄 가정(DCA)에 의존하지 않는 새로운 계획 문제 공식화 제시
◦
객체의 동적 생성 및 소멸을 고려하는 계획 문제 해결 가능성 제시
◦
제안된 접근 방식의 정확성과 완전성 증명
◦
개념 증명 구현을 통해 실제 적용 가능성을 시사
•
한계점:
◦
계획 길이에 대한 유한한 정수 제한 필요
◦
술어 리터럴에 대한 disjunction이 없는 경우에만 적용 가능
◦
감지 행동이 없는 순차적 일반화 계획과 준수 계획의 교집합 내에서만 적용 가능
◦
개념 증명 구현 수준으로 실제 복잡한 문제에 대한 성능 및 확장성은 추가 검증 필요
👍
Made with Slashpage