[논문 리뷰] Deriving Procedural and Warning Instructions from Device and Environment Models

Daniel Ansari|arXiv (Cornell University)|1995. 06. 24.

Speech and dialogue systems참고 문헌 26인용 수 5

한 줄 요약

이 논문은 기기 및 환경 지식을 사용하여 가정용 가전기기의 절차적 지침과 경고 지침을 자동으로 생성하기 위한 형식적 프레임워크를 제시한다. 상황계산 공리에 의해 기기 동작을 모델링하고, 목표를 달성하기 위한 동작 계획을 유도하며, 이러한 계획에서 지침을 합성한다. 이는 형식적 설계 사양에서 자동 지침 생성이 가능함을 입증한다.

ABSTRACT

This study is centred on the generation of instructions for household appliances. We show how knowledge about a device, together with knowledge about the environment, can be used for reasoning about instructions. The information communicated by the instructions can be planned from a version of the knowledge of the artifact and environment. We present the latter, which we call the {\it planning knowledge}, in the form of axioms in the {\it situation calculus}. This planning knowledge formally characterizes the behaviour of the artifact, and it is used to produce a basic plan of actions that the device and user take to accomplish a given goal. We explain how both procedural and warning instructions can be generated from this basic plan. In order to partially justify that instruction generation can be automated from a formal device design specification, we assume that the planning knowledge is {\it derivable\/} from the device and world knowledge.

연구 동기 및 목표

• 가정용 가전기기의 절차적 지침과 경고 지침을 자동으로 생성할 수 있도록 하기 위해.
• 기기 및 환경 지식을 상황계산의 계획 지식으로 형식화하기 위해.
• 목표 지향적인 기기 및 사용자 행동을 나타내는 동작 계획을 이 지식에서 도출하기 위해.
• 이 계획을 인간이 읽을 수 있는 절차적 지침과 경고 지침으로 매핑하기 위해.
• 지침 생성이 형식적 기기 사양에서 체계적으로 도출될 수 있음을 입증하기 위해.

제안 방법

• 기기 및 환경 지식을 상황계산의 공리로 표현하여 기구의 동작을 모델링하기 위해.
• 이 계획 지식을 사용하여 주어진 목표를 달성하기 위한 기본 동작 계획을 생성하기 위해.
• 절차적 지침에 적합한 동작 시퀀스를 식별하기 위해 계획을 분석하기 위해.
• 경고 지침을 생성하기 위해 계획 내 잠재적 고장 상태 또는 위험한 조건을 식별하기 위해.
• 계획 구조와 제약 조건에서 지침을 형식적으로 도출하여 정확성과 완전성을 보장하기 위해.
• 계획 지식이 기기 및 세계 지식에서 유도 가능하다는 가정을 두어 자동화를 지원하기 위해.

실험 결과

연구 질문

• RQ1 형식적 기기 및 환경 모델에서 가정용 가전기기의 절차적 지침을 자동으로 생성할 수 있는가?
• RQ2 유사한 형식 모델에서 안전하지 않은 동작을 방지하기 위해 경고 지침을 어떻게 도출할 수 있는가?
• RQ3 절차적 지침과 경고 지침을 둘 다 체계적으로 도출할 수 있는 형식적 프레임워크는 무엇인가?
• RQ4 계획 지식은 표준 기기 및 환경 사양에서 어느 정도 유도될 수 있는가?
• RQ5 생성된 지침의 정확성과 완전성은 어떻게 형식적으로 정당화할 수 있는가?

주요 결과

• 형식적 기기 동작 모델에서 도출된 동작 시퀀스를 분석함으로써 프레임워크는 절차적 지침을 성공적으로 생성한다.
• 잠재적 고장 상태를 계획 내에서 식별함으로써 경고 지침이 체계적으로 도출된다.
• 상황계산의 사용은 기기 동작과 지침 생성에 대한 형식적 추론 기반을 제공한다.
• 이 방법은 계획 지식의 유도가 가능하다는 가정 하에, 형식적 설계 사양에서 지침 생성을 자동화할 수 있음을 입증한다.
• 이 접근법은 통합된 형식적 프레임워크 내에서 절차적 지침과 경고 지침을 모두 지원하여 신뢰성과 일관성을 향상시킨다.