| 研究概要 |
本年度は,以下のような研究を行った。
・基礎理論である関係計算のファジィ版である「ファジィ関係代数の公理的定式化(斉次型)」(昨年の成果)を発展させ、論理学者A.Tarski等が示した関係代数の表現定理をカテゴリーにまで拡張し、デデキント圏、ザデェ-圏の表現定理にまで拡張し、証明した。(河原・古沢・森との協同研究)
・「ファジィグラフ」のファジイ関係計算に基づくファジイグラフ変換理論の基礎理論として、ファジイグラフに関する照合理論を提案し、さらに、プルバックグラフ変換のための基礎となるファジイグラフの圏の種々の性質を考察を証明した。(河原・森との協同研究)
・グラフ変換のみならず数学・理論情報科学の基礎理論となる「関係集合論」を提案し、そのグラフ変換理論への応用を検討した。(河原)
・これで本研究は終了するが、その詳細は研究成果報告書(冊子)に述べている。研究代表者として本研究に対して補助を賜ったことに感謝する。
|
