본 논문은 의무 모달 논리(deontic modal logic)를 구현하는 문제를 다룬다. 연구진은 Answer Set Programming (ASP)의 디폴트 부정(negation-as-failure)과 강 부정을 이용하여 (의무) 모달 연산자를 우아하게 표현하는 방법을 제시한다. ASP의 전역 제약 조건을 사용하여 의무 모달 논리의 의무와 금지를 표현하고, 제안된 표현 방식이 의무 모달 논리의 다양한 역설들을 우아하게 해결함을 보인다.
시사점, 한계점
•
시사점: ASP를 이용한 의무 모달 논리 구현 방식 제시, 기존 의무 모달 논리의 역설 해결 가능성 제시, 전역 제약 조건을 활용한 효율적인 표현 방식 제시.
•
한계점: ASP에 대한 사전 지식 필요, 제안된 방법의 실제 응용 분야 및 성능 평가 부족, 다른 모달 논리 시스템과의 비교 분석 부족.
