Egg 추출 및 기타 작업을 위한 Answer Set Programming (ASP)

요약

e-graph에서 용어를 추출하기 위해 Answer Set Programming(ASP)을 활용하는 방법론을 연구합니다. 기존의 단순한 ASP 인코딩이 ILP 기반 방식과 대등한 효율성을 보임을 확인하고, ASP와 Datalog의 결합 가능성을 논의합니다.

핵심 포인트

• e-graph 용어 추출 작업에 ASP 적용 가능성 확인
• 단순 ASP 인코딩이 최적화된 ILP 방식과 대등한 성능 기록
• 복잡한 인스턴스에서 추가적인 최적 추출 결과 도출
• ASP와 Datalog 결합을 통한 시너지 창출 가능성 제시