매개변수형 모듈식 답변 집합 프로그램의 선언적 구현

요약

본 논문은 1차 답변 집합 프로그래밍(ASP)에서 매개변수와 내포성 문장을 활용한 매개변수형 모듈식 논리 프로그램이라는 새로운 형식주의를 제안합니다. 이를 통해 서브프로그램의 구조화와 인스턴스화를 가능하게 하는 집합적 제어 기능을 입증하고 이론적 토대를 제공합니다.

핵심 포인트

• 매개변수형 모듈식 논리 프로그램이라는 새로운 형식주의 소개
• 서브프로그램 정의를 위한 매개변수 및 내포성 문장 활용
• clingo-programs의 의미론을 통한 집합적 제어 기능 입증
• 모듈식 ASP를 위한 이론적 토대 및 비모듈식 ASP와의 연결성 제시