×
保罗·博尔纳利;桑迪普·保罗

具有双域语义的模糊自由逻辑。 （英语） Zbl 07728693号

莫华·班纳吉（编辑）等，《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13963, 130-142 (2023).
小结：在这项工作中，我们提出了一个模糊自由逻辑，这是一个广义系统，它可以对包含非指代单数术语模糊性的句子进行适当的解释。这种逻辑是经典的正自由逻辑系统与谓词理性Pavelka逻辑的融合。给模糊自由逻辑的语义是基于双域语义的。在系统中引入了分级相似性度量，该度量允许基于某些属性比较两个对象并指定相似程度。证明了该系统的可靠性。
关于整个系列，请参见[Zbl 1517.03002号]。

理学硕士：

03Bxx号 一般逻辑
68T27型 人工智能中的逻辑

关键词：

自由逻辑;正自由逻辑;双域语义;理性Pavelka逻辑;分级相似度量;空名称
PDF格式BibTeX公司 XML格式引用
\textit{B.Paul}和\textit{S.Paul}Lect。注释计算。科学。13963、130--142（2023；Zbl 07728693）
全文： 内政部

参考文献：

[1] 班纳吉，M。；查克拉波蒂，MK，《模糊的基础：一种分类理论方法》，电子。注释Theor。计算。科学。，82, 4, 10-19 (2003) ·Zbl 1270.03108号 ·doi:10.1016/S1571-0661（04）80701-1
[2] Běhounek，L。；Dvořák，A。；Kacprzyk，J。；Szmidt，E。；萨德罗尼。；阿塔纳索夫，KT；Krawczak，M.，《模糊逻辑中的非演绎术语：初步探索》，《模糊逻辑学与技术进展》2017，148-158（2018），查姆：斯普林格，查姆·doi:10.1007/978-3-319-66830-714
[3] Bencivenga，E。；Dalla Chiara，ML，《自由语义学》，《意大利科学哲学研究》，31-48（1980），多德雷赫特：施普林格·Zbl 0446.03019号 ·doi:10.1007/978-94-009-8937-5_3
[4] Hájek，P.，《模糊逻辑的元数学》（2013），海德堡：斯普林格出版社
[5] Hájek，P。；巴黎，J。；Shepherdson，J.，Rational Pavelka谓词逻辑是łukasiewicz谓词逻辑J.Symb的保守扩展。日志。，65, 669-682 (2000) ·Zbl 0971.03025号 ·doi:10.2307/2586560
[6] 马萨诸塞州汗；班纳吉，M。；Rieke，R.，《信息系统的更新逻辑》，《国际期刊近似推理》。，55436-456（2014年）·Zbl 1316.68154号 ·doi:10.1016/j.ijar.2013.07.007
[7] 兰伯特，K.，《自由逻辑：论文选集》（2002），剑桥：剑桥大学出版社，剑桥·Zbl 1026.03003号 ·doi:10.1017/CBO9781139165068
[8] 兰伯特，K。；兰伯特，K.，《自由逻辑的哲学基础》，《自由逻辑学：文选》，122-175（2004），剑桥：剑桥大学出版社，剑桥
[9] Lambert，K.，《重新审视存在主义意义》，《圣母院正式日志》。，4, 4, 288-292 (1963) ·Zbl 0139.24409号 ·doi:10.10305/ndjfl/1093957655
[10] Lambert，K.，《自由逻辑与存在概念》，《圣母院形式日志》。，8, 1-2, 133-144 (1967) ·Zbl 0204.00302号
[11] 莱曼：严格的弗雷琴自由逻辑。J.菲洛斯。日志。307-336 (1994) ·Zbl 0806.03004号
[12] Morscher，E。；西蒙斯，P。；Morscher，E。；《自由逻辑：五十年的过去和开放的未来》，《自由逻辑新论文》，1-34（2001），多德雷赫特：施普林格·Zbl 1021.03508号 ·doi:10.1007/978-94-015-9761-61d
[13] Nolt，J。；Jacquette，D.，《自由逻辑，逻辑哲学》，1023-1060（2007），阿姆斯特丹：爱思唯尔出版社·doi:10.1016/B978-044451541-4/50027-0
[14] 密歇根州Sessa，《基于相似性的SLD分辨率近似推理》，Theoret。计算。科学。，275, 1-2, 389-426 (2002) ·Zbl 1051.68045号 ·doi:10.1016/S0304-3975（01）00188-8
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。