クラスタリングにより知識の局所的一貫性を確保するブール多値論理推論

• Item type: SIG Technical Reports(1)
• 公開日: 2020-05-02
• タイトル: クラスタリングにより知識の局所的一貫性を確保するブール多値論理推論
• タイトル / 言語: en
• タイトル: Boolean Multivalued Logic Inferences that Ensure Local Consistency in Knowledges with Clustering
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: ショートトーク
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 中央大学大学院理工学研究科情報工学専攻
• 著者所属: 中央大学大学院理工学研究科電気・情報系専攻
• 著者所属: 中央大学理工学部情報工学科
• 著者所属(英): en
• 著者所属(英): Information and System Engineering, Graduate School of Faculty of Science and Engineerring, Chuo University
• 著者所属(英): en
• 著者所属(英): Electrical Engineering and Information System Course, Graduate School of Faculty of Science and Engineerring, Chuo University
• 著者所属(英): en
• 著者所属(英): Department of Information and System Engineering, Faculty of Science and Engineering, Chuo University
• 著者名: 野﨑, 裕人; リン, ジンズゥ; 鈴木, 寿
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ブール多値論理系において論理式と所望の真理値からなる “知識” が有限個与えられたとき，各知識の論理式が実際にとる真理値と所望の真理値との差の絶対値の知識全体にわたる平均などの“間隙”を極小化する原始論理式の論理値を算出する過程を “学習” とよび，学習後に任意の論理式のとる真理値を瞬時に算出する過程を “推論”とよぶ．知識自体に矛盾が含まれなくともブール多値論理の次元に比して知識が多いときは，間隙は小さくならない．本稿は，述語表現の論理式により記述された知識が多数与えられたとき，主語にあたる原始論理式を付したオブジェクトと述語を構成する原始論理式を付したそれとを述語表現のとる真理値および述語を構成する論理式を付した矢線でつなぐことにより意味ネットワークを構築後，各クラスターにおいて間隙を極小化する，すなわち知識の局所的一貫性を確保するように意味ネットワークを既定数のクラスターへ分割する方式を試行した一例について報告する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Given a finite number of “knowledges” that consist of logical formulas and their desired truth values on a Boolean multivalued logic system, “learning” is the process of computing logical values of atoms that minimize the “gap” such as the average of the absolute difference between the truth value actually taken by each logical formula and the desired truth value, and “inference” is the process of computing truth values of arbitrary logical formulas after learning. Even if the knowledges themselves do not include inconsistency, the gap does not become smaller when knowledges are many in comparison with the dimension of Boolean multivalued logic. This article reports on, given many knowledges described with the logical formulas in predicate expression, a method of, after constructing a semantic network by connecting a node named an atom corresponding to subject and another node named an atom constructing predicate with an arrow tagged a truth value of the predicate expression and a logical formula constructing predicate, a trial example of clustering so that the gap inside each cluster may be locally minimized, that is, so that local consistency of knowledges may be ensured.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN1009593X
• 書誌情報: 研究報告アルゴリズム（AL）; 巻 2020-AL-178, 号 2, p. 1-3, 発行日 2020-05-02
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8566
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会