1E4-03　矛盾知識集合における極小矛盾集合の抽出

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

演題番号	1E4-03
題目	矛盾知識集合における極小矛盾集合の抽出
著者	萩原信吾 (北陸先端科学技術大学院大学情報科学研究科) 東条敏 (北陸先端科学技術大学院大学情報科学科)
時間	6月15日(水) 17:20～17:40
概要	矛盾した知識集合において，どのような議論が対立関係にあり，矛盾が発生しているかを知る事は極小矛盾集合を取り出すことと等しい．従って本論文では，矛盾知識集合から極小矛盾集合を取り出すことを目的とする．
論文	PDFファイル