ファジィ時相演算をもつ有限ファジィ様相論理の公理化

スポンサーリンク

概要

• 論文の詳細を見る

• 「近い将来」、「遠い将来」を数値化したファジィ時相暗算(fuzzy temporal operation)をもつ有限ファジィ様相論理の公理系を与え、健全性の定理および完全性の定理を証明する。

• 日本知能情報ファジィ学会の論文
• 1998-10-15

著者

• 森川 治

  福島工業高等専門学校

• 森川 治

  福島工高専

関連論文

• 主観的認識推論システムの公理化
• マーケティングを意識した技術者教育
• ファジィ時相演算をもつ有限ファジィ様相論理の公理化
• Temporal Many Valued Logic with "Always" and "Until"
• Many Valued Temporal Logics
• 命題 Dynamic Logic
• プログラム様相論理(II)
• 様相論理のコンパクト定理
• On a cut-elimination in S2_4
• プログラム様相論理

スポンサーリンク