論理文法「拡張DCSG」と回路理解への応用

摘要

そこで，この論文では初めに無語順言語の確定節文法DCSG を拡張し，文法と意味の関係を定義できるようにする．次に，拡張したDCSG の有効性を確かめるために，論文[Tanaka 93] で用いられた回路を例にとり，拡張DCSG を用いて回路の構造と機能の関係を定義する．定義された規則は拡張DCSG コンバータにより論理プログラムに変換される．得られた論理プログラムを用いて回路の構造解析を行うと，対象回路に関する多くの意味情報が導かれる．意味情報が導かれた状態は我々が回路を読み理解した状態に相当する．意味情報は論理命題の形で得られるが，用いられる項や述語に対して日本語のテンプレートを定義しているので，回路の動作や機能を日本語文として出力することもできる．