• Journal of the Korean Data and Information Science Society
• /
• 제6권2호
• /
• pp.17-27
• /
• 1995

제약 조건 만족의 관점에서 불확실한 지식을 표현하고 처리하는 방법을 제안하였다. 등식이나 부등식은 만족되어야 할 제약 조건들이며, 제약 조건들은 수리 논리식으로 표현될 수 있는데 이들은 주어진 수리 논리식들의 집합에 대한 만족성을 계산하는 제약 조건 해결 프로그램에 의해 답을 얻을 수 있다. 불확실성을 포함한 규칙 기반 시스템들은 확률론의 초보적인 내용을 응용하여 표현되는데, 이 경우 제약 조건 해결 프로그램으로 효율적인 결과를 얻을 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (상)
• /
• pp.389-392
• /
• 2002

본 논문에서는 대표적인 NP 문제의 하나인 강의시간표 문제를 분산 제약조건 만족 문제로 해결하는 시스템을 제안한다. 제안한 시스템에서는 복잡하고 방대한 강의시간표 문제를 여러 개의 작은 모듈 단위의 에이전트로 분할한 후 개별 문제외 해를 구하고 이들을 결합시켜 가능해(feasible solution)를 찾는다. 한편, 분리된 에이전트에 의해 해결되는 부-문제들이 상호 의존적이면서 중첩된 경우에 해들 사이의 모순을 해결하면서 최종 해를 구한다. 제안한 시스템에서는 다음과 같은 방법으로 문제를 해결한다. 제약조건을 점진적으로 추가하여 탐색공간을 줄여 나간 후, 국소 탐색을 통해 변수에 일관된 도메인 값을 할당한다. nogood에 대하여 점진적인 제약조건 완화로 탐색공간을 확장하여 모든 변수에 도메인 값을 배정한다. 제약조건 완화는 제약조건들을 몇몇 단계로 정의하고, 휴리스틱 순서와 제약조건의 중요도에 따라 되추적 탐색 기법을 이용하여 순차적으로 완화한다. 만일 과잉-제약조건이 발생할 경우 가중치의 합이 최소로 하는 값을 배정한다. 즉 모든 변수에 도메인 값은 모든 제약조건을 만족하든 초기의 부-문제에 가능해가 될 수 있는 제약조건을 만족해야 한다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 2002년도 춘계학술대회 논문집
• /
• pp.99-105
• /
• 2002

컨테이너 터미널의 수출 장치장은 수출될 컨테이너들이 지속적으로 반입되어 해당 선박에 선적되기까지 일시적으로 보관되는 장소이다. 장치장의 공간 활용도를 높이면서 선적 시 작업의 능률을 극대화하기 위해서는 여러 가지 제약조건과 장치 규칙에 따라 컨테이너들의 장치 위치를 결정해야 할 뿐 아니라, 소정의 기간을 대상으로 그 동안 반입 예정인 전 컨테이너들에 대한 적절한 공간할당 계획을 미리 수립해 두어야 한다. 본 논문에서는 수출 장치장 계획 문제를 제약조건만족 문제로 보고 이를 효과적으로 해결하기 위한 탐색 기법을 제시하고 있다 대규모의 탐색공간으로부터 효율적으로 해를 찾기 위해 dependency-directed backtracking 기법을 적용하였고, 탐색 중에 제약조건을 만족하는 해를 찾기 어렵다고 판단될 경우에는 일부 제약조건을 완화하여 해를 재 탐색하는 제약조건 완화 기법을 적용하였다. 실제 부산 신선대 컨테이너 터미널의 데이터를 이용한 실험 결과 만족할 만한 수준의 계획을 빠른 시간 내에 수립할 수 있음을 확인하였다

• 한국항행학회논문지
• /
• 제2권2호
• /
• pp.132-142
• /
• 1998

스케줄링 문제는 응용 영역에 따라 각기 다른 작업과 차원을 가지며, 이들간에 여러 가지 제약 조건이 존재한다. 이러한 문제에 인공지능 기법을 이용하여 문제를 효율적으로 해결할 수 있다. 그러나, 동적으로 변하는 상황에서 모든 제약조건을 만족하는 최적해를 구할 수 없는 경우, 부분적으로 만족하는 해를 구하기 위해 제약 조건들은 수정 또는 추가되어야 하며, 때로는 고려 대상에서 제외되어야 한다. 부분적으로 만족하는 해를 구하기 위해, 수정되어야 할 적절한 제약 조건을 스케줄링 시스템이 자동으로 선택하기에는 많은 문제가 있다. 이러한 문제를 해결하기 위해, 본 논문에서는 부분적으로 만족하는 해를 구해야 하는 경우, 제약 조건 완화를 위해 사용자와 상호 작용하며 사용자의 의견을 제약 조건에 반영하는 지능형 사용자 인터페이스(Intelligent User Interface)의 모델을 설계하고 구현하였다. 김포공항의 운항 스케줄 데이터를 사용한 실험에서 제약 조건을 모두 적용하여 이를 만족하는 해를 구하지 못한 경우, 사용자의 의견이 반영된 제약 조건완화를 통해 검색 도메인의 증가와 제약 조건을 부분적으로 만족하는 해를 구할 수 있었다.

• 정보처리학회논문지C
• /
• 제8C권4호
• /
• pp.479-488
• /
• 2001

디지털 오디오나 비디오와 같은 멀티미디어 트래픽 QoS 제약 조건(종단간 지연, 대역폭 가용성, 패킷 분실률, 지터 등)을 요구하고 있다. 이러한 멀티미디어 트래픽의 제약 조건을 보장하기 위해서는 데이터 전송을 하기 전에 실시간 채널을 설정할 필요가 있으며 그러한 채널의 설정은 QoS 제약 조건을 고려한 효율적인 경로 설정 알고리즘을 필요로 한다. 일반적으로 네트워크에서 지연 제약 조건과 최소 비용을 만족하는 경로를 찾는 것은 NP-complete임이 증명되었다. 따라서 본 논문에서는 간단하고 분산된 루프 프리 라우팅 알고리즘(Loop-free Delay-constrained Routing algorithm with Load balancing : DRL)을 제안한다. 제안한 DRL은 지연 제약 조건을 만족하는 경로를 선택하며 네트워크의 상태에 따라 부하를 분산시키는 기능을 갖고 있다. 또한 지연 제약 라우팅을 위해 각 노드에서는 한정된 네트워크 상태 정보만을 필요로 한다. 시뮬레이션 결과는 DRL이 LDP와 마찬가지로 지연 제약조건을 만족하는 경로를 제공하면서 DCUR에 비해 루프가 발생하지 않는 경로 설정을 수행한다는 것을 보여주고 있다.

• 한국지능정보시스템학회:학술대회논문집
• /
• 한국지능정보시스템학회 1999년도 추계학술대회-지능형 정보기술과 미래조직 Information Technology and Future Organization
• /
• pp.151-157
• /
• 1999

선석계획 및 크레인 일정계획은 컨테이너 터미널에서 입항하는 선박들의 빈번한 변동상황에 능동적으로 대처하고 유연하면서도 신속한 의사결정이 가능하도록 여러 명의 전문가가 장기적인 계획을 바탕으로 지속적으로 수정 보완해 나가는 방법으로 이루어지고 있다. 본 논문에서는 선사 및 컨테이너 터미널에서 수시로 변경되는 다양한 요구조건을 수용하는 최적의 선석 및 크레인 일정계획 수립을 위하여 제약만족기법과 휴리스틱 교정(Heuristic Repair)기법을 이용하였다. 선석계획 및 크레인 일정 계획문제는 기본적으로 제약조건 만족문제로 정형화할 수 있지만 선박의 접안위치를 결정하는 문제는 목적함수를 가지는 최적화문제이다. 따라서 이 문제는 제약조건 만족문제와 최적화문제가 혼합된 문제(CSOP, Constraint Satisfaction and Optimization Problem)로 볼 수 있다. 이러한 문제를 해결하기 위해서 각 선박의 최적 전압위치를 찾고 최우선 순위 선박의 최적 접안위치로부터 주어진 모든 제약조건을 만족하는 해를 찾는 탐색기법을 활용했고 휴리스틱 교정기법을 사용해서 제약만족기법에서 찾은 해를 교정했다. 우선순위가 가장 높은 선박부터 탐색을 하기 위해 Variable Ordering 기법을 사용했고 그 선박의 최적 접안위치부터 탐색을 해 나가는 Value Ordering 기법을 사용하였다. 실제 부산 신선대 컨테이너 터미널의 선석계획자료를 사용해서 실험을 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (2)
• /
• pp.1-3
• /
• 2001

컨테이너 터미널에서의 선석 및 크레인 일정계획은 일정 기간 동안 입항 예정인 선박들을 대상으로 접안 위치와 접안 시기 및 기간을 결정하며, 또한 각 선박별로 컨테이너를 싣고 내릴 크레인을 배정하되 각 크레인의 서비스 시작과 완료시간가지 지정하는 전 과정을 포함한다. 이 문제는 여러 선박들 사이의 시간적 공간적 제약관계를 준수하고 크레인들을 충돌 없이 각 선박에 할당하여야 하는 제약조건 만족 문제인 동시에, 각 선박의 선호 위치와 희망 입출항 시간을 최대한 준수해야 하는 최적화 문제이기도 하다. 기존의 연구에서는 제약만족탐색기법을 사용하여 초기계획을 수립한 후 최적의 해를 유도해 내기 위해 휴리스틱 교정기법을 제약만족 탐색기법의 틀 내에서 반복적으로 적용하였다. 본 논문에서는 반복적 개선 탐색 도중에 도출되는 해의 정보를 이용하여 새로운 제약조건을 추가함으로써 다음 제약만족 탐색 시 보다 쉽게 더 충은 해를 찾을 수 있도록 하였으며 이 방법을 기존의 휴리스틱 교정기법과 결합하여 휴리스틱 교정기법의 성능을 향상시켰다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1994년도 춘계공동학술대회논문집; 창원대학교; 08월 09일 Apr. 1994
• /
• pp.159-165
• /
• 1994

실세계에서 발생하는 많은 문제들은 주어진 제약조건들을 만족하는 범위내에서 해를 찾는 제약만족문제(CSP)의 개념으로 설명될 수 있으며, 이러한 문제들의 해결을 위해 인공지능 및 OR 분야에서 활발한 연구가 계속 되어왔다. 본 연구는 대표적 논리언어인 prolog에서 유한이산 도메인 및 수치 제약조건의 해결을 위한 제약해결기에 대한 연구이다. 본 연구에서 구현된 제약해결기에서는 포워드체킹(FC)을 사용하여 조합적 문제를 효과적인 도메인 여과를 통해 탐색공간 및 탐색시간을 축소시키며, 또한 최적화 문제의 해결에 있어서도 그 문제에 주어진 목적함수와 FC의 장점을 조화 시킴으로써 최적해를 더욱 효과적으로 발견한다.

• 지능정보연구
• /
• 제3권2호
• /
• pp.71-82
• /
• 1997

이 연구의 모형은, 자원(기계, 인력), 주문(작업)의 의미를 확정한 "일반화된 job-shop"이다. 이 모형의 제약조건을 파악한 후, 불확정 제약조건의 표현과 추론방법을 연구하였으며, 이를 위하여 일정계획 수립 기능들을 모듈화하였다. 불확정제약조건에 따라 모듈들을 선택적으로 사용하기 위한 추론 과정은, 먼저, 납기만족이 우선이며 제약만족(CSP) 일정계획 모듈을 사용하고 그렇지 않으면 디스패칭 모듈을 사용한다. 그리하여, 납기, 작업시간의 불확정성과 자원의 변동, 새 주문의 추가, 일정계획 목표의 변경등을 반영하는 일정계획 수립방법을 제시하였다. 이 논문은 제약만족 일정계획과 디스패칭 일정계획을 하나의 틀에서 함께 사용함으로써, 일정계획 목표의 변경이나 제조환경이 변화에 대처할 수 있음을 보인다.수 있음을 보인다.

• 공학논문집
• /
• 제6권1호
• /
• pp.5-14
• /
• 2004

제약조건을 만족시키기 위한 문제에서 해를 얻는 일은 그 문제의 조건들을 만족시키기 위한 변수들의 값을 선정하는 것이다. 이것은 주어진 영역내의 다수의 불확정적인 변수들의 논리적 관계를 탐색하여 조건을 만족하는 최적의 해를 얻는 것이다. 그러나, 이러한 문제들의 해를 구하는 과정에는 두 가지 큰 문제를 내포한다. 즉, 다양한 형태와 다수의 속성을 지닌 제약 조건들을 시스템내부에 효율적으로 표현하는 방법이 어렵고, 탐색과정에서 기하급수적으로 발생하는 공간문제와 처리시간을 최소화 하기가 힘들다. 그 이유는, 적절한 제약 조건의 표현방법과 효율적인 알고리즘에 의해 스케줄링을 한다 해도 모든 조건들을 항상 다 만족시킬 수는 없기 때문이다. 즉, 제약 조건 내에 충돌의 요소가 있을 수도 있기 때문이다. 따라서 이 논문에서는, 스케줄링을 진행하는 과정에서 이러한 제약 조건위반(충돌)에 대한 정보 및 차선의 조건을 사용자에게 제시하여 사용자로 하여금 조건의 재조정이 가능하도록 하는 대화형 스케줄링시스템의 모델을 제시한다.