| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-03-07 10:00 単位伝播で決定可能な補問題の拡張CNF表現に関する検討 ○戸田貴久（電通大）  COMP2024-25 |
|
| 抄録 | （和） | 一部の変数上の値割当に関する単位伝播により, 部分論理関数が偽になることを決定可能な部分論理関数の拡張CNF表現について形式化を与え, 一般的な性質について議論したい. このようなCNF表現を与える目的は, 部分論理関数が偽になる原因を一部の入力変数の値割当に局所化することであり, そのような割当をCNF上の単位伝播で特定し,（関数を偽にする原因を阻止する）新しい節を導出することである. いくつかの部分論理関数に対してCNF表現を与え, 有用性について議論したい. |
| （英） | We formalize the extended CNF representation of partial logical functions for which the falsity of a partial logical function can be determined through unit propagation, and discuss general properties of this representation. The purpose of providing such a CNF representation is to localize the cause of the falsity of a partial logical function to certain input variable assignments, and to identify such assignments through unit propagation on the CNF, thereby deriving new clauses (to prevent the cause of the function's falsity). We provide individual CNF representations for several partial logical functions and discuss their usefulness. |
|
| キーワード | （和） | 導出原理 / 節学習 / 充足可能性 / 反駁の証明 / 意味論の証明系 / 補間定理 / / |
| （英） | Resolution Principle / Clause Learning / Satisfiability / Refutation Proof / Semantic Proof System / Interpolation Theorem / / | |
| 文献情報 | 信学技報, vol. 124, no. 424, COMP2024-25, pp. 1-8, 2025年3月. | |
| 資料番号 | COMP2024-25 | |
| 発行日 | 2025-02-28 (COMP) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | COMP2024-25 |
|
| 研究会情報 | |
| 研究会 | COMP |
| 開催期間 | 2025-03-07 - 2025-03-07 |
| 開催地（和） | お茶の水女子大学 国際留学生プラザ3F セミナー室 |
| 開催地（英） | Ochanomizu University |
| テーマ（和） | 理論計算機科学，一般 |
| テーマ（英） | Theoretical Computer Science, etc |
| 講演論文情報の詳細 | |
| 申込み研究会 | COMP |
| 会議コード | 2025-03-COMP |
| 本文の言語 | 日本語 |
| タイトル（和） | 単位伝播で決定可能な補問題の拡張CNF表現に関する検討 |
| サブタイトル（和） | |
| タイトル（英） | Extended CNF Representations of Unit Propagation Decidable Complements |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 導出原理 / Resolution Principle |
| キーワード(2)（和/英） | 節学習 / Clause Learning |
| キーワード(3)（和/英） | 充足可能性 / Satisfiability |
| キーワード(4)（和/英） | 反駁の証明 / Refutation Proof |
| キーワード(5)（和/英） | 意味論の証明系 / Semantic Proof System |
| キーワード(6)（和/英） | 補間定理 / Interpolation Theorem |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 戸田 貴久 / Takahisa Toda / トダ タカヒサ |
| 第1著者 所属（和/英） | 電気通信大学 (略称： 電通大) The University of Electro-Communications (略称： UEC) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-03-07 10:00:00 |
| 発表時間 | 30分 |
| 申込先研究会 | COMP |
| 資料番号 | COMP2024-25 |
| 巻番号（vol） | vol.124 |
| 号番号（no） | no.424 |
| ページ範囲 | pp.1-8 |
| ページ数 | 8 |
| 発行日 | 2025-02-28 (COMP) |
[研究会発表申込システムのトップページに戻る]