×
Dragan Radojević;阿列克桑达尔·佩罗维奇;Ognjanović，佐兰;米奥德拉格·拉什科维奇

插值布尔逻辑。 （英语） Zbl 1169.03344号

Dochev，Danail（编辑）等人，《人工智能：方法、系统和应用》。2008年9月4日至6日在保加利亚瓦尔纳举行的2008年AIMSA第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85775-4/pbk）。计算机科学讲义5253。《人工智能课堂讲稿》，209-219（2008）。
摘要：如果所有有效公式的集合与所有重言式的集合一致，则多价命题逻辑（mathcal L）处于布尔框架中。众所周知，基于真功能原理的多价逻辑不在布尔框架中。插值布尔逻辑（IBL）是布尔框架中的实值命题逻辑。术语“插值”来自这样一个事实，即IBL的语义基于广义布尔多项式的概念，其中乘法可以由任何连续的t-范数\（*：[0,1]^2\longrightarrow[0,1]\）代替，从而\（xy\leqsleat x*y\）。通过几个示例说明了可能的应用。
关于整个系列，请参见[Zbl 1147.68004号].

引用于2文件

MSC公司：

03B52号 模糊逻辑；模糊逻辑
PDF格式BibTeX公司 XML格式引用
\textit{D.Radojević}等人，Lect。注释计算。科学。5253209--219（2008年；Zbl 1169.03344）
全文： 内政部

参考文献：

[1] 辛图拉，P。；Hájek，P。；霍奇克，R.，《模糊逻辑的形式系统及其片段》，《纯粹逻辑和应用逻辑年鉴》，150，40-65（2007）·Zbl 1140.03010号
[2] 埃斯特娃，F。；戈多，L。；Hájek，P。；Navara，M.用对合否定重新定义了模糊逻辑，Arch。数学。逻辑。，39103-124（2000年）·Zbl 0965.03035号 ·doi:10.1007/s001530050006
[3] 费金，R。；Halpern，J。；Megiddo，N.，概率、信息和计算推理逻辑，87，1-2，78-128（1990）·Zbl 0811.03014号 ·doi:10.1016/0890-5401（90）90060-U
[4] Grabisch，M.，Labreuche，C.：两极尺度上的决策能力。摘自：EUROFUSE信息系统研讨会，意大利瓦雷纳，2002年9月，第185-190页（2002）
[5] Grabisch，M。；Labrenche，C.，Bi-capacities-II:Choquet积分，模糊集与系统，151,2237-259（2005）·Zbl 1114.91028号 ·doi:10.1016/j.fs.2004.08.013
[6] Hájek，P.，《模糊逻辑的元数学》（1998），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 0937.03030号
[7] 莱曼·D·：广义定性概率：萨维奇重访。收录：Horvitz，E.，Jensen，F.（编辑）Procs。第12届人工智能不确定性会议（UAI 1996），第381-388页（1996）
[8] Lukasiewicz，T.，《带条件约束的概率缺省推理》，《数学与人工智能年鉴》，34，35-88（2002）·Zbl 1002.68175号 ·doi:10.1023/A:1014445017537
[9] Lukasiewicz，T.，具有覆盖的可变强度继承下的非单调概率逻辑：复杂性、算法和实现，国际近似推理杂志，44，3，301-321（2007）·Zbl 1118.68167号 ·doi:10.1016/j.ijar.2006.07.015
[10] 马尔基奥尼，E。；戈多，L。；Leite，J。；Alferes，J.，《相干条件概率推理逻辑：模态模糊逻辑方法》，《人工智能逻辑》，213-225（2004），海德堡：斯普林格·Zbl 1111.68683号
[11] Nilsson，N.，概率逻辑，人工智能，28，71-87（1986）·Zbl 0589.03007号 ·doi:10.1016/0004-3702（86）90031-7
[12] Ognjanovi´，Z.，Ognjanoć，Z..，Rašković，M.：高阶概率逻辑。收录于：《数学研究所出版物》，《新世界》，第60卷（74），第1-4页（1996）·Zbl 0884.03019号
[13] Ognjanović，Z。；Rašković，M.，具有新型概率算子的一些概率逻辑，逻辑计算。，9, 2, 181-195 (1999) ·Zbl 0941.03022号 ·doi:10.1093/logcom/9.2.181
[14] Ognjanović，Z。；Rašković，M.，《一些一阶概率逻辑》，理论计算机科学，247，1-2，191-212（2000）·Zbl 0954.03024号 ·doi:10.1016/S0304-3975（98）00341-7
[15] Ognjanović，Z。；马尔科维奇，Z。；Rašković，M.，具有不精确概率和条件概率的逻辑的完备性定理，L'Institute Matematique出版物（Beograd），78，92，35-49（2005）·Zbl 1144.03019号 ·doi:10.2298/PIM0578035O
[16] Ognjanović，Z。；佩罗维奇，A。；Rašković，M.，《定性概率算子的逻辑》，《IGPL逻辑杂志》，第16、2、105-120页（2008年）·Zbl 1138.03024号 ·doi:10.1093/jigpal/jzm031
[17] 佩罗维奇，A。；Ognjanović，Z。；拉什科维奇，M。；马尔科维奇，Z。；哈特曼，S。；Kern-Isberner，G.，《多项式权重公式的概率逻辑》，《信息和知识系统基础》，239-252（2008），海德堡：斯普林格出版社·Zbl 1138.03315号 ·doi:10.1007/978-3-540-77684-0_17
[18] Radojević，D.，[0,1]-值逻辑：布尔逻辑的自然推广，南斯拉夫运筹学杂志，10，2185-216（2000）·Zbl 0965.03027号
[19] Radojević，D.：布尔代数的插值实现。NEUREL 2006，神经网络在电气工程中应用的八次研讨会，201-206（2006）
[20] Radojević，D。；Nikravesh，M。；Kacprzyk，J。；Zadeh，L.A.，布尔代数作为层次和/或模糊性的一致框架的插值实现，《锻造新前沿：模糊先锋II》，326-351（2007），海德堡：斯普林格
[21] Radojević，D.：基于布尔代数插值实现的逻辑聚合。数学软件和软计算（接受出版）·Zbl 1152.03322号
[22] Rašković，M.：带概率算子的经典逻辑。收录于：《数学研究所出版物》，《新世界》，第53卷（67），第1-3页（1993）·Zbl 0799.03018号
[23] 拉什科维奇，M.，Ognjanović，Z.：一阶概率逻辑LP_Q，《机构数学出版物》。收录于：《新编》，卷65（79），第1-7页（1999）·Zbl 1006.03018号
[24] 拉什科维奇，M。；Ognjanović，Z。；马尔科维奇，Z。；Alferes，J.J。；Leite，J.A.，《具有条件概率的逻辑》，《人工智能中的逻辑》，226-238（2004），海德堡：施普林格，海德堡·Zbl 1111.68688号
[25] Sugeno，M.：模糊积分理论及其应用。日本东京理工大学博士论文（1974年）
[26] Zadeh，L.，模糊集，信息与控制，8，3，856-865（1965）·Zbl 0139.24606号 ·doi:10.1016/S0019-9958（65）90241-X
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。