×
修补，R.S。;辛德，C.J。;南卡罗来纳州麦考伊。

不一致和语义统一。 （英语） Zbl 1103.68122号

模糊集系统。 157，编号182513-2539（2006）.
总结：J.Baldwin和T.Martin和B.皮尔斯沃思在他们的著作“Fril-fuzzy and evidential reasoning”（人工智能，英国汤顿研究出版社，1995年）中，提出了大规模分配逻辑的语义统一函数。其目的是评估索赔（X）得到证据支持（Y）的真实性。本文揭示了原始统一函数在处理信念、可能性和不一致性方面的一些缺陷。通过对函数进行更改，本文允许以更加一致和直观的方式使用区间和点值语义统一。

MSC公司：

68层37 人工智能背景下的不确定性推理
68T27型 人工智能中的逻辑

关键词：

非经典逻辑;不一致;质量分配;语义统一;真实性评价

软件：

FRIL公司
PDF格式BibTeX公司 XML格式引用
\textit{R.S.Patching}等人，模糊集系统。157，第18号，2513--2539（2006；Zbl 1103.68122）
全文： 内政部

参考文献：

[1] Baldwin，J.，《人工智能的大规模分配理论》，（模糊逻辑和模糊控制，IJCAI’91 Fuzzy Logic and Fuzzy Control Workshops（1991），Springer:Springer Sydney，Australia），22-34
[2] 鲍德温，J.，《证据推理中质量分配的微积分》（Yager，R.；Fedrizzi，M.；Kapcprzyk，J.），《Dempster-Shafer证据理论的进展》（1994），威利：威利纽约），513-531·Zbl 0816.68110号
[3] 鲍德温，J。；马丁·T。；Pilsworth，B.，Fril-fuzzy和证据推理，（人工智能（1995），研究出版社：英国汤顿研究出版社）
[4] 贝尔纳普，A.，一个有用的四值逻辑，（爱泼斯坦，G.；邓恩，J.，《多值逻辑的现代使用》（1977），雷德尔出版公司：雷德尔出版公司波士顿），7-37·Zbl 0417.03009号
[5] L.Bertossi，A.Hunter，T.Schaub（编辑），《不一致容忍》，《计算机科学讲义》，第3300卷，施普林格，柏林，海德堡，2004年。；L.Bertossi，A.Hunter，T.Schaub（编辑），《不一致容忍》，《计算机科学讲义》，第3300卷，施普林格，柏林，海德堡，2004年·Zbl 1063.68001号
[6] de Kleer，J.，《ATMS问题解决》，《人工智能杂志》，第28期，第197-224页（1986年）
[7] Dempster，A.，《多值映射诱导的上下概率》，《数学年鉴》。统计人员。，38，325-339（1967），由Shafer Shafer（1976）进一步开发·Zbl 0168.17501号
[8] Dubois，D。；Prade，H.，《可能性理论、概率论和多值逻辑：澄清》，《数学年鉴》。人工智能，32，35-66（2001）·兹比尔1314.68309
[9] Garey，M。；Johnson，D.，《计算机与不可纠正性——NP完全性理论指南》（1979年），W.H.Freeman:W.H.Freeman San Francisco·Zbl 0411.68039号
[10] 辛德，C。；Bray，A.，《使用协作真理维护系统的并行工程》（Bramer，M.，《专家系统的研究与开发》（1992），剑桥大学出版社：剑桥大学出版社，265-272
[11] 修补，R。；辛德，C。；McCoy，S.，生成真值空间质量分配算子的极限，（Rossiter，J.；Lawry，J.，Proc.2003英国计算智能研讨会（2003）），123-130
[12] 波普莱斯通，R。；Smithers，T。；科尼，J。；Koutsou，A。；米林顿，K。；Sahar，G.，《工程设计支持系统》（Proc.First Internat.Conf.on Applications of Artificial Intelligence（1986），计算力学出版物：计算力学出版物Southampton）
[13] G.Provan，场景表示中多控制TMS的效率分析，技术报告OU-RRG-87-9，机器人研究小组，牛津大学，1988年。；G.Provan，场景表示中多控制TMS的效率分析，技术报告OU-RRG-87-9，机器人研究小组，牛津大学，1988年。
[14] Scott，D.，《连续格》（拓扑，代数几何和逻辑，数学讲义，第274卷（1972年），施普林格：施普林格-柏林），97-136·Zbl 0239.54006号
[15] Scott，D.，《计算机科学中的一些有序集》，（Rival，I.，有序集（1982），Reidel出版社：波士顿Reidel出版社），677-718·Zbl 0497.06001号
[16] Shafer，G.，《证据的数学理论》（1976），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·Zbl 0359.62002号
[17] Smets，P。；Kennes，R.，可转移信念模型，人工智能，66，191-234（1994）·Zbl 0807.68087号
[18] Zadeh，L.，《模糊限制的演算》，（模糊集及其在认知和决策过程中的应用（1975），学术出版社：纽约学术出版社），1-40·Zbl 0327.02018号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。