[논문 리뷰] Pruning Search Space in Defeasible Argumentation

Carlos Iván Chesñevar, Guillermo Ricardo Simari외 1명|arXiv (Cornell University)|2004. 05. 27.

Multi-Agent Systems and Negotiation참고 문헌 6인용 수 11

한 줄 요약

이 논문은 두 가지 메커니즘을 통해 탐색 공간을 단순화함으로써 열쇠적 논증 시스템을 최적화하는 방법을 제안한다: 패배 평가를 위한 핵심 리터럴 식별과 충돌하는 논증 생성을 제한하는 의사소통 제약 적용. 이 접근법은 목표 논증과 공유 기반을 최대화하는 패배자 우선순위를 부여함으로써 논증 기반 추론의 계산 오버헤드를 줄이며, 더 효율적인 의사소통 트리 구축을 이끈다.

ABSTRACT

Defeasible argumentation has experienced a considerable growth in AI in the last decade. Theoretical results have been combined with development of practical applications in AI & Law, Case-Based Reasoning and various knowledge-based systems. However, the dialectical process associated with inference is computationally expensive. This paper focuses on speeding up this inference process by pruning the involved search space. Our approach is twofold. On one hand, we identify distinguished literals for computing defeat. On the other hand, we restrict ourselves to a subset of all possible conflicting arguments by introducing dialectical constraints.

연구 동기 및 목표

• 열쇠적 논증 시스템에서 의사소통 추론의 높은 계산 비용을 해결하기 위해.
• 논증 과정에서 관련된 충돌 포인트에 집중함으로써 탐색 공간의 크기를 줄이기 위해.
• 패배자 선택을 위한 우선순위 기준을 도입함으로써 논증 선 생성의 효율성을 향상시키기 위해.
• 목표 지향적 공격 탐지 및 공유 기반 분석을 통해 열쇠적 논리 프로그래밍(DeLP)의 확장 가능한 구현을 가능하게 하기 위해.

제안 방법

• 논문은 공격 대상 논증과 공유되는 기초 리터럴을 기반으로 패배자가 목표 논증을 차단할 수 있는지 평가하는 목표 지향적 공격 탐지 메커니즘을 도입한다.
• 공유 기반 개념을 사용하여 패배자에 대한 우선순위 순서를 정의하며, 공격된 논증과 더 많은 리터럴을 공유하는 패배자가 우선순위가 높아진다.
• 논증 선의 공유 기반에 포함된 보완 리터럴의 포함 여부를 바탕으로 평가 순서 $\preceq_{\text{eval}}$를 형식화한다.
• 각 단계에서 고려되는 가능한 패배자의 집합을 제한함으로써 의사소통 제약을 적용하여 충돌하는 논증의 생성을 제한한다.
• 이 방법은 엄격한 규칙과 일시적인 규칙을 활용하여 논증과 그 충돌을 효율적으로 계산하는 DeLP 프레임워크에 통합된다.
• 공유 기반에 기반한 가지치기를 사용하는 후행 추론 알고리즘을 통해 관련성이 낮은 논증 경로 탐색을 피한다.

실험 결과

연구 질문

• RQ1 논증의 완전성을 훼손하지 않으면서 열쇠적 논증의 탐색 공간을 어떻게 줄일 수 있는가?
• RQ2 의사소통 트리 구축 과정에서 패배자를 우선순위화하기 위해 어떤 기준을 사용할 수 있는가?
• RQ3 논증 간의 공유 기반을 어떻게 형식적으로 정의하고 탐색 가지치기를 이끄는 데 사용할 수 있는가?
• RQ4 목표 지향적 공격 탐지는 논증 시스템의 확장성에 어떻게 기여하는가?
• RQ5 의사소통 제약은 추론 과정에서 고려되는 충돌하는 논증의 수를 줄이는데 적용될 수 있는가?

주요 결과

• 제안된 평가 순서 $\preceq_{\text{eval}}$는 공격된 논증과 더 많은 기초 리터럴을 공유하는 패배자를 먼저 탐색함으로써 부작위적 탐색을 줄인다.
• 최대 공유 기반을 가진 패배자를 우선순위로 삼음으로써 평균적으로 더 짧은 논증 선을 도출하여 탐색 효율성을 향상시킨다.
• 의사소통 제약를 통해 가능한 충돌하는 논증의 집합을 제한함으로써 이 방법은 탐색 공간의 큰 부분을 효과적으로 단순화한다.
• 모든 논증 쌍 간의 일관성 검사를 완전히 피하므로 DeLP의 더 효율적인 구현이 가능해진다.
• 더 큰 예제에서의 실증 결과는 가지치기 전략이 정당화 과정 중 탐색하는 논증 선의 수를 상당히 줄임을 보여준다.
• 공유 기반을 우선순위 기준으로 사용함으로써 계산 복잡도를 증가시키지 않으면서도 경량적이면서 효과적인 논증 탐색 유도 메커니즘이 가능하다.