[논문 리뷰] FO(C): A Knowledge Representation Language of Causality

Bart Bogaerts, Joost Vennekens외 2명|arXiv (Cornell University)|2014. 05. 08.

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

한 줄 요약

이 논문은 C-Log를 통해 인과적 추론 능력을 갖춘 일阶논리의 확장인 FO(C)를 소개한다. 이는 동적 비결정적 선택, 객체 생성, 인과관계의 재귀적 중첩을 가능하게 하며, 인과 논리와 일阶논리의 통합된 형식적 체계를 제공함으로써, 간섭 하에서 유일한 최종 상태를 보장하고 잘 정의된 의미론에 기반한 복잡한 인과 시스템의 표현을 가능하게 한다.

ABSTRACT

Cause-effect relations are an important part of human knowledge. In real life, humans often reason about complex causes linked to complex effects. By comparison, existing formalisms for representing knowledge about causal relations are quite limited in the kind of specifications of causes and effects they allow. In this paper, we present the new language C-Log, which offers a significantly more expressive representation of effects, including such features as the creation of new objects. We show how C-Log integrates with first-order logic, resulting in the language FO(C). We also compare FO(C) with several related languages and paradigms, including inductive definitions, disjunctive logic programming, business rules and extensions of Datalog.

연구 동기 및 목표

• 기존의 인과 논리 형식 체계가 복잡한 원인과 결과, 특히 객체 생성과 비결정성을 표현하는 데에 한계가 있음을 해결하기 위해.
• CP-논리에 동적 비결정적 선택과 인과 규칙의 재귀적 중첩을 확장하기 위해.
• 인과 논리를 일阶논리와 통합하여 지식 기반 시스템에 적합한 통합된 언어인 FO(C)를 만들기 위해.
• 간섭 하에서도 비결정적 규칙이 존재하더라도 최종 상태가 유일함을 보장하는 C-Log의 형식적 의미론을 제공하기 위해.
• 다양한 패러다임, 예를 들어 비결정적 논리 프로그래밍, Datalog 확장, 비즈니스 규칙 등을 공통의 인과적 프레임워크 아래 통합하기 위해.

제안 방법

• C-Log는 CP-논리의 확장으로 정의되며, 확률적 또는 비확률적 선택을 허용하는 선택 규칙을 통해 동적 비결정적 선택을 통합한다.
• C-Log의 인과 규칙은 머리부분에서 존재기호를 허용하여 새로운 객체나 실체의 생성을 가능하게 하며, 이를 Cnew-표현식으로 모델링한다.
• C-Log의 의미론은 잘 정의된 모델 이론과 안정 모델 이론에 기반하여, 비결정성에도 불구하고 일관되고 유일한 최종 상태를 보장한다.
• C-Log를 일阶논리와 통합함으로써, 외생 및 내생 술어를 포함하는 일阶논리적 프레임워크 내에 인과 규칙을 통합한 FO(C)를 구성한다.
• 형식적 의미론은 두 단계 과정에 기반한다: 먼저 선택을 忽略한 기본 모델을 계산하고, 그 다음 기능적 의존성과 일관성 제약 조건에 따라 선택을 해결한다.
• 이 방법은 상호 작용하는 기어의 회전과 같은 재귀적 인과적 의존성을 지원하며, 외생 해석이 주어진 경우 최종 상태가 항상 유일함을 보장한다.

실험 결과

연구 질문

• RQ1 인과 논리는 어떻게 동적 비결정적 선택과 인과관계의 재귀적 중첩을 지원할 수 있는가?
• RQ2 비결정성과 객체 생성을 지원하면서도 간섭 하에서 최종 상태가 유일함을 보장하는 인과 언어의 형식적 의미론은 무엇인가?
• RQ3 인과 논리는 어떻게 일阶논리와 통합되어 통합된 지식 표현 언어를 형성할 수 있는가?
• RQ4 FO(C)는 비결정적 논리 프로그래밍, Datalog 확장, 비즈니스 규칙 등의 다양한 패러다임을 어떻게 통합하는가?
• RQ5 어떤 조건에서 인과 이론이 비결정적 또는 존재기호를 포함한 Datalog 프로그램과 대응하는가?

주요 결과

• FO(C)는 인과 규칙의 머리부분에서 존재기호를 통해 새로운 객체의 생성을 지원하여, 한 국가의 대통령과 같은 파생 실체를 모델링할 수 있다.
• 동적 선택 메커니즘을 통해 비결정적 선택을 처리함으로써, 각 원인이 여러 가능한 영향을 낳을 수 있지만, 간섭 하에서는 최종 상태가 항상 유일함을 유지한다.
• C-Log의 형식적 의미론은 비결정성에도 불구하고, 외생 원소의 해석이 주어지면 도달하는 최종 상태가 항상 유일함을 보장한다.
• 서로 작용하는 기어의 회전과 같은 재귀적 인과적 의존성을 가진 인과 규칙은 정확히 모델링되고 무한 루프나 모호함 없이 해결된다.
• C-Log를 일阶논리와 통합함으로써, CP-논리나 Datalog 확장과 같은 기존 형식 체계를 포함하고 일반화하는 일관되고 표현력 있는 언어가 도출된다.
• 이 방법은 인과 모델의 모듈러하고 간결한 표현을 가능하게 하여, 반시제적 추론에 있어 구조적 모델보다 표현력과 모듈성 면에서 뛰어나다.