著者

松元 貴志 上原 邦昭 豊田 順一

雑誌

情報処理学会研究報告知能と複雑系(ICS)

巻号頁・発行日

vol.1987, no.82, pp.1-8, 1987-11-18

---

プログラム合成システムを一般的なユーザにとって使いやすいものとすることを目的とした、自然言語仕様からの仕様獲得支援機能およびプログラム合成過程の説明機能の実現手法を提案する。本手法では、はじめに自然言語で記述された仕様を解析し、次に解析結果に対して抽象化および対象領域の常識的知識による補完を行い形式的な仕様を作成する。最後に形式的仕様を目標とする計算機言語へと詳細化しプログラムを合成する。ユーザが自然言語で記述した初期的な仕様から、最終的にプログラムを合成するまでの全過程をシステムが管理しているために、仕様記述時のユーザの漠然とした認識に溯って合成されたプログラムを説明することができる。説明時には、仕様の解析および合成の際にシステムが参照した問題領域のモデルをもとに説明を生成するようにしている。A paradigm for generating explanation on program synthesis systems is proposed. In this paradigm, the course of program construction contains two stages, namely, interpretation and synthesis stages. In interpretation stage, the system parses natural language specifications first. Then formal specifications are derived form the results of parsing, by abstracting them away from the physical world, and complementing them with domain knowledge. In synthesis stage, formal specifications are refined into programs written in a programming language. After proposing synthesized programs to users, the system can explains what it did. Explanations are generated from the domain model used in the course of program construction.