WEKO3
アイテム
重み付き量化に基づく述語論理「期待真理値論理」の提案
https://matsumoto-u.repo.nii.ac.jp/records/2000303
https://matsumoto-u.repo.nii.ac.jp/records/2000303d7f99161-0a94-442d-8933-23a6c83ca166
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
matsu_chiiki_26-04.pdf (947 KB)
|
|
| アイテムタイプ | Departmental Bulletin Paper(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2025-09-08 | |||||||
| タイトル | ||||||||
| タイトル | 重み付き量化に基づく述語論理「期待真理値論理」の提案 | |||||||
| 言語 | ja | |||||||
| タイトル | ||||||||
| タイトル | A Proposal Concerning ‘Expected Truth Value Logic’ : A Predicate Logic Based on Weighted Quantification | |||||||
| 言語 | en | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | 期待真理値論理 | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | 一般化積分量化子 | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | 重み付き量化子 | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | 文脈依存性 | |||||||
| キーワード | ||||||||
| 言語 | ja | |||||||
| 主題Scheme | Other | |||||||
| 主題 | 非線形性 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | departmental bulletin paper | |||||||
| 著者 |
小林, 俊一
× 小林, 俊一
|
|||||||
| 内容記述 | ||||||||
| 内容記述タイプ | Abstract | |||||||
| 内容記述 | 従来の述語論理は、全対象を同等に扱う制約がある。本研究は課題を克服するため、各要素に「重み」を付け重要度を反映させる新しいタイプの論理体系「期待真理値論理」を構築した。全称量化子を評価と重要度の加重平均で、存在量化子は評価と正規化重みを組み合わせた独自の非線形定義でモデル化した。この論理システムが線形性・単調性・連続性など望ましい数学的性質を持ち、理論的に整合的であることも論証する。現実の多様な環境に応じた評価を可能とし、新たな理論的枠組みの構築を目指す。 | |||||||
| 言語 | ja | |||||||
| bibliographic_information |
ja : 地域総合研究 号 26, p. 23-43, 発行日 2025-08-08 |
|||||||
| 出版者 | ||||||||
| 出版者 | 松本大学・松本大学松商短期大学部 松本大学地域総合研究センター | |||||||
| item_2_source_id_11 | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11589709 | |||||||
