WEKO3
-
RootNode
アイテム
命題論理の幾何的モデル
https://ipsj.ixsq.nii.ac.jp/records/15019
https://ipsj.ixsq.nii.ac.jp/records/15019d56d0eea-651a-426f-8330-1363431ba844
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL3106004.pdf (739.6 kB)
|
Copyright (c) 1990 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1990-06-15 | |||||||
| タイトル | ||||||||
| タイトル | 命題論理の幾何的モデル | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Topological Model for Propositional Logics | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| その他タイトル | ||||||||
| その他のタイトル | 人工知能 | |||||||
| 著者所属 | ||||||||
| （株）東芝システムソフトウェア技術研究所 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| System and software Engineering Laboratory, Toshiba Corporation | ||||||||
| 著者名 |
月本, 洋
× 月本, 洋
|
|||||||
| 著者名(英) |
Tsukimoto, Hiroshi
× Tsukimoto, Hiroshi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 最近 非単調論理 様相論理 ファジー論理等の非古典論理が 人工知能その他の情報処理の分野で盛んに研究されている.本論文では それらの非古典命題論理を統一的に扱えるような幾何的なモデルを提案する.その幾何的なモデルは 自然言語が有する 命題間の距離や命題の情報量を自然な形で反映している.その構成方法は以下のとおりである.(1)実係数多項式関数のある種の計算が 古典命題論理のモデルになる.(2)巾等律を部分的に除くことによってこのモデルを拡張する.(3)この拡張モデルは関数空間であるが ある内積を導入することによりユークリッド空間になる.(4)命題に情報量を導入することによりこの空間の部分集合が 非古典命題論理の命題と対応している.以上の手法で構成されたモデルが 非古典命題論理に有効であることを ファジー論理 様相論理 非単調論理で確認する. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 31, 号 6, p. 783-791, 発行日 1990-06-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
