Kara ASP 해석 시각화와 편집 통합 도구

초록

Kara는 ASP 해석을 시각적으로 표현하고, 그래픽 요소를 직접 편집함으로써 새로운 해석을 생성할 수 있는 시스템이다. 시각화 규칙을 ASP 프로그램으로 기술하고, 상대적 위치·그리드·그래프 레이아웃 등을 지원한다. 편집된 시각화는 추론 기반(귀납) 절차를 통해 원래 해석으로 되돌릴 수 있어 디버깅·테스트에 유용하다. SeaLion IDE에 플러그인 형태로 제공된다.

상세 분석

본 논문은 답변 집합 프로그래밍(ASP)에서 도출된 해석을 인간이 직관적으로 이해하기 어려운 점을 해결하고자, 시각화와 편집을 동시에 지원하는 Kara 시스템을 제안한다. 핵심 아이디어는 기존 도구(ASPVIZ, IDPDraw)와 달리 시각화 규칙 자체를 ASP 프로그램(V)으로 작성한다는 점이다. V는 도메인 알파벳 A 위에 정의되며, 해석 I와 결합해 V∪I의 답변 집합 Iᵥ를 생성한다. Iᵥ는 시각화 전용 프레디케이트(Pᵥ)만을 포함하고, 이를 기반으로 그래픽 요소(직사각형, 원, 선, 이미지 등)의 존재·위치·속성을 결정한다. Kara는 이러한 프레디케이트를 확장해 상대 좌표, 그리드 배치, 자동 그래프 레이아웃을 지원함으로써 정적 좌표 지정의 한계를 극복한다. 특히 함수 심볼을 이용해 요소 식별자를 동적으로 생성함으로써 해석에 따라 자동으로 그래프를 구성한다.

시각화 외에도 Kara는 편집된 그래픽을 다시 해석으로 복원한다. 사용자가 그래픽 편집기(GEF 기반)에서 요소를 이동·크기 변경·추가·삭제하면, 내부적으로 수정된 시각화 해석 I₀ᵥ가 생성된다. 여기서 핵심은 귀납(abductive) 추론 프로그램 λ(I₀ᵥ, V)이다. λ는 추정 가능한 원자(Pₐ)와 그 도메인(Dₐ)를 정의하고, V의 규칙을 재사용해 가상의 시각화 해석 I₀₀ᵥ를 유도한다. 무결성 프레디케이트(Pᵢ)는 I₀ᵥ와 I₀₀ᵥ가 일치해야 하는 시각화 속성을 지정한다(예: 색상·라벨·연결 관계 등). λ의 해답 집합을 구하면, 원래 도메인 원자들(I₀)로 투사할 수 있어, 그래픽 편집 결과가 새로운 ASP 해석으로 변환된다. 이 과정은 시각적 디버깅이나 테스트 입력 생성에 매우 유용하다.

Kara는 SeaLion IDE에 플러그인 형태로 구현되어, ASP 파일 편집, 시각화 프로그램 작성, 결과 시각화·편집을 하나의 환경에서 수행한다. 시각화 결과는 SVG로 내보낼 수 있어 외부 도구와 연동이 가능하다. 또한, 도메인 전용 시각화 프로그램이 없을 경우, 해석을 라벨이 붙은 하이퍼그래프 형태로 자동 시각화하는 일반 모드도 제공한다. 논문은 시각화 언어 사전(Appendix A)과 귀납 프로그램 구성 공식(도메인 추출, 추정 원자, 무결성 제약)을 상세히 제시한다. 실험 예시에서는 책·지구·선반 배치, 그래프 구조, 격자 기반 퍼즐 등을 시각화하고, 편집을 통해 새로운 해석을 생성하는 과정을 보여준다. 전체적으로 Kara는 ASP 해석의 가시성을 크게 향상시키고, 시각적 조작을 통한 해석 생성이라는 새로운 인터페이스를 제공한다.