×
阿曼达·维达尔

MNiBLoS：一个基于SMT的求解器，用于基于连续t范数的逻辑及其一些模态展开。 （英语） 兹比尔1428.68346

信息科学。 372709-730（2016）.
摘要：在文献中，很少有人关注数学模糊逻辑系统求解器的发展，尤其是很少有涉及无穷值逻辑的著作。本文介绍了mNiBLoS（模式Nice BL-Logics解算器）：一个基于模块化SMT的求解器，针对一系列基于连续t-范数的模糊模态逻辑（具有有限和无限宇宙），将模态结构限制为有限结构。在命题层次上，求解器与一些最著名的无限值模糊逻辑（包括BL、Łukasiewicz、Gödel和乘积逻辑）以及所有基于连续t-范数的逻辑（可以用前面的逻辑有限地表示）一起工作；关于模态展开，mNiBLoS对所考虑的模态结构的基数没有任何限制。求解器可以测试方程的1-可满足性、重言式和逻辑结果问题。支持的逻辑语言用有理常数和Monteiro-Baaz（Delta）运算符扩展了通常的模糊模态逻辑。mNiBLoS的代码是免费发布的，可以在作者的网页上找到。

引用于2文件

MSC公司：

68伏15 定理证明（自动和交互式定理证明、演绎、解析等）
03B52号 模糊逻辑；模糊逻辑

关键词：

模糊逻辑;模态逻辑;自动推理;连续t-范数;表面贴装技术;无限值逻辑

软件：

Fuzzydl公司;MNiBLoS（移动互联网操作系统）;z3（零3）;SMT-LIB公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Vidal}，信息科学。372709-730（2016；Zbl 1428.68346）
全文： 内政部

参考文献：

[1] 阿格里亚诺，P。；Montagna，F.，BL-代数的种类。I.一般特性，J.Pure Appl。《代数》，181，2-3，105-129（2003）·Zbl 1034.06009号
[2] 阿古佐利，S。；Gerla，B.，《论基本逻辑中的反模型》，神经网络。世界，12，5，407-421（2002）
[3] 阿古佐利，S。；Gerla，B。；Haniková，Z.，《基本逻辑中的复杂性问题》，软计算。，9, 12, 919-934 (2005) ·Zbl 1093.03010号
[4] Alsinet，T。；巴罗佐，D。；Béjar，R。；Bou，F。；塞拉米，M。；Esteva，F.，关于用smt解算器在无限值乘积逻辑上实现模糊dl解算器，可扩展不确定性管理论文集（SUM2013），计算机科学讲义，8078，325-330（2013），施普林格
[5] 安索特吉，C。；博菲尔，M。；许多à，F。；Villaret，M.，用可满足模理论求解器构建无限值逻辑的自动定理证明器，IEEE第42届多值逻辑国际研讨会（ISMVL 2012），15-30（2013）
[6] 巴德，F。；Peñaloza，R.，《关于具有GCI和乘积T范数的模糊描述逻辑的不可判定性》，《组合系统前沿学报》（FroCoS2011），55-70（2011），Springer·Zbl 1348.68236号
[7] 巴雷特，C。；Stump，A。；Tinelli，C.，《SMT-LIB标准：2.0版》，技术报告（2010年），爱荷华大学计算机科学系
[9] Bobillo，F。；Bou，F。；关于某些模糊描述逻辑中有限模型性质的失效，模糊集系统。，172, 1, 1-12 (2011) ·Zbl 1231.03025号
[10] Bobillo，F。；塞拉米，M。；埃斯特娃，F。；加西亚·塞尔达尼亚，a。；佩尼亚洛萨，R。；斯特拉契亚，U.，《数学模糊逻辑框架中的模糊描述逻辑》，（辛图拉，R.；辛图拉（Cintula，P.），《数理模糊逻辑手册》第16章，第3卷，《逻辑、数学逻辑和基础研究》（2015）第58卷），1105-1181·Zbl 1436.03157号
[11] Bobillo，F。；美国斯特拉契亚，fuzzyDL:一种表达型模糊描述逻辑推理器，IEEE计算智能世界大会论文集，923-930（2008）
[12] Bobillo，F。；美国斯特拉契亚，《具有一般t-范数和数据类型的模糊描述逻辑》，模糊集系统。，160, 23, 3382-3402 (2009) ·Zbl 1192.68659号
[13] Bobillo，F。；美国斯特拉契亚，模糊本体推理机fuzzyDL，Knowl。基于系统。，95, 12-34 (2016)
[14] Bobillo，F。；美国斯特拉契亚，用一般概念包含吸收优化模糊描述逻辑推理机，模糊集系统。，292, 98-129 (2016) ·Zbl 1380.68351号
[15] 博菲尔，M。；许多à，F。；维达尔，A。；Villaret，M.，《3值łukasiewicz规则的复杂性》，《人工智能建模决策会议记录——第12届国际会议》，MDAI 2015，计算机科学讲稿，9321，221-229（2015），Springer·Zbl 1366.68086号
[16] 博菲尔，M。；许多à，F。；维达尔，A。；Villaret，M.，《在lukasiewicz逻辑中寻找可满足性的硬实例》，IEEE第45届多值逻辑国际研讨会论文集，30-35（2015），IEEE CS出版社
[17] Bou，F。；埃斯特娃，F。；戈多，L。；Rodríguez，R.，关于有限剩余格上的最小多值模态逻辑，J.logic Comput。，739-790年5月21日（2011年）·兹比尔1252.03040
[18] 凯塞多，X。；梅特卡夫，G。；罗德里格斯，R。；Rogger，J.，《哥德尔模态逻辑的有限模型性质》，第20届国际研讨会论文集，WoLLIC 2013，逻辑、语言、信息和计算，第8071卷，226-237（2013），Springer·Zbl 1395.03008号
[19] Caicedo，X。；Rodriguez，R.O.，[0，1]值kripke框架上的双模哥德尔逻辑，J.logic Comput。，25, 1, 37-55 (2015) ·Zbl 1371.03035号
[20] Caicedo，X。；Rodríguez，R.O.，《标准哥德尔模态逻辑》，Studia Logica，94，2，189-214（2010）·Zbl 1266.03030号
[21] 塞拉米，M。；美国斯特拉契亚，《关于模糊描述逻辑在łukasiewicz t-范数下的（un）可判定性》，《信息科学》。，227, 1-21 (2013) ·Zbl 1293.68255号
[22] 查格罗夫，A。；Zakharyaschev，M.，模态逻辑（1997），牛津大学出版社·Zbl 0871.03007号
[23] Cignoli，R。；Torrens，A.，《乘积逻辑的代数分析》，多值逻辑，5，45-65（2000）·Zbl 0962.03059号
[24] 辛图拉，P。；Hájek，P。；诺格拉，C.，《数学模糊逻辑手册》，2卷，《逻辑研究》第37卷和第38卷。《数学逻辑与基础》（2011），大学出版物·Zbl 1283.03001号
[25] de Moura，L.M。；Björner，N.，Z3:高效SMT求解器，《系统构建和分析工具和算法会议录》，第14届国际会议，TACAS 2008，作为ETAPS 2008的一部分举行，337-340（2008），Springer
[26] Hähnle，R.，《多值逻辑中的自动演绎》，《计算机科学国际专著丛书》（1993年）第10卷，克拉伦登出版社牛津大学出版社：克拉伦登出版牛津大学出版社纽约·Zbl 0798.03010号
[27] Hájek，P.，《模糊逻辑的元数学》，《logic-Studia Logica图书馆趋势》（1998）第4卷，Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0937.03030号
[28] Hájek，P.，《使模糊描述逻辑更通用》，模糊集系统。，154, 1, 1-15 (2005) ·Zbl 1094.03014号
[29] Hansoul，G。；Teheux，B.，用模态扩展łukasiewicz逻辑：关系语义的代数方法，Studia Logica，101，3505-545（2013）·兹比尔1272.03100
[30] Montagna，F.，生成BL代数的多样性，软计算。，9, 12, 869-874 (2005) ·Zbl 1093.03039号
[31] Mostert，P.S。；Shields，A.L.，关于带边界紧流形上半群的结构，Ann.Math。，65、117-143（1957），第二系列·Zbl 0096.01203号
[32] de Moura，L。；Björner，N.，可满足性模理论：介绍与应用，Commun。ACM，54，69-77（2011）
[33] Mundici，D.，多值句子逻辑中的可满足性是NP-完全的，Theor。计算。科学。，52, 1-2, 145-153 (1987) ·Zbl 0639.03042号
[34] Rothenberg，R.，用于标杆自动定理证明器的Łukasiewicz逻辑中的一类定理，（Olivetti，N.，TABLEAUX’07，使用分析表和相关方法的自动推理，立场论文（2007），101-111
[35] 肖克尔特，S。；詹森，J。；Vermeir，D.，作为有限约束满足的Łukasiewicz逻辑中的可满足性检查，J.Autom。推理，49，4，493-550（2012）·Zbl 1315.03035号
[36] 肖克尔特，S。；詹森，J。；Vermeir，D。；De Cock，M.，无限值Łukasiewicz逻辑中的有限可满足性，可扩展不确定性管理学报（SUM 2009），计算机科学讲稿，5785，240-254（2009），Springer
[37] Sebastiani，R.，Lazy可满足性模理论，J.可满足性布尔模型。计算。，3, 3-4, 141-224 (2007) ·Zbl 1145.68501号
[38] 美国斯特拉契亚，《模糊逻辑和语义网络语言基础》，查普曼和霍尔信息学CRC研究系列（2013）
[39] 《关于模糊描述逻辑和应用的一切》，推理网络，第十一届国际暑期学校，辅导讲座。推理网络，第11届国际暑期学校，计算机科学教程，讲稿，9203，1-31（2015），施普林格·Zbl 1358.68279号
[40] 维达尔，A。；Bou，F。；Godo，L.，《基于SMT的连续t-范数逻辑求解器》，《可扩展不确定性管理学报》（SUM2012），计算机科学讲稿，7520，633-640（2012），Springer
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。