Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)

Created by
  • Haebom
Category
Empty

저자

Jorge Fandinno, Yuliya Lierler

개요

본 논문은 논리 프로그램을 분할하여 안정 모델 계산 작업을 하위 프로그램의 유사한 작업으로 줄이는 기법을 다룹니다. 이를 통해 풀이 성능을 향상시키고 프로그램 정확성을 증명할 수 있습니다. 기존 연구에서는 술어 간의 의존성만 고려했던 반면, 본 논문에서는 술어의 인자와 맥락까지 고려하여 분할 가능 조건을 일반화합니다. 이를 통해 기존 결과가 적용되지 않았던 실제로 많이 사용되는 프로그램의 분할을 가능하게 합니다.

시사점, 한계점

•
시사점:
◦
논리 프로그램 분할 기법의 적용 범위를 확장하여 더욱 다양한 프로그램에 적용 가능.
◦
안정 모델 계산 성능 향상 및 프로그램 정확성 증명에 기여.
◦
실제 프로그램에 적용 가능한 실용적인 분할 기법 제시.
•
한계점:
◦
일반화된 조건 하에서의 분할 가능성 판단의 계산 복잡도에 대한 분석 부족.
◦
제시된 기법의 실제 성능 향상 정도에 대한 실험적 검증 부족.
◦
특정 유형의 논리 프로그램에 대한 적용 가능성 제한 여부에 대한 추가 연구 필요.
👍
Made with Slashpage