[논문 리뷰] Language ASP{f} with Arithmetic Expressions and Consistency-Restoring Rules

Marcello Balduccini, Michael Gelfond|arXiv (Cornell University)|2013. 01. 08.

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

한 줄 요약

이 논문은 비-헤브란드 함수, 완전한 산술 표현식, 일致 복구 규칙을 지원하는 Answer Set Programming의 확장인 ASP{f,cr}을 소개한다. 이는 전통적인 ASP에서 관찰되는 그라운딩 팽창을 피하면서도, clingcon과 같은 제약 소거기를 통합함으로써 계산 효율성을 유지함으로써, 수치적 플루언트와 제약 문제와 같은 동적 도메인을 더 자연스럽고 기술적으로, 효율적으로 표현할 수 있도록 한다.

ABSTRACT

In this paper we continue the work on our extension of Answer Set Programming by non-Herbrand functions and add to the language support for arithmetic expressions and various inequality relations over non-Herbrand functions, as well as consistency-restoring rules from CR-Prolog. We demonstrate the use of this latest version of the language in the representation of important kinds of knowledge.

연구 동기 및 목표

• 비-헤브란드 함수를 Answer Set Programming에 통합하여 동적 도메인의 더 자연스럽고 기술적인 모델링을 가능하게 한다.
• 비-헤브란드 함수에 대한 완전한 산술 표현식과 부등식 관계를 통합하여 더 풍부한 지식 표현을 가능하게 한다.
• CR-Prolog에서 유래한 일치 복구 규칙을 통합하여 모순과 부분 함수를 처리한다.
• 기존 ASP 인코딩 대비 그라운딩 크기를 줄임으로써 계산 효율성을 향상시킨다.
• 물 부어주기 문제와 N-퀸 문제와 같은 고전적 문제들에서 언어의 표현력과 효율성을 입증한다.

제안 방법

• 비-헤브란드 함수를 포함하는 산술 표현식을 지원함으로써, 수치적 값을 직접 다룰 수 있도록 \fASP 언어를 확장한다.
• 불일치하거나 불완전한 정보를 처리하기 위해 일치 복구 규칙(CR-규칙)을 도입한다. 이는 부분 함수를 허용하고 모순에서 복구할 수 있도록 한다.
• 일반화된 관성 공리: val(N,T+1) = val(N,T)는 명시적으로 변경되지 않은 한 유지되며, 이는 수치적 플루언트의 점진적 인코딩을 가능하게 한다.
• ASP와 CSP 소거기를 결합한 하이브리드 소거기 아키텍처를 사용하여 효율적인 그라운딩과 계산을 실현한다.
• 비-헤브란드 함수와 산술을 다룰 수 있도록 원래 ASP 프레임워크를 확장한 재귀 기반 의미론을 정의한다.
• 유일성 공리의 필요성을 피하기 위해 관계적 인코딩 대신 기능적 표기법(예: occupancy(S+1) = O+1)을 사용한다.

실험 결과

연구 질문

• RQ1 비-헤브란드 함수를 ASP에 통합하여 산술 표현식과 부등식을 효율성 손실 없이 지원할 수 있는 방법은 무엇인가?
• RQ2 일치 복구 규칙은 부분 함수와 불일치 지식을 처리하는 데 어떻게 기여하는가?
• RQ3 ASP{f,cr} 인코딩의 그라운딩 크기는 동적 및 제약 기반 문제에서 기존 ASP 및 기타 확장 언어와 비교해 어떻게 되는가?
• RQ4 ASP{f,cr}은 물 부어주기 문제와 N-퀸 문제와 같은 문제에서 표준 ASP보다 더 기술적이고 개선에 용이한 인코딩을 제공할 수 있는가?
• RQ5 ASP{f,cr}은 ASP나 CSP로의 번역 기반 접근법에 비해 그라운딩 크기와 소거기 실행 시간 측면에서 어떤 성능적 이점이 있는가?

주요 결과

• ASP{f,cr}에서 N-퀸 인코딩의 그라운딩 크기는 표준 ASP 인코딩의 O(n⁴) 대비 O(n²)로 성장하여 확연히 확장성 향상을 보였다.
• 기능적 표기법(예: val(N,T+1) = val(N,T))을 사용한 수치적 플루언트 인코딩은 유일성 제약의 필요성을 피하여 그라운딩 크기를 줄이고 성능을 향상시켰다.
• 일치 복구 규칙의 사용은 부분 함수를 허용하고 불일치에서 복구할 수 있도록 하여 실제 도메인의 더 견고한 모델링을 가능하게 하였다.
• ASP{f,cr}은 D가 수치적 값의 도메인일 때 관계적 인코딩에서 관찰되는 O(|D|²)의 그라운딩 팽창을 피할 수 있었다.
• 언어는 점진적 확장이 가능하다: 새로운 수치적 플루언트를 추가하더라도 기존 규칙에 변경이 필요하지 않아, 개선에 용이한 특성을 가졌다.
• 프로토타입 소거기는 번역 기반 방법에 비해 더 우수한 성능을 보였으며, 풀리 리LEASE 이후 실험적 검증이 예정되어 있다.