関西学院大学 | 理工学部 情報科学科 

2018.08.13

論理をベースとした知識表現、特に時空間推論に関するもの,およびシステムの形式化への興味を軸に、論理や代数を使って人間が行う知的な振舞いをコンピュータにさせる仕組みをつくることをめざす。研究のキーワードは「数理論理学」と「議論システム」。

詳しくはこちら

コメントを残す

メールアドレスが公開されることはありません。 *が付いている欄は必須項目です

関連記事

TOPICS

MORE