본 논문은 의무 논리(deontic modal logic)를 구현하는 문제를 다룬다. 연구진은 응답 집합 프로그래밍(ASP)에서 사용 가능한 디폴트 부정(negation-as-failure)과 강 부정을 이용하여 의무 논리의 모달 연산자를 우아하게 표현하는 방법을 제시한다. ASP의 전역 제약 조건을 사용하여 의무 논리의 의무와 금지 사항을 나타내는 방법을 제안하며, 제안된 표현 방식이 의무 논리의 여러 역설들을 우아하게 해결함을 보인다.
시사점, 한계점
•
시사점: ASP의 전역 제약 조건과 부정을 이용한 의무 논리 표현 방식을 제시하여 의무 논리의 역설들을 해결할 수 있는 새로운 가능성을 제시한다. ASP의 효율적인 추론 엔진을 활용하여 의무 논리 문제를 효과적으로 해결할 수 있다.
•
한계점: 제안된 방법의 실제 응용 분야에 대한 구체적인 논의가 부족하다. 다양한 종류의 의무 논리 시스템에 대한 적용 가능성과 일반화 가능성에 대한 추가적인 연구가 필요하다. ASP에 대한 사전 지식이 필요하다는 점이 접근성을 제한할 수 있다.