[논문 리뷰] Automatic Belief Revision in SNePS

Stuart C. Shapiro, Frances L. Johnson|ArXiv.org|2000. 03. 06.

Bayesian Modeling and Causal Inference참고 문헌 12인용 수 11

한 줄 요약

이 논문은 SNePS 2.6에서 자동 신념 수정을 제안하며, 신념 간 모순을 탐지하고 사용자 간섭 없이 해결할 수 있도록 한다. 특히, 제거할 신념이 명확하게 유일한 경우에 한하여 이를 지원한다. 기존의 ATMS 스타일의 신념 수축 기능을 확장하여, 불일치하는 신념 상태를 자동으로 처리함으로써 통합된 추론과 행동을 통해 인공지능 에이전트의 강건성을 향상시킨다.

ABSTRACT

SNePS is a logic- and network- based knowledge representation, reasoning, and acting system, based on a monotonic, paraconsistent, first-order term logic, with compositional intensional semantics. It has an ATMS-style facility for belief contraction, and an acting component, including a well-defined syntax and semantics for primitive and composite acts, as well as for ``rules'' that allow for acting in support of reasoning and reasoning in support of acting. SNePS has been designed to support natural language competent cognitive agents. When the current version of SNePS detects an explicit contradiction, it interacts with the user, providing information that helps the user decide what to remove from the knowledge base in order to remove the contradiction. The forthcoming SNePS 2.6 will also do automatic belief contraction if the information in the knowledge base warrents it.

연구 동기 및 목표

• 지식 기반 내에서 모순이 발생할 경우 SNePS가 자동 신념 수정을 수행할 수 있도록 하는 것.
• 모순되는 가설의 선택과 제거를 자동화하여 사용자의 불일치된 신념 상태 관리 부담을 줄이는 것.
• 신념 수정을 SNePS의 기존 추론 및 행동 구성 요소와 원활하게 통합하여 지능형 에이전트를 위한 일관된 프레임워크를 제공하는 것.
• 정합성 제약 조건과 신념 수정 공리계를 체계적으로 적용하여 추론이 열린 신념 공간을 지원하는 것.
• 논리적이고 네트워크 기반의 의도적 지식 표현 체계 내에서 신념 수정을 구현함으로써, 신념 수정 분야의 최첨단 수준을 향해 나아가는 것.

제안 방법

• 지식 기반 내의 모순을 탐지하기 위해 SNePS의 기존 ATMS 스타일의 신념 수축 메커니즘을 활용한다.
• 시스템이 유일하게 불일치 원인으로 지목되는 신념만을 발견할 경우, 자동으로 가설을 제거한다.
• 선택이 명확한 경우, 가장 지원이 약한 또는 가장 명백하게 모순되는 신념을 제거하는 신념 수정 알고리즘을 사용한다.
• 수정으로 인해 더 이상 지지되지 않는 특정 신념과 다른 신념들에 대해 사용자에게 알린다.
• 신념 수정을 SNePS의 행동 구성 요소와 통합하여, 수정된 일관된 신념 상태에 기반한 동작 계획 수립이 가능하게 한다.
• 조합적 의도적 의미론을 갖춘 포라컨시스턴트, 일阶항 논리 기반의 term 논리를 사용하여 신념을 표현하고 추론한다.

실험 결과

연구 질문

• RQ1 지능형 에이전트의 지식 기반 내에서 모순이 발생할 경우, 어떻게 자동으로 신념 수정을 수행할 수 있는가?
• RQ2 사용자 입력 없이도, 어떤 조건에서 시스템이 불일치 집합에서 어떤 신념을 제거할지 결정할 수 있는가?
• RQ3 어떻게 추론과 행동을 통합된 의미론적으로 일관된 프레임워크 내에서 신념 수정과 통합할 수 있는가?
• RQ4 추론이 열린, 의도적인 신념 공간에서 신념 수정을 구현하기 위한 설계 원칙은 무엇인가?
• RQ5 자동 신념 수정은 지능형 에이전트 행동의 일관성과 통합성에 어떤 영향을 미치는가?

주요 결과

• SNePS 2.6는 모순되는 신념이 명확하게 특정 가능할 경우 자동으로 신념 수축을 수행할 수 있으며, 사용자 간섭을 줄인다.
• 시스템은 제거된 특정 신념과 수정으로 인해 더 이상 지지되지 않는 다른 신념들에 대해 사용자에게 알린다.
• 자동 신념 수정은 SNePS의 행동 구성 요소와 통합되어, 수정된 일관된 신념 상태에 기반한 일관된 행동 계획 수립을 가능하게 한다.
• 재귀 규칙을 사용한 추론도 무한 루프 없이 유지하며, 신념 수정 중 시스템의 안정성을 확보한다.
• 최대 약 1,000개의 SNePS term을 포함한 지식 기반을 처리할 수 있으며, 최적화 및 빠른 하드웨어 덕분에 이전 버전 대비 성능 향상이 이루어졌다.
• SNePS 2.6는 실시간으로 신념 상태를 자가 수정할 수 있는 완전 자율 지능형 에이전트로 나아가는 데 있어 중요한 단계를 이룬다.