Egg 추출 및 기타 작업을 위한 Answer Set Programming (ASP)
요약
e-graph에서 용어를 추출하기 위해 Answer Set Programming(ASP)을 활용하는 방법론을 연구합니다. 기존의 단순한 ASP 인코딩이 ILP 기반 방식과 대등한 효율성을 보임을 확인하고, ASP와 Datalog의 결합 가능성을 논의합니다.
핵심 포인트
- e-graph 용어 추출 작업에 ASP 적용 가능성 확인
- 단순 ASP 인코딩이 최적화된 ILP 방식과 대등한 성능 기록
- 복잡한 인스턴스에서 추가적인 최적 추출 결과 도출
- ASP와 Datalog 결합을 통한 시너지 창출 가능성 제시
3년 전, Philip Zucker는 e-graph로부터 용어 추출 (term extraction)을 위해 Answer Set Programming (ASP)을 사용하려는 시도를 게시했습니다. 이 작업은 NP-hard이며 ASP가 e-graph 용어에 대한 자연스러운 모델링 (modelling)을 제공함에도 불구하고, 초기 시도는 설득력 있는 결과를 내지 못했습니다. 실질적인 ASP 사용자 측면에서, 우리는 먼저 e-graph 추출 작업에서 ASP가 작동하고 잘 작동할 수 있는 방법을 정확히 짚어냅니다. 초기 결과에 따르면, 단순한 (naïve) ASP 인코딩은 extraction-gym에서의 잘 최적화된 ILP 기반의 정확한 DAG 추출과 효율성 면에서 대등하며, 복잡한 인스턴스에서 몇 가지 추가적인 최적 추출을 찾아냈습니다. 이는 우리에게 더 나아가 다음과 같은 의제를 제시합니다: "egg + Datalog의 결합이 더 나은 시너지(better together)를 낸다면", ASP를 더 강력한 Datalog로 활용함으로써 더 나은 "결합(better together)"을 이룰 수 있을까요? 우리는 서로로부터 얻을 수 있는 잠재적 이점에 대해 논의합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.PL (Programming Languages)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기