동작 이론 진화: 최소 변화와 모델 기반 수축·수정

본 논문은 명제적 동적 논리(PDL)에서 행동 이론을 수정·수축하는 새로운 의미론과 구문적 연산자를 제시한다. 최소 변화 원리를 모델 간 거리 개념으로 정의하고, 알고리즘의 정당성을 증명하며, 전통적 변화 공리와의 관계를 평가한다. 또한 수축 연산을 기반으로 한 이론 수정 방법도 제시한다.

저자: Ivan Varzinczak

논문은 먼저 행동 이론 변화의 필요성을 소개한다. 동적 환경에서 에이전트가 행동에 대한 믿음을 지속적으로 업데이트해야 하는 상황을 커피 머신 예시로 설명하고, 기존의 믿음 변화 연구가 주로 정적 지식베이스에 국한돼 있었으며, 행동 법칙에 대한 변화는 충분히 다루어지지 않았음을 지적한다. 이를 바탕으로 명제적 동적 논리(PDL)를 기반으로 한 행동 이론의 형식적 정의를 제시한다. 행동 이론은 정적 법칙(세계 상태에 대한 부울식), 효과 법칙(전제 →