일반기술

subdefinite 모델과 로직 프로그래밍의 통합 기술

저자들은 로직 프로그래밍 시스템에 subdefinite 모델을 통합시키는 기술을 개발했다. Subdefinite 모델은 constraint satisfaction problem으로서 객체, 관계, 불완전 사항, 불일치 사항 기타 객체에 관련되는 사항으로 구성된다. Subdefinite 모델은 subdefinite 컴퓨테이션이라고 부르는 알고리즘에 의해 처리된다. 이 알고리즘은 가능한 한 “정의된” 객체를 만들기 위한 관계를 이용한다. 이 접근 방법은 분수, 최적화, CAD/CAM, 다른 문제를 해결하는데 성공적인 것으로 증명되었다. Subdefinite 모델은 숫자, 집합, 배열 등이 있는 계산을 위한 표준 기초를 제공한다. 이 모델의 로직 프로그래밍 시스템에 통합되면 코드의 일부가 선언 설명과 교체됨으로써 애플리케이션의 개발이 가속화되고, 사용자는 최신 constraint language와 해결자(solver)를 제공받게 된다. Internal Domain 라이브러리를 구현하기 위해 본 기술이 사용되어 ECLiPSe라고 불리는 로직 프로그래밍 시스템에서 non-linear constraint를 해결해준다.금융 작업을 모델링하기 위한 통합 환경의 개발