alpha-カット演算を持ったファジィ論理関数

具有 alpha-cut 操作的模糊逻辑功能

• 批准号: 05780261
• 负责人: 高木 昇
• 金额: $ 0.58万
• 依托单位: Toyama Prefectural University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1993
• 资助国家: 日本
• 起止时间: 1993 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-05780261/
• 关键词: 多値論理; ファジィ論理; 論理式; 最簡形式

コンピュータの基礎理論である2値論理は、すべての命題は真(1)または偽(0)のいずれかであることを前提とて議論を進めている。このため、あいまいさを含んだ推論や知識表現は困難であった。このような背景をもとに、工学的にも論理学的にも2値論理以外の論理体系(多値論理体系)が古くから研究されてきたが、近年特にファジィ集合論が提唱されて以来、、工学の分野において2値論理関数を[0、1]の閉区間にまで拡張した多値論理関数(ファジィ論理関数)の理論的研究や応用研究が盛んに行われている。本研究では、ファジィ論理関数にファジィ集合論の概念であるalpha-カット演算と同様な演算子を導入することにより得られる多値論理関数を対象にし、その代数的な性質を明らかにすることにある。特に今回はalpha-カット演算子の特殊な場合に相当する単項演算子を導入したファジィ論理関数(Kleene-Stone論理関数)の最簡形式を求めるアルゴリズを明らかにした。今回定義した最簡形式は文字数が最小である論理式のことで、従来からの2値論理関数やファジィ論理関数と同様な定義である。また、最簡形式を求めるアルゴリズムは主項の概念を用いて表現されているが、このままの主項で表現されたアルゴリズムでは与えられたKleene-Stone論理関数のすべての最簡形式を求めることは一般には不可能であり、すべての最簡形式を求めるアルゴリズムの定式化が今後の課題と言える。今回はalpha-カット演算を持ったファジィ論理関数の部分系についての研究を行ったが、このような部分系を考察することは今後の研究の見通しのために有用と思われる。更にKleene-Stone論理関数では必然性や可能性などの様相を論理式として表現することが可能であり、このためあいまいさと共に様相も取り扱えるような論理プログラミングの応用研究にKleene-Stone論理関数は有効であると考えられる。

コンピュータのBasic Theoryである2夤理は、すべてのPropositionは真(1)または pseudo(0)のいずれかであることをpremise とて Discussion を进めている. It is difficult to express knowledge through inference and knowledge.このようなBackground をもとに、 Engineering にもにもにもにも2 Value theory system other than theory (many Value theory system) (ancient research on the theory of value), special set theory in recent years (set theory) Since then, the field of engineering and engineering has been divided into 2 values. The research on the theory of value theory and the number of values (ファジィジィジィフィジィ) and the application of the theory are also carried out. In this study, the concept of set theory, the concept of set theory, the concept of alpha-カット calculus, and the same calculus are used.をImport することにより to get られるmulti-value theory, を対image, にし, なproperty of そのalgebra, を明らかにすることにある. Special にthis time はalpha-カットcalculatorのSpecialなoccasionにequivalentする一termcalculatorをIntroductionしたファジィ论The simplest form of the logical number (Kleene-Stone logical number) is the simplest form of the logical number. This time the definition is the simplest form of the word number and the minimum number of characters.また、The simplest form of をQuest めるアルゴリズムはThe concept of the subject をUse いて to express されているKleene- The simplest form of Stone's theory is the simplest form of the number. It is generally impossible. The simplest form of り、すべてのをQuestionめるアルゴリズムのformalization がFuture projectと说える. This time はalpha-カットcalculus をhold ったファジィtheoretical relationship のpartial system についてのresearch を行ったが, このようなPart of the system is することはの见通しのために useful と思われる for future research. More Kleene-Stone theory related numbers, inevitability, possibility, theory formula, expression, expression, possibility, possibility and possibilityいさと公に様phaseもtakeりえるような论プログラミングの応 Practical Research The Kleene-Stone theory is a valid test.

项目成果

N.Takagi,K.Nakashima and M.Mukaidono: "Minimization for Kleene-Stone Logic Functions" Proc.24th Int,Sym on Multiple-Valued Logic. (1994)

N.Takagi、K.Nakashima 和 M.Mukaidono：“Kleene-Stone 逻辑函数的最小化”Proc.24th Int，Sym on Multiple-Valued Logic。