株式会社JURABI

Works

東京工業大学様

自然言語で表現された知識を集合論的に推論するための処理系としてPrologインタプリタを作成しました。

自然言語による知識を集合論によってモデル化し、それを基に推論を行う機能を開発することを目的とした。
Scala 言語によって Prolog 処理系を記述することにより、Prolog 機能の拡張が容易に行えるようになった。

一覧に戻る

お仕事のご依頼・ご相談や採用に関しては、
こちらからお気軽にお問い合わせください。