복잡 분산 제약 문제 해결을 위한 새로운 모델

제목: 복잡 분산 제약 문제 해결을 위한 새로운 모델 초록: 본 논문에서는 다양한 유형의 분산 제약 만족 문제(Distributed Constraint Satisfaction Problems, DCSP)를 해결하기 위한 원천적인 계산 모델인 Controller‑Agents for Constraints Solving(CACS)을 기술한다. 제안된 모델은 다중 에이전트 시스템(Multi‑Agent Systems, MAS)과 제약 만족 문제(Constraint Satisfaction Problem, CSP) 패러다임을 통합한 신흥 분야에 적용하도록 설계되었으며, 모든 제약을 중앙에서 블랙박스로 취급한다. 이 모델은 제약들을 그룹화하여 컨트롤러 내부에서 하나의 로컬 문제로 함께 처리할 수 있게 함으로써, 비이진 제약을 별도의 변환 없이 직접 다룰 수 있다. 본 논문은 CACS 기반 DCSP 솔버 프로토타입의 구현 개요, 사용 방법론 및 시간표 작성 문제에 대한 적용 사례를 제시한다.