[논문 리뷰] Abduction, ASP and Open Logic Programs

Piero A. Bonatti|ArXiv.org|2002. 07. 07.

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

한 줄 요약

이 논문은 일반화된 안정 모델 의미론 하에서 추론과 답변 집합 프로그래밍(ASP)을 일반화하는 개방 논리 프로그램을 통합적 프레임워크로 설정하며, 개방 추론이 이 두 체계를 포함하고 확장함을 보여준다. 개방 프로그램이 일반화된 안정 모델 의미론 하에서 추론과 ASP를 시뮬레이션할 수 있음을 증명함으로써, 새로운 형태의 추론 추론—예를 들어 비기본 추론과 새로운 개체를 포함한 도메인 확장—이 가능해지며, 유한하고 함수 없는 프로그램에 대한 신뢰적이고 경계적인 개방 추론의 계산 복잡도도 규명된다.

ABSTRACT

Open logic programs and open entailment have been recently proposed as an abstract framework for the verification of incomplete specifications based upon normal logic programs and the stable model semantics. There are obvious analogies between open predicates and abducible predicates. However, despite superficial similarities, there are features of open programs that have no immediate counterpart in the framework of abduction and viceversa. Similarly, open programs cannot be immediately simulated with answer set programming (ASP). In this paper we start a thorough investigation of the relationships between open inference, abduction and ASP. We shall prove that open programs generalize the other two frameworks. The generalized framework suggests interesting extensions of abduction under the generalized stable model semantics. In some cases, we will be able to reduce open inference to abduction and ASP, thereby estimating its computational complexity. At the same time, the aforementioned reduction opens the way to new applications of abduction and ASP.

연구 동기 및 목표

• 일반화된 안정 모델 의미론 하에서 개방 논리 프로그램, 추론, 그리고 답변 집합 프로그래밍(ASP) 간의 관계를 체계화하는 것.
• 기존 프레임워크에서 지원되지 않는 새로운 개체의 추론과 도메인 크기 제약 조건을 포함한 추론의 표현력을 확장함으로써 추론의 표현력을 강화하는 것.
• 개방 추론이 표준 ASP 추론과 추론으로 환원될 수 있는지 조사하여, 유한 도메인 내에서 기존 ASP 엔진을 사용한 추론 추론에 활용할 수 있도록 하는 것.
• 일반화된 개방 프로그램 프레임워크를 통해 렘마 생성과 비기본 추론과 같은 새로운 계산 전략을 탐색하는 것.
• 유한하고 함수 없는 개방 프로그램에 대한 신뢰적이고 경계적인 개방 추론의 계산 복잡도를 규명하는 것.

제안 방법

• 개방 술어가 완전히 지정되지 않으며 다수의 방식으로 완성될 수 있음을 고려해, 추론과 ASP를 일반화하는 개방 논리 프로그램을 제안한다.
• 추론 프레임워크를 개방 술어 집합이 비어 있는 개방 프로그램으로, 일반 논리 프로그램을 특수한 형태의 개방 프로그램으로 표현함으로써 추론과 ASP를 개방 추론에 공식적으로 통합한다.
• 개방 프로그램에 일반화된 안정 모델 의미론을 적용하여, 새로운 개체의 추론과 도메인 크기 상한의 추론이 가능하게 한다.
• 유한하고 함수 없는 조건 하에서 안정 모델를 유지하는 번역을 통해, 신뢰적이고 경계적인 개방 추론을 표준 ASP 추론으로 환원한다.
• Smodels ASP 엔진을 사용하여 개방 프로그램 내에서 추론 설명을 계산함으로써, 이 프레임워크의 실용적 적용 가능성을 입증한다.
• 진단-함의에 기반한 새로운 추론 형태—일반화된 경계적 결과—를 도입하며, 이는 개방 프로그램 내 혼합 추론과 유사하다.

실험 결과

연구 질문

• RQ1 일반화된 안정 모델 의미론 하에서 개방 논리 프로그램이 추론과 ASP를 통합하는 프레임워크로 기능할 수 있는가?
• RQ2 특히 도메인 처리 및 술어 지정 측면에서, 개방 추론, 추론, 그리고 ASP 간의 주요 차이점과 유사점은 무엇인가?
• RQ3 개방 추론이 표준 ASP 추론으로 환원될 수 있는가? 만약 가능하면 어떤 조건에서 가능할 것인가(예: 유한하고 함수 없는 프로그램)?
• RQ4 개방 프레임워크는 기존 추론에서 지원되지 않는 비기본 추론과 새로운 개체의 추론을 지원할 수 있는가?
• RQ5 유한하고 함수 없는 개방 프로그램에서 신뢰적이고 경계적인 개방 추론의 계산 복잡도는 무엇인가?

주요 결과

• 개방 논리 프로그램은 추론과 ASP를 일반화하며, 임의의 추론 프레임워크 ⟨T, A⟩는 개방 프로그램 ⟨T, ∅, A⟩로 표현 가능하고, 임의의 일반 논리 프로그램 P는 ⟨P, ∅, ∅⟩로 표현 가능하다.
• 이 프레임워크는 새로운 개체의 추론과 도메인 크기의 상한을 포함한 추론이 가능하게 하며, 이는 표준 추론에서는 부재하지만 3가지 값 완성과 계층적 부정에서 지원된다.
• 유한하고 함수 없는 개방 프로그램에 대한 신뢰적이고 경계적인 개방 추론은 표준 ASP 추론으로 환원 가능하며, 이는 Smodels와 같은 ASP 엔진을 사용한 추론 추론에 활용 가능하다.
• 유한하고 함수 없는 개방 프로그램에서 경계적이고 신뢰적인 개방 추론의 복잡도는 ASP에의 통합에 기반해 co-NP-완전으로 규명된다.
• 개방 프레임워크는 비기본 추론을 지원하며, 비기본 경계적 개방 해상법을 통한 렘마 생성과 같은 새로운 계산 전략을 제안한다.
• 이 프레임워크는 진단-함의와 유사한 새로운 추론 형태—일반화된 경계적 결과—를 도출하며, 효율성을 높이기 위해 사전에 렘마를 생성하는 데 사용될 수 있다.