[논문 리뷰] Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

Christian Kloimüllner, Johannes Oetsch외 2명|arXiv (Cornell University)|2011. 09. 19.

Logic, Reasoning, and Knowledge참고 문헌 9인용 수 9

한 줄 요약

Kara는 답변집합 프로그래밍(ASP) 자체를 명세 언어로 사용하여 답변집합 프로그램 해석의 시각화 및 상호작용적 편집을 가능하게 하는 새로운 시스템이다. 그리드, 그래프, 상대 위치 정렬과 같은 고수준의 시각적 추상화를 지원하며, 사용자가 시각적 편집을 통해 해석을 수정할 수 있고, 변화가 추론을 통해 전파된다—이는 ASP 디버깅 및 테스팅을 위한 강력한 상호작용 도구를 제공한다.

ABSTRACT

In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the program that represents the theory by means of an ASP solver and returned to the user as sets of ground first-order literals. As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. The tool Kara, introduced in this paper, follows these approaches, using ASP itself as a language for defining visualisations of interpretations. Unlike existing tools that position graphic primitives according to static coordinates only, Kara allows for more high-level specifications, supporting graph structures, grids, and relative positioning of graphical elements. Moreover, generalising the functionality of previous tools, Kara provides modifiable visualisations such that interpretations can be manipulated by graphically editing their visualisations. This is realised by resorting to abductive reasoning techniques. Kara is part of SeaLion, a forthcoming integrated development environment (IDE) for ASP.

연구 동기 및 목표

• 대규모의 텍스트 기반 답변집합을 이해하기 어려워하는 답변집합 프로그래밍(ASP)의 도전 과제를 해결한다. 이는 종종 읽기 어려우며 분석하기 어렵기 때문이다.
• ASPVIZ나 IDPDraw와 같은 기존 도구의 한계를 극복하기 위해 상대 위치 정렬, 그리드, 그래프 레이아웃을 포함한 고수준의 구조화된 시각화를 가능하게 한다.
• 해석의 상호작용적 시각적 편집을 지원하여 ASP 프로그램의 디버깅 및 테스팅을 용이하게 한다.
• 후처리 컴ponent나 모듈러 ASP 개발을 위한 테스트를 위해 모의 답변집합을 생성할 수 있도록 한다.
• 시각적 편집을 추론과 통합하여 사용자가 편집한 시각적 표현에서 논리적으로 일관된 유효한 해석을 자동으로 생성하도록 한다.

제안 방법

• 시각화 프로그램을 정의하기 위해 ASP를 언어로 사용하여, 사용자가 해석에서 어떻게 그래픽 요소가 렌더링되어야 하는지 지정할 수 있도록 한다.
• 색상, 폰트, 크기 등 구성 가능한 속성을 가진 사각형, 타원, 다각형, 이미지, 선, 텍스트, 그리드와 같은 풍부한 시각적 원소를 지원한다.
• 상대 위치 정의(예: visleft, visabove) 및 그래프와 그리드 레이아웃을 도입하여 의미적으로 직관적인 시각적 배열을 가능하게 한다.
• 실시간으로 그래픽 요소를 이동, 크기 조절, 삭제, 삽입할 수 있는 시각적 편집기를 제공하며, 속성을 수정할 수 있다.
• 편집된 시각적 표현에서 유효한 해석을 추론하기 위해 추론을 활용하여, ASP 의미론과 일관성을 확보한다.
• 외부에서 사용 가능한 SVG 내보내기 기능을 지원하여 편집된 시각적 표현을 문서화 또는 추가 처리를 위해 유지할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 정적 좌표 기반 렌더링을 초월하여 의미적으로 유의미하고 사용자 우호적인 방식으로 답변집합 프로그램 해석을 어떻게 시각화할 수 있는가?
• RQ2 그래픽 표현의 시각적 편집이 유효한 답변집합 해석을 생성하거나 수정하는 데 얼마나 효과적으로 활용될 수 있는가?
• RQ3 사용자가 시각적 편집기에서 가로질러 편집한 내용을 논리적으로 일관된 유효한 해석으로 변환하는 데 추론이 효과적으로 활용될 수 있는가?
• RQ4 그리드, 그래프, 상대 위치 정렬과 같은 고수준 추상화를 지원함으로써 시각화 도구의 사용성은 어떻게 향상되는가?
• RQ5 해석의 시각적 편집은 디버깅 및 테스팅과 같은 실질적인 ASP 개발 작업을 어떻게 지원하는가?

주요 결과

• Kara는 WYSIWYG 편집기에서 위치, 크기, 색상 등의 그래픽 요소를 수정할 수 있도록 하여 ASP 해석의 상호작용적 시각적 편집을 가능하게 한다.
• 시스템은 ASPVIZ나 IDPDraw와 같은 이전 도구에서 제공하지 않는 자동 레이아웃 적용 그래프, 그리드 구조, 상대 위치 정렬과 같은 고급 시각적 추상화를 지원한다.
• 편집된 시각적 표현은 추론을 통해 의미론적으로 기반을 두어 수정된 시각적 표현이 유효한 답변집합 해석과 대응됨을 보장한다.
• 도메인 특화 시각화 프로그램이 필요 없는 일반적인 초그래프 시각화 모드를 지원하여 일반적인 해석 보기 용이성을 높였다.
• Kara의 시각화 프로그램은 ASP로 작성되어 있어 기존 ASP 워크플로우 및 도구와 원활하게 통합된다.
• 시스템은 SVG 내보내기 기능을 제공하여 사용자가 편집된 시각적 표현을 에디터 외부에서 문서화 또는 발표 목적으로 유지하고 재사용할 수 있도록 한다.