×

分级结果:进一步研究。 (英语) Zbl 0839.03010号

1988年,我们在多值逻辑的背景下引入了分级结果的概念[作者,基于知识的系统中的模糊逻辑,决策和控制,247-257(1988;Zbl 0666.03022号)]。在一组前提和一个语句之间定义了一个模糊关系,关联度被解释为可以从(X)推断出(β)的程度。应该注意的是,在形式化语言中,(X)是格式良好的公式和(β)单个公式的清晰集合。
本文的目的是填补先前研究中的一些空白,并在更广义的框架中重新提出整个问题。可以提及的是,最近对模糊逻辑中代数结构的研究[J.L.卡斯特罗,M.德尔加多E.特里拉斯《国际近似推理》10,第3期,235-250(1994;兹比尔0809.68095);E.图伦,模糊集系统。52,第2期,181-188(1992年;Zbl 0791.03010号)]在这个概念的当前表述中给了我们很大的启发。

MSC公司:

03B50号 多值逻辑
03B52号 模糊逻辑;模糊逻辑
03G10年 格和相关结构的逻辑方面
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bandler W.,模糊推理及其应用,第210页–(1981)
[2] Castro,J.L.、Delgado,M.和Trillas,E.,1992年。”诱导隐含关系”。预打印·兹比尔0809.68095
[3] Chakraborty M.K.,《基于知识的系统中的模糊逻辑》,第247页–(1988)
[4] Shoesmith D.J.,多结论逻辑(1978)·Zbl 0381.03001号 ·doi:10.1017/CBO9780511565687
[5] 塔斯基A.,《逻辑、语义、元数学》,牛津(1956)
[6] DOI:10.1016/0165-0114(92)90048-9·Zbl 0791.03010号 ·doi:10.1016/0165-0114(92)90048-9
[7] 内政部:10.1016/0165-0114(85)90096-X·Zbl 0609.04002号 ·doi:10.1016/0165-0114(85)90096-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。