[논문 리뷰] Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories

Thomas Eiter, Thomas Lukasiewicz|arXiv (Cornell University)|2012. 10. 19.

Logic, Reasoning, and Knowledge참고 문헌 20인용 수 40

한 줄 요약

이 논문은 상태 간의 확률적 전이를 사용하여 확률적이고 비결정적인 영향을 갖는 행동을 모델링하는 행동 언어 {cal C}+의 확률적 확장인 {m P}{cal C}+를 소개한다. 역사와 믿음 상태를 통한 행동에 대한 추론을 형식화함으로써, 불확실성 하에서 비단조화적 인과 추론의 핵심 문제들을 간결하게 기술할 수 있으며, 행동 이론에서의 불확실성 처리를 위한 통합적 프레임워크라는 주요 기여를 한다.

ABSTRACT

We present the language {m P}{cal C}+ for probabilistic reasoning about actions, which is a generalization of the action language {cal C}+ that allows to deal with probabilistic as well as nondeterministic effects of actions. We define a formal semantics of {m P}{cal C}+ in terms of probabilistic transitions between sets of states. Using a concept of a history and its belief state, we then show how several important problems in reasoning about actions can be concisely formulated in our formalism.

연구 동기 및 목표

• 실제 세계의 불확실성을 모델링하는 데에 한계가 있는 결정론적 행동 언어의 문제를 해결하기 위해.
• 행동 언어 {cal C}+를 확률적이고 비결정적인 행동 영향을 다룰 수 있도록 확장하기 위해.
• 확률적 전이를 사용하여 불확실성 하에서 행동에 대한 추론을 위한 형식적 의미 이론을 제공하기 위해.
• 불확실한 인과 환경에서의 계획, 진단, 예측과 같은 추론 문제들을 간결하게 기술할 수 있도록 하기 위해.
• 믿음 상태와 역사를 통합된 프레임워크로 통합하여 확률적 행동 추론을 가능하게 하기 위해.

제안 방법

• {m P}{cal C}+를 제안하여 {cal C}+에 확률적 행동 영향을 추가한 형식 언어로 확장한다.
• 행동 결과의 불확실성을 반영하는 상태 집합 간의 확률적 전이를 기반으로 한 의미 이론을 정의한다.
• 행동과 그 결과의 순서로 이루어진 역사를 역사로 정의하고, 관련 믿음 상태를 도입한다.
• 실행된 행동 이후 현재 상태에 대한 에이전트의 불확실한 지식을 표현하기 위해 믿음 상태를 사용한다.
• 제안된 형식론을 사용하여 계획, 예측, 진단과 같은 추론 과제를 기술한다.
• 비단조화적 인과 추론을 활용하여 불확실한 행동 순서에서의 기본 가정과 예외를 다룰 수 있도록 한다.

실험 결과

연구 질문

• RQ1 비단조화적 인과 프레임워크 내에서 행동의 확률적이고 비결정적인 영향을 어떻게 형식적으로 모델링할 수 있는가?
• RQ2 결과가 불확실하고 다수의 가능한 상태 전이를 포함할 수 있을 경우, 행동에 대한 추론을 위한 적절한 의미 이론은 무엇인가?
• RQ3 믿음 상태와 역사는 불확실성 하에서 행동 실행 중 에이전트의 지식을 어떻게 표현하고 갱신하는 데 사용될 수 있는가?
• RQ4 계획 및 진단과 같은 핵심 추론 문제들이 통합된 확률적 행동 언어 내에서 효과적으로 기술될 수 있는가?
• RQ5 제안된 프레임워크는 확률적 행동 영향이 존재하는 상황에서 예외와 기본 가정을 어떻게 다루는가?

주요 결과

• 언어 {m P}{cal C}+는 {cal C}+를 단일 형식론 내에서 확률적이고 비결정적인 행동 영향을 다룰 수 있도록 성공적으로 일반화한다.
• 상태 집합 간의 확률적 전이는 불확실한 행동 결과를 모델링하는 데 있어 타당하고 직관적인 의미 이론을 제공한다.
• 역사와 믿음 상태의 사용은 불확실성 하에서 에이전트의 지식 변화를 효과적으로 표현할 수 있도록 한다.
• 계획, 예측, 진단과 같은 핵심 추론 과제들은 제안된 프레임워크를 통해 간결하게 기술될 수 있다.
• 형식론은 비단조화적 추론을 지원하여 불확실한 행동 순서에서 기본 가정과 예외 처리가 가능하다.
• 이 접근은 체계적으로 기반을 두고 있으며, 인과적 종속성이 있는 행동 이론에 확률적 추론을 통합하기 위한 기초를 제공한다.