매개변수형 모듈식 답변 집합 프로그램의 선언적 구현
요약
본 논문은 1차 답변 집합 프로그래밍(ASP)에서 매개변수와 내포성 문장을 활용한 매개변수형 모듈식 논리 프로그램이라는 새로운 형식주의를 제안합니다. 이를 통해 서브프로그램의 구조화와 인스턴스화를 가능하게 하는 집합적 제어 기능을 입증하고 이론적 토대를 제공합니다.
핵심 포인트
- 매개변수형 모듈식 논리 프로그램이라는 새로운 형식주의 소개
- 서브프로그램 정의를 위한 매개변수 및 내포성 문장 활용
- clingo-programs의 의미론을 통한 집합적 제어 기능 입증
- 모듈식 ASP를 위한 이론적 토대 및 비모듈식 ASP와의 연결성 제시
본 논문에서는 1차 답변 집합 프로그래밍 (First-order Answer Set Programming, ASP)에서의 모듈성 (Modularity) 개념을 탐구합니다. 우리는 매개변수 (Parameters)와 내포성 문장 (Intensionality statements)을 사용하여 서브프로그램 (Subprograms)을 정의할 수 있는 매개변수형 모듈식 논리 프로그램 (Parametric modular logic programs)이라는 새로운 형식주의 (Formalism)를 소개합니다. 우리는 이 형식주의가 서브프로그램을 구조화하고 인스턴스화 (Instantiating)할 수 있게 하는 기능인 집합적 제어 (Collective control)를 가진 clingo-programs의 의미론 (Semantics)을 어떻게 포착할 수 있는지 입증합니다. 우리는 모듈식 ASP를 위한 이론적 토대를 제공하고, 그 유용성을 설명하며, 전통적인 비모듈식 (Non-modular) ASP와 연결합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.AI의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기