Pretrained Embeddings as a Behavior Specification Mechanism
Created by
- Haebom
Category
Empty
저자
Parv Kapoor, Abigail Hammer, Ashish Kapoor, Karen Leung, Eunsuk Kang
개요
본 논문은 물리적 세계와 상호작용하는 시스템의 행동 특성을 공식적으로 명세화하는 접근 방식을 제안합니다. 핵심 아이디어는 실제 세계 개념의 수학적 표현인 임베딩을 명세 언어의 일급 구성 요소로 도입하는 것입니다. 여기서 속성은 이상적인 임베딩과 관측된 임베딩 사이의 거리로 표현됩니다. 이 접근 방식을 실현하기 위해, 본 논문은 임베딩 시간 논리(ETL)라는 새로운 유형의 시간 논리를 제안하고, 이를 사용하여 이전에는 불가능했던 AI 기반 시스템에 대한 더 광범위한 속성을 표현하는 방법을 설명합니다. 기초 모델에 의해 구동되는 로봇의 계획 작업을 포함하는 예비 평가를 통해 ETL의 적용 가능성을 보여줍니다. 결과는 임베딩 기반 명세를 사용하여 시스템을 바람직한 동작으로 유도할 수 있음을 보여주는 유망한 결과를 보여줍니다.
시사점, 한계점
•
시사점:
◦
임베딩을 사용하여 AI 기반 시스템의 행동 특성을 공식적으로 명세화하는 새로운 방법을 제시합니다.
◦
기존의 시간 논리로는 표현하기 어려운 광범위한 속성을 표현할 수 있는 ETL을 제안합니다.
◦
로봇 계획 작업을 통한 예비 평가에서 임베딩 기반 명세의 유용성을 확인했습니다.
•
한계점:
◦
예비 평가는 제한적인 범위의 작업에 국한되어 있습니다.
◦
ETL의 실제 적용 가능성 및 확장성에 대한 추가적인 연구가 필요합니다.
◦
임베딩의 선택 및 거리 측정 방식이 결과에 영향을 미칠 수 있습니다.
