一种算子模糊逻辑系统
Keywords: λˉ归结,算子模糊逻辑,模糊推理
Abstract:
建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统，讨论了该逻辑系统逻辑性质.在算子模糊逻辑系统中，定义了λˉ归结，证明了λˉ归结的相容性以及基于λˉ归结的归结推理的完备性，为基于逻辑的不确定性推理提供了新的思路与方法.
| [1] | 彭家寅.模糊推理的模糊熵算法及其还原性[J].四川师范大学学报:自然科学版，2006，29（4）:415ˉ419.
|
| [2] | 周平，姜明，徐扬.基于格值命题逻辑系统LP（X）的不确定性推理[J].四川师范大学学报:自然科学版，2006，29（5）:509ˉ511.
|
| [3] | 夏世芬，马淑霞，徐扬.并行单元归结[J].四川师范大学学报:自然科学版，2004，27（5）:501ˉ504.
|
| [4] | Liu X H，XaioH.Operator fuzzy logic and fuzzy resolution[C]//Proc of the1985ISMVL.Canada:Kingstion，1985:68ˉ75.
|
| [5] | 刘叙华.基于归结方法的自动推理[M].北京:科学出版社，1994:347ˉ412.
|
| [6] | 刘叙华.算子Fuzzy逻辑中的λˉ蕴涵和λˉ强蕴涵[J].软件学报，1990（1）:26ˉ30.
|
| [7] | 刘叙华，安直.算子Fuzzy逻辑及其归结推理的改进[J].计算机学报，1990（12）:890ˉ899.
|
Full-Text
