主観的認識推論システムの公理化
スポンサーリンク
概要
- 論文の詳細を見る
D.Schwartzは，“明白に信じる”，“強く信じる”，“かなり合理的に信じる”，“なんとなく信じる”，“信じるも信じなくもない”，“なんとなく信じない”，“かなり合理的に信じない”，“強く信じない”，“明白に信じない”を取り扱う主観的認識推論システムを提案した．しかし，公理化は未解決問題としている．本論文では，多値論理を使ってD.Schwartzの主観的認識推論システムの公理系を与え，健全性定理および完全性定理を証明する．また，D.Schwartzとは異なる意味論（クリプケ（Kripke）モデル）を定義し，公理系を与え，健全性定理および完全性定理を証明する．
- 2009-10-15
著者
関連論文
- 主観的認識推論システムの公理化
- マーケティングを意識した技術者教育
- ファジィ時相演算をもつ有限ファジィ様相論理の公理化
- Temporal Many Valued Logic with "Always" and "Until"
- Many Valued Temporal Logics
- 命題 Dynamic Logic
- プログラム様相論理(II)
- 様相論理のコンパクト定理
- On a cut-elimination in S2_4
- プログラム様相論理