퍼지 ASP를 퍼지 논리 모델 찾기로 변환

초록

본 논문은 퍼지 답변 집합 프로그래밍(FASP)의 의미론을 기존의 퍼지 논리 모델 찾기 문제로 변환하는 방법을 제시한다. 이를 위해 FASP 프로그램의 완전성(completion)을 정의하고, 루프가 없는 경우와 있는 경우에 각각 대응하는 모델-답변 집합 관계를 증명한다. 특히 t‑norm 기반 연결자를 전제로 루프 공식(loop formulas)을 일반화함으로써, 기존 ASP‑SAT 변환 기법을 퍼지 환경에 확장한다. 결과적으로 기존의 퍼지 SAT/SMT 솔버를 활용한 효율적인 FASP 해결기가 설계될 수 있는 이론적 기반을 제공한다.

상세 분석

이 논문은 퍼지 논리와 ASP의 안정 모델 의미론을 결합한 FASP(Fuzzy Answer Set Programming)의 해석을, 퍼지 논리 이론의 모델 찾기 문제와 동등시킴으로써 효율적인 해결 방법을 모색한다. 먼저 저자들은 퍼지 논리의 기본 연산인 t‑norm, t‑conorm, residual implicator, negator 등을 정리하고, 특히 왼쪽 연속성을 갖는 t‑norm을 전제로 한다. 이러한 연산들은 퍼지 논리에서 ‘그리고’, ‘또는’, ‘이면’ 등을 수치적으로 구현한다.

FASP 프로그램은 규칙 형태 a ← T(b₁,…,bₙ) 로 정의되며, 여기서 T는 규칙마다 하나의 t‑norm이며, 본문에서는 규칙 본문에 혼합 t‑norm을 허용하지 않는다. 해석은 Herbrand 베이스 Bₚ 위의