代数的アプローチに基づくファジィ・マルチ集合論の再構築

点击翻译按钮获取中文摘要

本研究の目的は、マルチ集合およびファジィ・マルチ集合の理論をBCK代数に基づいて再構築し、最終的には、ファジィ集合、マルチ集合、ファジィ・マルチ集合の各構造について、BCK代数を共通プラットフォームとした統一基盤を形成することである。各集合論の特徴や位置づけ、公理の強弱のような関連が整然と整理されることとなり、ひいてはさらなる応用への視野が広がるものと期待される。本研究の初年度計画において、マルチ集合論に対応するBCK代数の公理を整備し、非有界BCK代数（最小元を有するが最大元の存在は仮定しない）の和演算と積演算を構成するために必要な性質を求めた。本研究の2年目である2022年度の計画は、初年度に積み残した (1) 非有界BCK代数に関する研究成果の発表、およびファジィ・マルチ集合に関する情報収集と問題点の再検討、(2) BCK代数の直積に関する精査、である。(1)に関して、ファジィ・マルチ集合に関する先行研究における問題点を精査した結果、BCK代数を基礎とするモデルを考察する上で、差集合演算の重要性のみならず、BCK代数の直積がBCK代数をなすとは限らないという既知の性質が障害となっている可能性が浮上した。そこで計画(2)を修正して、BCK代数より一般的な正規eo代数を対象として、普遍代数の成果に基づいて直積（direct product）をsubdirect productに一般化し、もとの正規eo代数がその商代数のsubdirect productで表されるための条件を調査した。その研究結果を今年度は2件の国内研究会で発表することができ、さらに次年度開催される査読付国際会議でも発表予定である。