Daily Arxiv

전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다.
본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다.
논문에 대한 저작권은 저자 및 해당 기관에 있으며, 공유 시 출처만 명기하면 됩니다.

Modeling (Deontic) Modal Operators With the s(CASP) Goal-directed Predicated Answer Set Programming System

Created by
  • Haebom

저자

Gopal Gupta, Abhiramon Rajasekharan, Alexis R. Tudor, Elmer Salazar, Joaquin Arias

개요

본 논문은 의무 논리(deontic modal logic)를 구현하는 문제를 다룬다. Answer Set Programming (ASP)의 기본 부정(negation-as-failure)과 강 부정을 이용하여 (의무) 모달 연산자를 우아하게 표현하는 방법을 제시한다. ASP의 전역 제약 조건을 사용하여 의무 논리의 의무와 금지를 표현하고, 제안된 표현 방식이 의무 논리의 다양한 역설을 우아하게 해결함을 보여준다.

시사점, 한계점

시사점: ASP를 이용한 의무 논리 구현 방식 제시 및 의무 논리의 역설 해결에 대한 새로운 접근법 제시. 기존의 의무 논리 구현 방식의 한계점을 극복할 가능성 제시.
한계점: ASP에 대한 배경지식이 필요하며, 제안된 방법의 실제 적용 가능성 및 효율성에 대한 추가적인 실험 및 분석이 필요하다. 다양한 의무 논리 시스템에 대한 적용 가능성 및 일반화 가능성에 대한 추가 연구가 필요하다.
👍