FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints

Created by

Haebom

저자

Jorge Fandinno, Pedro Cabalar, Philipp Wanko, Torsten Schaub

💡 개요

본 논문은 Constraint Answer Set Programming (CASP)에서 수치 제약 조건 표현의 한계를 극복하기 위해 ASP의 표현력을 수치 제약 조건에 통합하는 FLINGO 언어와 도구를 제안합니다. FLINGO는 ASP의 고유한 특징(기본값 선언, 미정의 속성, 선택 규칙, 집계값 사용 등)을 수치 제약 조건 내에서 지원함으로써 실세계 애플리케이션에 필수적인 표현력을 높입니다. 제안된 FLINGO 문법은 기존 CLINGCON 입력 형식의 CASP 프로그램으로 번역될 수 있습니다.

🔑 시사점 및 한계

•

ASP의 유연하고 풍부한 표현력을 수치 제약 조건 처리로 확장하여 CASP의 실용성을 크게 향상시킵니다.

•

FLINGO는 다양한 실제 문제에서 요구되는 복잡한 수치 제약 조건을 보다 직관적이고 간결하게 모델링할 수 있도록 지원합니다.

•

FLINGO 문법을 기존 CASP 시스템으로 번역하는 메커니즘을 제시하지만, 실제 대규모 문제에 대한 성능 최적화 및 확장성에 대한 추가적인 연구가 필요할 수 있습니다.

PDF 보기

Made with Slashpage