1E4-05　仮説の動的な更新における近傍探索

6月15日(水) 16:40～18:20　E会場
論理・推論

演題番号	1E4-05
題目	仮説の動的な更新における近傍探索
著者	藤原翔一朗 (京都大学情報学研究科) 山本章博 (京都大学情報学研究科)
時間	6月15日(水) 18:00～18:20
概要	本稿では，述語論理を用いた仮説推論の枠組みにおいて，動的な情報の処理を論じる．具体的には，背景知識が動的に変化する場合に，証明を追従させて変化させることによって，仮説の更新を行う．
論文	PDFファイル