• 제목/요약/키워드: gprolog

검색결과 1건 처리시간 0.014초

워렌 추상기계와 한정도메인 제약식프로그램의 구조를 이용한 혼합형 문제해결기 구현에 대한 탐색적 연구 (On an Implementation of a Hybrid Solver Based on Warren Abstract Machine and Finite Domain Constraint Programming Solver Structures)

  • 김학진
    • 지능정보연구
    • /
    • 제10권2호
    • /
    • pp.165-187
    • /
    • 2004

  • 제약식 프로그램과 최적화는 상이한 배경에서 출발하였지만 현실의 동일한 의사결정 문제의 해법을 시도해 왔다는데서 공통점을 가진다. 이 논문은 이 두가지 학문영역의 성과들을 하나의 문제풀이 틀에 통합하는 시도로서 혼합형 문제해결기의 구조를 제시한다. 특히 워렌의 추상기계와 한정도메인 제약식 프로그램의 문제해결기의 구조를 이용하여 최적화 특히 선형계획법의 문제해결기을 결합시키는 한 해법을 통합 모형의 틀을 통해 구체적인 구현의 단계로 제시한다. 또한 그 구현시 해결해야 할 문제들을 제시하고 그 해법을 논의한다.

  • PDF