数値データの論理的推論

• Item type: SIG Technical Reports(1)
• 公開日: 1995-03-06
• タイトル: 数値データの論理的推論
• タイトル / 言語: en
• タイトル: Logical Reasoning of Numerical Data
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: （株）東芝研究開発センター
• 著者所属(英): en
• 著者所属(英): Research & Development Center, Toshiba Corporation
• 著者名: 月本, 洋
• 著者名(英): Hiroshi, Tsukimoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 数値データは今まで論理的推論の対象ではなかった。本論文では数値データが直観主義論理で推論できることを示す。その概要は以下の通りである。多重線形関数空間は関数の定義域が{0，1}の時には古典論理の代数モデルであるプール代数の拡張でありユークリッド空間となるが、定義域が[0，1]の時にもユークリッド空間になる。多重線形関数空間は、Heyting代数になるので、直観主義論理のモデルになる。線形関数は多重線形関数空間に含まれるので、直観主義論理で論理的に推論できる。また数値データは線形関数で近似できるので、数値デ
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper shows that numerical data can be reasoned by intuitionistic logic. The space of multi-linear functions, which is the extension of Boolean algebra, can be made into a Euclidean space. The space can be also made into a Euclidean space when the do
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1995, 号 23(1994-ICS-099), p. 175-182, 発行日 1995-03-06
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会