계획 존재 문제에 대한 불가결성 증명
요약
본 기사는 주어진 목표와 초기 지식 상태, 그리고 일련의 지식 행동이 주어졌을 때, 해당 목표에 도달할 수 있는 행동 순열의 존재 여부를 묻는 '계획 존재 문제'를 다룹니다. 연구진은 특히 지식 행동의 전제 조건의 모달 깊이가 1 이하이고 후건이 없는 경우에도 이 문제가 불가결(undecidable)함을 증명했습니다.
핵심 포인트
- 계획 존재 문제는 목표, 초기 지식 상태, 그리고 지식 행동 집합을 입력으로 받습니다.
- 연구는 지식 행동의 전제 조건 모달 깊이가 1 이하이고 후건이 없는 경우에도 문제가 불가결함을 증명했습니다.
- 이는 이전에 알려지지 않았던 계획 존재 문제의 (불)가결성 결과입니다.
계획 존재 문제(plan existence problem)는 주어진 목표가 모달 논리(modal logic)의 공식으로 표현되고, 초기 지식 상태(pointed Kripke model)와 일련의 지식 행동(epistemic actions) 집합이 주어졌을 때, 목표를 도달하기 위해 적용할 수 있는 행동 순열이 존재하는지 여부를 묻는 문제입니다. 우리는 지식 행동의 전제 조건(preconditions)의 모달 깊이(modal depth)가 1 이하이고 후건(postconditions)이 없는 경우에도 계획 존재 문제가 불가결(undecidable)함을 증명합니다. 이 문제의 (불)가결성은 이전에 알려지지 않았습니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.AI의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기2