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