[논문 리뷰] A prototype of a knowledge-based programming environment

Stef De Pooter, Johan Wittocx외 1명|arXiv (Cornell University)|2011. 08. 29.

Logic, Reasoning, and Knowledge참고 문헌 5인용 수 6

한 줄 요약

이 논문은 선언적 배경 지식, 명령형 절차, 구체적인 데이터 구조를 다중 추론 작업을 통해 통합하는 지식 기반 프로그래밍 환경인 declimp를 제안한다. 어휘, 이론, 구조를 일급 엔티티로 간주함으로써 모델 확장, 제약 조건 해결, 시각화를 포함한 탄력적이고 모듈화된 프로그래밍을 가능하게 하여, 스도쿠 퍼즐 생성과 같은 복잡한 응용 프로그램에서 코드의 유지보수성과 재사용성에 상당한 기여를 한다.

ABSTRACT

In this paper we present a proposal for a knowledge-based programming environment. In such an environment, declarative background knowledge, procedures, and concrete data are represented in suitable languages and combined in a flexible manner. This leads to a highly declarative programming style. We illustrate our approach on an example and report about our prototype implementation.

연구 동기 및 목표

• 단일 파라다임 프로그래밍의 한계를 극복하기 위해 절차적 논리, 선언적 지식, 데이터를 별개의 구성 요소로 분리하고 상호 조합이 가능하도록 하는 것.
• 모델 생성, 제약 조건 해결, 모델 검증과 같은 다양한 추론 작업을 통합된 환경 내에서 지원함으로써 탄력적인 추론을 가능하게 하는 것.
• 각 정보 유형(지식, 데이터, 절차)이 가장 적합한 언어로 표현될 수 있도록 함으로써 소프트웨어의 유지보수성과 재사용성을 향상시키는 것.
• 기존의 논리적 또는 명령형 파라다임을 초월하는 다형 추론 프로그래밍 모델의 실현 가능성을 보여주는 프로토타입 시스템을 제공하는 것.

제안 방법

• 시스템은 '선언적'과 '명령형' 요소를 결합한 언어인 declimp를 사용하며, 절차, 어휘, 논리 이론, 데이터 구조에 대해 별도의 블록을 제공한다.
• 배경 지식은 인도적 정의, 집합, 부분 함수, 산술를 포함한 확장된 순서-정렬(first-order) 논리로 표현된다.
• 구체적 데이터는 어휘 위에서의 삼치 논리적 구조로 모델링되어 부족하거나 불확실한 정보를 명시적으로 표현할 수 있다.
• 절차는 모델 확장, 모델 검증, 제약 조건 전파와 같은 추론 작업을 고수준 호출(예: modelExpand)을 통해 제어하고 조율한다.
• 네임스페이스와 include 문을 통해 파일 기반의 모듈러 프로그래밍과 상호작용 실행을 지원한다.
• 프로토타입은 반복적인 모델 비교를 통해 유일한 해를 보장하는 스도쿠 퍼즐 생성에 이 접근법을 적용하여 성공적으로 구현하였다.

실험 결과

연구 질문

• RQ1 어떻게 한 개의 통합 프레임워크 내에서 모델 생성, 정리 증명, 제약 조건 해결과 같은 다양한 형태의 추론을 지원할 수 있는가?
• RQ2 절차적 논리, 선언적 지식, 데이터 구조를 분리함으로써 코드의 유지보수성과 재사용성은 어느 정도 향상될 수 있는가?
• RQ3 어휘, 이론, 구조를 일급 시민으로 취급하는 시스템은 기존의 논리적 또는 명령형 언어보다 더 탄력적이고 직관적인 프로그래밍을 가능하게 할 수 있는가?
• RQ4 반복적인 모델 확장을 어떻게 활용하여 제약 기반 영역(예: 스도쿠)에서 최소 크기의 유일한 해를 갖는 퍼즐을 생성할 수 있는가?

주요 결과

• declimp 환경은 절차적 제어를 추론 메커니즘에서 분리하여 성공적으로 구현하였으며, 이로써 절차가 모델 확장, 제약 조건 전파와 같은 다양한 추론 작업을 조율할 수 있게 되었다.
• 인도적 정의와 집합을 포함한 확장된 고전 논리의 사용은 복잡한 배경 지식(예: 스도쿠 제약 조건)을 간결하고 직관적으로 표현할 수 있게 하였다.
• 프로토타입은 반복적인 모델 비교(두 모델 간의 다름을 식별함으로써)를 통해 해가 고유하게 유지되도록 퍼즐을 점진적으로 채울 수 있음을 입증하였다.
• 시스템은 반복적인 모델 확장과 구별되는 항목의 선택을 통해 고유한 스도쿠 퍼즐을 생성할 수 있는 기능성 있는 상호작용 프로토타입을 달성하였다.
• 이론과 구조를 일급 엔티티로 취급함으로써, 독립적으로 조합하고 추론할 수 있는 모듈러하고 재사용 가능한 컴포넌트를 제공할 수 있었다.