Daily Arxiv

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

Automated planning with ontologies under coherence update semantics (Extended Version)

Created by
  • Haebom

저자

Stefan Borgwardt, Duy Nhu, Gabriele Roger

개요

본 논문은 기존의 자동 계획 시스템이 폐쇄 세계 의미론(closed-world semantics) 하에서 일차 논리 공식을 사용하는 것과 달리, 개방 세계 의미론(open-world semantics) 하에서 해석되는 온톨로지(ontology)를 이용하여 배경 지식을 자동 계획 문제에 통합하는 새로운 접근 방식을 제시합니다. DL-Lite 온톨로지를 이용한 계획을 위해, 명시적 입력 지식과 액션 베이스(eKABs)가 제공하는 온톨로지 기반 액션 조건과 일관성 업데이트 의미론(coherence update semantics) 하의 온톨로지 인식 액션 효과의 장점을 결합한 새로운 방법을 제안합니다. 제안된 형식의 복잡도가 기존 접근 방식보다 높지 않음을 보이고, 고전적 계획으로의 다항식 컴파일을 통해 구현합니다. 기존 및 새로운 벤치마크에 대한 평가를 통해 다양한 컴파일 변형에 대한 계획 시스템의 성능을 검토합니다.

시사점, 한계점

시사점:
DL-Lite 온톨로지를 이용한 자동 계획 문제에 대한 새로운 효율적인 접근 방식 제시.
eKABs와 일관성 업데이트 의미론의 장점을 결합하여 온톨로지 기반 계획의 성능 향상.
고전적 계획으로의 다항식 컴파일을 통한 효율적인 구현.
다양한 벤치마크를 통한 실험적 평가 제공.
한계점:
DL-Lite 온톨로지에 국한된 접근 방식으로, 더욱 표현력이 풍부한 온톨로지 언어를 지원하는 확장이 필요할 수 있음.
제안된 컴파일 방법의 최적화 여지가 있을 수 있음.
실험적 평가의 범위가 제한적일 수 있음. 더욱 광범위한 실험이 필요할 수 있음.
👍