コンピュータが、日本語の意味を理解し、その意味を英語にすることができるようなモデルの研究です。
日本語の文を理解するにはどのような知識とプロセスが必要で、またその日本文の意味を英語にして表現するにはどのような知識とプロセスが必要なのかの仮説を立てます。
この仮説をコンピュータが理解できる記号や論理に表せるほどはっきり形式化しなければなりません。