비평면 가정 기반 논증과 머리에서의 실패로서의 부정을 가진 논리 프로그래밍의 대응성에 대하여

안정적인 모델 의미론 하에서 가정 기반 논증(ABA)과 논리 프로그램(LP) 간의 관계는 잘 연구되어 왔습니다. 그러나 이러한 관계를 얻기 위해서는 ABA 프레임워크가 평면으로 제한되어야 합니다. 즉, (가설적) 가정이 결코 유도될 수 없는 조각, 즉 참 또는 거짓으로 간주되는 경우입니다. 여기서는 이 제한을 제거하고 비평면 ABA와 머리에서 실패로서의 부정을 가진 LP 간의 대응성을 보여줍니다. 이후 이 결과를 소위 집합 안정 ABA 의미론으로 확장합니다. 이는 비평면 ABA의 하나인 쌍극성 ABA에 대해 처음 정의된 것입니다. 머리에서 실패로서의 부정을 가진 LP를 위한 집합 안정 의미론을 정의하는 방법을 보여주고, 집합 안정 ABA 의미론과의 대응성을 보여줍니다.