중첩 HEX 프로그램: 서브프로그램 호출과 메타 추론을 위한 새로운 패러다임
HEX‑프로그램에 서브프로그램 호출 기능을 추가한 “중첩 HEX‑프로그램”을 제안한다. 외부 원자(&callhex, &callhexfile 등)를 이용해 다른 HEX‑프로그램을 실행하고, 그 결과인 각각의 답안 집합을 핸들로 관리·접근한다. 이를 통해 답안 집합을 객체처럼 다루며, 믿음 집합 병합, 사용자 정의 집계, 선호도 기반 선택 등 메타‑추론이 가능한 모듈식 ASP 환경을 제공한다.
저자: Thomas Eiter, Thomas Krennwallner, Christoph Redl
본 논문은 Answer‑Set Programming(ASP)의 모듈성 부족과 외부 연산 접근만을 제공하던 HEX‑프로그램의 한계를 인식하고, 이를 보완하기 위한 “중첩 HEX‑프로그램(Nested HEX‑Programs)”이라는 새로운 프레임워크를 제안한다. 기존 ASP는 규칙 집합을 하나의 단일 프로그램으로 취급하며, 서브프로그램 호출이나 입력‑출력 인터페이스를 명시적으로 정의할 수 없었다. HEX‑프로그램은 외부 원자(&g
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기