[논문 리뷰] Modeling Ambiguity in a Multi-Agent System

Christof Monz|ArXiv.org|2000. 09. 19.

Multi-Agent Systems and Negotiation참고 문헌 7인용 수 4

한 줄 요약

이 논문은 Kripke 구조와 Grice의 원칙에 기반한 TELL 함수를 사용하여 다중 에이전트 커뮤니케이션의 모호성에 대해 모델링하며, 모호한 발화가 에이전트 간 상호 지식에 미치는 영향을 형식적으로 분석할 수 있도록 한다. 이는 의미적 모호성과 인지된 모호성 간의 차이를 구분하고, 논리적 동치일지라도 배타적 조건문과 모호한 표현 간의 정보 업데이트 역학에서의 차이를 보여준다.

ABSTRACT

This paper investigates the formal pragmatics of ambiguous expressions by modeling ambiguity in a multi-agent system. Such a framework allows us to give a more refined notion of the kind of information that is conveyed by ambiguous expressions. We analyze how ambiguity affects the knowledge of the dialog participants and, especially, what they know about each other after an ambiguous sentence has been uttered. The agents communicate with each other by means of a TELL-function, whose application is constrained by an implementation of some of Grice's maxims. The information states of the multi-agent system itself are represented as a Kripke structures and TELL is an update function on those structures. This framework enables us to distinguish between the information conveyed by ambiguous sentences vs. the information conveyed by disjunctions, and between semantic ambiguity vs. perceived ambiguity.

연구 동기 및 목표

• 모호한 표현의 의사소통적 영향을 형식화하는 것.
• 에이전트가 모호한 발화를 听은 후 지식 상태를 어떻게 업데이트하는지 모델링하는 것.
• 대화 맥락에서 의미적 모호성과 인지된 모호성 간의 차이를 구분하는 것.
• 모호성이 상호 지식(에이전트가 서로의 지식에 대해 아는 바)에 미치는 영향을 분석하는 것.
• 모호한 표현과 배타적 조건문 간의 정보적 영향을 대비하는 것.

제안 방법

• 에이전트의 지식 상태를 Kripke 구조로 표현하여 지식 이론적 지식을 모델링하는 것.
• 커뮤니케이션을 시뮬레이션하기 위해 Kripke 구조에 대한 업데이트 메커니즘으로 TELL 함수를 정의하는 것.
• 합리적인 커뮤니케이션을 반영하기 위해 Grice의 대화 원칙의 이행을 TELL 함수에 제약 조건으로 적용하는 것.
• 형식적 의미론을 사용하여 의미적 모호성(다중 의미)과 인지된 모호성(의도된 의미에 대한 불확실성)을 구분하는 것.
• 모호한 발화가 지식 상태에 미치는 영향이 배타적 조건문과 어떻게 다를지 분석하는 것.
• 다이나믹 지식 논리(Dynamic Epistemic Logic)를 적용하여 모호한 커뮤니케이션 이후 지식의 진화를 모델링하는 것.

실험 결과

연구 질문

• RQ1 모호한 발화는 다중 에이전트 시스템의 에이전트 지식 상태에 어떻게 영향을 미치는가?
• RQ2 정보 업데이트 측면에서 의미적 모호성과 인지된 모호성 간의 차이는 무엇인가?
• RQ3 모호한 발화가 발표된 후 에이전트들은 어떻게 다른 이들이 무엇을 안다는 것을 알게 되는가?
• RQ4 TELL 함수는 모호한 표현과 배타적 조건문에 대해 지식 구조를 어떻게 다르게 업데이트하는가?
• RQ5 이 프레임워크에서 Grice의 원칙은 모호한 표현의 해석과 커뮤니케이션을 어떻게 제약하는가?

주요 결과

• 논리적으로 동치일지라도, 모호한 표현은 배타적 조건문보다 정보가 더 정확도가 떨어진다.
• 이 프레임워크는 의미적 모호성(다중 의미)과 인지된 모호성(의도된 의미에 대한 불확실성)을 명확히 구분한다.
• 모호한 발화 이후 에이전트들은 서로의 믿음에 대해 동일한 지식을 공유하지 않을 수 있으며, 이는 지식적 불확실성을 초래한다.
• TELL 함수는 합리적이고 Grice적인 커뮤니케이션을 반영하는 방식으로 Krippe 구조를 업데이트하며, 대화 규범과 일관성을 유지한다.
• 모델은 상호 지식이 정보 상태의 구조와 커뮤니케이션 프로토콜에 따라 달라진다는 점을 보여준다.
• 배타적 조건문은 모호한 표현보다 더 명확한 지식 업데이트를 이끈다. 왜냐하면 배타적 조건문은 명시적으로 대안적 의미를 제시하기 때문이다.