×

场理论和模态逻辑通过语义场使信息中出现不确定性。 (英语) Zbl 0963.68199号

作者在本文中结合了两种观点:(i)他们将模态模型,即Kripke或邻域框架以及估值嵌入到合适的参考空间中,这样参考空间就配备了一个(相当平滑的)场函数,该场函数本质上与模态模型的可及性联系在一起。并且(ii)他们考虑这样的模态模型,这些模型的可能世界和可及性关系是由以前用一些非模态语言表述的给定信息片段决定的。
这种方法允许通过适当的专门化来获得模糊集模型、Dempster-Shafer证据方法以及可能性理论模型。

MSC公司:

68层37 人工智能背景下的不确定性推理
94D05型 模糊集和逻辑(与信息、通信或电路理论有关)
03B45号 模态逻辑(包括规范逻辑)
31个C99 势理论的推广
03B52号 模糊逻辑;模糊逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] DOI:10.1016/0888-613X(94)90015-9·Zbl 0802.68144号 ·doi:10.1016/0888-613X(94)90015-9
[2] Chellas B.F.,模态逻辑导论(1980)·Zbl 0431.03009号
[3] Dubois D.,《从哲学到计算机科学的条件句》,5 pp 301–(1995)
[4] Dubois D.,《第八届欧洲人工智能会议论文集》(1988年)
[5] Hajek P.,《人工智能中的模糊逻辑》695 pp 27–(1993)
[6] DOI:10.1016/0888-613X(94)00011-Q·兹伯利0819.03017 ·doi:10.1016/0888-613X(94)00011-Q
[7] 内政部:10.1002/int.4550091003·Zbl 0834.68106号 ·数字对象标识代码:10.1002/int.4550091003
[8] Hughes G.E.,模态逻辑导论(1968)·Zbl 0205.00503号
[9] 内政部:10.4324/9780203290644·doi:10.4324/9780203290644
[10] 内政部:10.1142/S0218488594000183·Zbl 1232.68114号 ·doi:10.1142/S0218488594000183
[11] 内政部:10.2307/2184045·doi:10.2307/2184045
[12] 内政部:10.1016/0888-613X(93)90019-A·Zbl 0786.68084号 ·doi:10.1016/0888-613X(93)90019-A
[13] DOI:10.1023/A:1018828910754·Zbl 0901.53074号 ·doi:10.1023/A:1018828910754
[14] 内政部:10.1016/0165-0114(94)90348-4·Zbl 0845.03004号 ·doi:10.1016/0165-0114(94)90348-4
[15] Muirhead H.,《基本粒子物理学》(1968年)
[16] Murai T.,《第九届人类相关科学智能技术会议论文集》,第177页–(1996)
[17] DOI:10.1016/S0020-0255(97)00075-3·Zbl 0923.04006号 ·doi:10.1016/S0020-0255(97)00075-3
[18] Nakamura A.,《第22届多值逻辑会议录》,第460页–(1992)
[19] Pauli W.,In Encyklopadie der matematishen Wissens-chaften 5(1921)
[20] 内政部:10.1080/03081078608934933·Zbl 0658.93006号 ·网址:10.1080/03081078608934933
[21] Resconi G.,Quademi del研讨会,Maiematico di Brescia 5(1994)
[22] 内政部:10.1080/03081079208945051·Zbl 0767.03008号 ·doi:10.1080/03081079208945051
[23] 内政部:10.1142/S0218488593000024·兹比尔1232.03008 ·doi:10.1142/S021848859300024
[24] DOI:10.1016/0165-0114(95)00262-6·Zbl 05468851号 ·doi:10.1016/0165-0114(95)00262-6
[25] Ruspini E.,《国际系统评论》3第387页–(1989年)
[26] Shafer G.,《证据的数学理论》(1976年)·Zbl 0326.62009号
[27] Sowa J.F.,《知识表示》逻辑、哲学和计算基础(1999)
[28] Thiele H.,《第23届多值逻辑会议录》,第62页–(1993)
[29] DOI:10.1109/模糊.1993.327373·doi:10.1109/FUZZY.1993.327373
[30] Wille R.,《算法与秩序》,第33页–(1989年)·doi:10.1007/978-94-009-2639-4_2
[31] Zadeh L.A.,AI杂志7第85页–(1986)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。