×
贝内德克·纳吉;Raed巴斯布;泰伯·塔伊提

Łukasiewicz型模糊逻辑中的惰性评估。 （英语） Zbl 1423.03086号

模糊集系统。 376, 127-151 (2019).
摘要：懒惰评估在计算机科学的各个领域都发挥着重要作用，包括硬件设计、编程、决策。本文考虑了最著名和最常用的模糊逻辑系统之一Łukasiewicz逻辑。为了加快Łukasiewicz逻辑中逻辑公式的求值速度，提出了剪枝算法，剪掉了由于某些原因对最终结果没有影响的公式树分支。算法的正确性也得到了证明。

MSC公司：

03B52号 模糊逻辑；模糊逻辑
03B35型 证明和逻辑运算的机械化
68瓦40 算法分析

关键词：

非经典逻辑;剪枝算法;公式树;快速评估;模糊逻辑;多值逻辑;惰性评估
PDF格式BibTeX公司 XML格式引用
\textit{B.Nagy}等人，《模糊集系统》。376127-151（2019年；Zbl 1423.03086）
全文： 内政部

参考文献：

[1] 阿古佐利，S。；Ciabattoni，A.，无限值Łukasiewicz逻辑的有限性，J.Log。语言信息，9，5-29（2000）·Zbl 0951.03024号
[2] Barwise，J。；Etchemendy，J.，《骗子：真理与循环论论文》（1987），牛津大学出版社：牛津大学出版社，纽约·Zbl 0678.03001号
[3] 巴斯布斯，R。；Nagy，B.，《广义博弈树及其评估》，（CogInfoCom 2014年公报：第五届IEEE认知信息通信国际会议（2014年），Vietri sul Mare:Vietri sul Mare Italy），55-60
[4] R.巴斯布。；Nagy，B.，《快速评估树状网络的策略》，Acta Polytech。挂。，12, 6, 127-148 (2015)
[5] 巴斯布斯，R。；纳吉，B。；Tajti，T.，哥德尔型逻辑中的短路评估， （FANCCO 2015年公报：第五届模糊和神经计算国际会议。FANCCO 2015:第五届印度海得拉巴模糊和神经计算机国际会议坏，印度，高级知识分子。系统。计算。，第415卷（2015），施普林格），119-138
[6] R.巴斯布。；Tajti，T。；Nagy，B.，《产品逻辑快速评估》，（2016年IEEE模糊系统国际会议。2016年IEEE-模糊系统国际大会，2016年，FUZZ-IEEE，加拿大温哥华（2016）），140-147
[7] 贝尔·J。；M.Machover，《数学逻辑课程》（1977年），北荷兰人：纽约北荷兰语大学，牛津·Zbl 0359.02001
[8] Gödel，K.，Zum instituoonischen Aussagenkalkül，Anzeigner Akademie der Wissenschaften im Wien，Mathematish Naturwissenschaftliche Klasse，69，65-66（1986），牛津大学出版社：牛津大学出版社纽约，转载于Kurt Gödel，《文集》，第1卷
[9] 戈多，L。；Gottwald，S.，模糊集与形式逻辑，模糊集系统。，281, 44-60 (2015) ·Zbl 1368.03029号
[10] Gottwald，S.，《多值逻辑》（2000年4月25日星期二首次出版；2015年3月5日星期四实质性修订）·Zbl 0968.03062号
[11] Hähnle，R.，多值逻辑和混合整数编程，《数学年鉴》。Artif公司。智力。，12, 231-264 (1994) ·Zbl 0856.03011号
[13] 昆都，S。；Chen，J.，模糊逻辑或Łukasiewicz逻辑：澄清，模糊集系统。，95, 369-379 (1998) ·Zbl 0924.03031号
[14] 拉卡托斯，G。；Nagy，B.，《玩家较少的游戏》，（ICAI 2004年会议记录：第六届国际应用信息学会议记录：匈牙利埃格尔第六届应用信息学国际会议（2004年）），第II-187-196页
[15] Łukasiewicz，J.，《逻辑和数学基础研究选集》（1970），北荷兰：北荷兰阿姆斯特丹·Zbl 0212.00902号
[16] 梅尔科，E。；Nagy，B.，《带有机会节点的游戏中的最优策略》，《网络学报》。，18, 171-192 (2007) ·Zbl 1135.91321号
[17] Mundici，D.，多值句子逻辑中的可满足性是NP-完全的，Theor。计算。科学。，52, 145-153 (1987) ·Zbl 0639.03042号
[18] Mushthofa，M.（穆什托法，M.）。；肖克尔特，S。；De Cock，M.，解析取模糊答案集程序，（LPNMR 2015（2015）），453-466·Zbl 1467.68028号
[19] Nagy，B.，《使用区间的一般模糊逻辑》，（第六届匈牙利计算智能研究人员国际研讨会论文集，第六届计算智能匈牙利研究人员国际会议论文集，匈牙利布达佩斯（2005）），613-624
[20] Nagy，B.，多值逻辑和C编程语言的逻辑，（ITI 2005年会议记录：第27届信息技术接口国际会议。ITI 2005年会议记录：第27届信息技术接口国际会议，IEEE，克罗地亚Cavtat（2005）），657-662
[21] Nagy，B.，《区间推理》，（2006年图表Proc.of Diagrams：第四届图表理论与应用国际会议，2006年图表Prog.of Diamags：第四次图表理论与运用国际会议，美国加利福尼亚州斯坦福市）。程序。2006年第四届图表理论与应用国际会议。程序。2006年：第四届国际图表理论与应用会议，斯坦福，加利福尼亚州，美国。注释计算。科学。，第4045卷（2006）），145-147
[22] Rich，E。；K.奈特，《人工智能》（1991），麦格劳-希尔公司：纽约麦格劳公司
[23] 罗素（Russell，R.）。；Norvig，P.，《人工智能，现代方法》（2003），普伦蒂斯·霍尔：新泽西州普伦蒂斯霍尔
[24] 肖克尔特，S。；杨森，J。；Vermeir，D.，作为有限约束满足的Łukasiewicz逻辑中的可满足性检查，J.Autom。原因。，49, 493-550 (2012) ·Zbl 1315.03035号
[25] Vizvári，B.，Globális heurisztikus eljárások a diszkrét program ozásban，Alkalmaz。Mat.Lapok，13，313-334（1989），（匈牙利语）
[26] Zadeh，L.，《模糊集、模糊逻辑和模糊系统：洛特菲·扎德的论文集》（Klir，G.J.；Yuan，B.，《模糊系统的进展——应用和理论》，第6卷（1996），《世界科学：世界科学河边》，美国新泽西州）·Zbl 0873.01048号
[27] Zadeh，L.，模糊逻辑——个人视角，模糊集系统。，281, 4-20 (2015) ·Zbl 1368.03037号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。