矛盾した知識集合からの3値論理による推論

• 太原 育夫

• 延澤 志保

書誌事項

タイトル別名

• ムジュン シタ チシキ シュウゴウ カラ ノ 3チ ロンリ ニ ヨル スイロン

収録刊行物

• 電子情報通信学会論文誌. D-1, 情報・システム. 1, 情報処理 = The IEICE transactions on information and systems. Pt. 1 / 電子情報通信学会 編

  電子情報通信学会論文誌. D-1, 情報・システム. 1, 情報処理 = The IEICE transactions on information and systems. Pt. 1 / 電子情報通信学会 編 88 (5), 969-976, 2005-05

  東京 : 電子情報通信学会情報・システムソサイエティ

キーワード

• 矛盾した知識
• U-最小モデル
• 論理的帰結関係
• 極小矛盾集合

詳細情報

• CRID: 1520009409455140608
• NII論文ID: 110003203368
• NII書誌ID: AN10071319
• ISSN: 09151915
• NDL書誌ID: 7352180
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I7352180
• 本文言語コード: ja
• NDL 雑誌分類:
  • ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
• データソース種別:
  • NDL
  • CiNii Articles