[논문 리뷰] DPOCL: A Principled Approach to Discourse Planning

R. Michael Young, Johanna D. Moore|ArXiv.org|1994. 06. 10.

Multi-Agent Systems and Negotiation인용 수 30

한 줄 요약

DPOCL는 의도적 구조와 정보적 구조를 명시적으로 표현하는 공리적이고 완전한 논의 계획 프레임워크를 제안한다. 부분순서, 인과적 연결(POCL) 계획법에 분해 연산자를 확장함으로써 DPOCL는 언어 사용에 대한 의도적 영향, 부작용, 지식 기반 제약 조건을 정밀하게 모델링할 수 있으며, 이는 의사소통 실패에 대한 강건한 대응과 계획 생성 능력의 공리적 특성화를 보장한다.

ABSTRACT

Research in discourse processing has identified two representational requirements for discourse planning systems. First, discourse plans must adequately represent the intentional structure of the utterances they produce in order to enable a computational discourse agent to respond effectively to communicative failures \cite{MooreParisCL}. Second, discourse plans must represent the informational structure of utterances. In addition to these representational requirements, we argue that discourse planners should be formally characterizable in terms of soundness and completeness.

연구 동기 및 목표

• 기존의 논의 계획 시스템에서 공리적 특성화의 부족으로 인해, 수단적 알고리즘 설계로 인해 올바른 또는 완전한 계획을 생성하지 못하는 문제를 해결하기 위해.
• 논의 계획자가 언어 표현의 의도적 영향과 부작용을 공리적으로 구분할 수 있도록 하여 의사소통 실패에 적절히 대응할 수 있도록 보장하기 위해.
• 의도 외에 정보적 구조—즉, 도메인 지식이 논의에서 언어 사용에 미치는 제약 조건—를 명시적이고 공리적으로 표현함으로써 의도를 넘어서는 것을 위해.
• 논리적 또는 추론적 관계를 통해 명제가 어떻게 지지될 수 있는지를 모델링하는 분해 연산자를 POCL 계획법에 통합하기 위해.
• DPOCL가 생성할 수 있는 논의 계획의 유형을 특성화하고, 타당성 및 완전성과 같은 공리적 성질을 포함한 그 성질을 규명하기 위해.

제안 방법

• DPOCL는 부분순서, 인과적 연결(POCL) 계획법을 확장하여 의도적 및 정보적 구조를 명시적으로 표현하는 계층적 논의 계획을 모델링한다.
• 분해 연산자를 도입하여, 도메인 지식과 추론적 관계를 바탕으로 추상적 논의 행동이 하위 계획을 통해 어떻게 실현될 수 있는지를 제약 조건으로 표현한다.
• 의도적 구조는 행동의 의도적 영향(목표)과 부작용(의도하지 않은 결과)을 구분함으로써 공리적으로 표현된다.
• 정보적 구조는 분해 연산자에 대한 제약 조건을 통해 표현되며, 예를 들어 명제 간의 '원인' 관계는 분해가 적용되기 위해 반드시 충족되어야 한다.
• 계획 생성 과정에서 제약 조건의 일관성을 검사하고 위반이 발생할 경우 백트래킹을 수행함으로써 계획의 타당성을 보장한다.
• 타당성 및 원시 완전성과 같은 공리적 성질이 증명되어 있으며, 이는 계획자 기능과 한계를 정확하게 특성화할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 논의 계획 시스템은 어떻게 언어 표현의 의도적 영향과 부작용을 공리적으로 구분하여 의사소통 실패에 효과적으로 대응할 수 있는가?
• RQ2 논의 계획자가 신뢰성 있고 예측 가능한 계획 생성을 보장하기 위해 필요한 공리적 성질—예를 들어 타당성과 완전성—는 무엇인가?
• RQ3 논의 계획에서 명제 간의 인과적 또는 추론적 관계와 같은 정보적 구조는 어떻게 명시적으로 표현하고 강제할 수 있는가?
• RQ4 논의 계획자가 가능한 모든 유효한 논의 계획을 얼마나 넓은 범위로 생성할 수 있으며, 그 완전성의 한계는 무엇인가?
• RQ5 분해 연산자는 어떻게 설계되어 도메인 지식을 통합하여 논의에서 적절한 언어 사용을 제약할 수 있는가?

주요 결과

• DPOCL는 공리적으로 타당하여 생성하는 모든 계획이 지정된 제약 조건을 충족함을 보장한다.
• 일부 논의 계획 유형에 대해서는 DPOCL는 완전성도 확보하여 유효한 실행 가능한 행동 순서를 모두 생성할 수 있다.
• DPOCL는 두 개의 추상적 행동이 교차하는 하위 계획이 갈등을 해결할 수 있는 경우에도 상호 간의 순서를 정해 충돌을 피하기 위해 계획을 생성하지 못함을 보여주며, 이는 완전성 측면에서의 한계를 시사한다.
• 의도적 및 정보적 구조를 명시적으로 표현함으로써 시스템은 의도적 영향과 부작용을 구분할 수 있으며, 이는 의사소통 실패에 대한 적절한 대응을 가능하게 한다.
• 정보적 제약 조건은 계획의 의도적 구조와 독립적으로 분해 연산자의 조건으로 공리적으로 코딩되어 있으며, 이는 모듈성과 재사용성을 보장한다.
• DPOCL의 행동을 공리적으로 특성화함으로써 생성 가능한 논의 계획의 유형을 정확히 기술할 수 있게 되었으며, 이는 이전의 논의 계획 시스템에서 부재했던 능력이다.