본 논문은 비단조 논리 프로그래밍의 한 패러다임인 Answer Set Programming (ASP)의 answer set 의미론에 대한 두 가지 중요한 질문에 답하고자 한다. 첫째, 기존 문헌에서 정의된 최소 모델 특성, 제약 단조성, 그리고 근거성이 모든 answer set 의미론에 필수적인 조건인가? 둘째, 그렇지 않다면, answer set 의미론에 대한 일반 원칙으로 고려될 수 있는 다른 특성은 무엇인가? 논문에서는 기존의 세 가지 조건이 너무 강력하여 예상되는 answer set을 제외할 수 있음을 예시를 통해 보여준다. Gelfond answer set (GAS) 원리를 개선하여 well-supportedness, 기본 부정에 대한 최소성, 그리고 인식론적 부정에 대한 최소성을 제시한다. well-supportedness 원리는 순환적 정당화가 없는 answer set의 구성을 보장하고, 두 가지 최소성 원칙은 answer set과 세계관의 수준에서 지식을 최소화한다. 개선된 GAS 원리를 구현하기 위해 well-supportedness 개념을 answer set과 세계관에 확장하고, 개선된 GAS 원리에 기반한 새로운 answer set 의미론을 정의한다. 마지막으로, 개선된 GAS 원리를 기준으로 기존 answer set 의미론을 평가하고 계산 복잡도를 분석한다.
