×
亚当·格拉博夫斯基

粗糙包含函数的形式化开发。 （英语） Zbl 1433.68577号

福尔马利兹。数学。 27，第4期，337-345（2020年）.
摘要：由Pawlak开发的粗糙集是描述不完全或部分未知信息情况的重要工具。在本文中，继续粗糙集的形式化，我们给出了三个粗糙包含函数（RIF）的形式化特征。我们从标准的（kappa^{text{textsterling}}）开始，与Łukasiewicz相连，并将此研究扩展到两个额外的RIF：（kappa _1）和（kappa-2），以下是作者的论文A.戈莫利安斯卡【Lect.Notes Compute.Sci.5390，35–55（2008年；Zbl 1203.68203号); “关于三个密切相关的粗包含函数”，同上4585、142–151（2007；doi:10.1007/978-3-540-73451-2_16)]。我们还定义了q-RIF和弱q-RIFs。本文建立了我们工作的正式对应物[“通过计算机化证明助手构建粗略包含函数框架”，同上11499，225–238（2019；doi:10.1007/978-3-030-22815-6_18)]并向米扎尔的粗略考古迈出了初步步伐。

引用于1审查
引用于1文件

MSC公司：

68V20型 与定理证明者有关的数学形式化
03E72型 模糊集理论等。
68层37 人工智能背景下的不确定性推理

关键词：

粗糙集;粗夹杂物;近似空间

引文：

Zbl 0501.68053号;Zbl 1422.68222号;兹比尔1203.68203;兹伯利0938.68860

软件：

米扎尔
PDF格式BibTeX公司 XML格式引用
\textit{A.Grabowski}，福尔马利兹。数学。27，第4号，337--345（2020；Zbl 1433.68577）
全文： 内政部

参考文献：

[1] 安娜·戈莫林斯卡。一些广义粗糙近似的比较研究。《信息基础》，51:103-1192002·Zbl 1023.03050号
[2] 安娜·戈莫林斯卡。基于弱q-RIFs的粗糙近似。James F.Peters、Andrzej Skowron、Marcin Wolski、Mihir K.Chakraborty和Wei-Zhi Wu，编辑，《粗糙集X的交易》，计算机科学讲义第5656卷，第117-135页，柏林，海德堡，2009年。斯普林格。国际标准图书编号978-3-642-03281-3。doi:10.1007/978-3-642-03281-34·Zbl 1248.03071号
[3] 安娜·戈莫林斯卡。关于三个密切相关的粗糙包含函数。Marzena Kryszkiewicz、James F.Peters、Henryk Rybiangski和Andrzej Skowron，《粗糙集和智能系统范式》编辑，《计算机科学讲义》第4585卷，第142-151页，柏林，海德堡，2007年。斯普林格。doi:10.1007/978-3-540-73451-2_16。
[4] 安娜·戈莫林斯卡。关于某些粗糙包含函数。James F.Peters、Andrzej Skowron和Henryk Rybinñski主编，《粗糙集交易IX》，计算机科学讲义第5390卷，第35-55页。施普林格-柏林-海德堡，2008年。doi:10.1007/978-3-540-89876-43·Zbl 1203.68203号
[5] 亚当·格拉博夫斯基（Adam Grabowski）。关于粗糙集的计算机辅助推理。B.Dunin-Kęplicz、A.Jankowski、A.Skowron和M.Szczuka，编辑，《多智能体系统位置监控、安全和救援技术国际研讨会》，《软计算进展》第28卷，第215-226页，柏林，海德堡，2005年。斯普林格·弗拉格。doi:10.1007/3-540-32370-8_15·Zbl 1090.68574号
[6] 亚当·格拉博夫斯基（Adam Grabowski）。有效的粗糙集理论合并。《基础信息》，135（4）：371-3852014。doi:10.3233/FI-2014-1129·兹比尔1329.68247
[7] 亚当·格拉博夫斯基。通过计算机化的证明助手建立粗略包含函数的框架。在Tamás Mihálydeák、Fan Min、Guoyin Wang、Mohua Banerjee、Ivo Düntsch、Zbigniew Suraj和Davide Ciucci，编辑，粗糙集，《计算机科学讲稿》第11499卷，第225-238页，Cham，2019年。施普林格国际出版公司。国际标准图书编号978-3-030-22815-6。doi:10.1007/978-3-030-22815-6_18。
[8] 亚当·格拉博夫斯基（Adam Grabowski）。粗糙集的格理论——Mizar的案例研究。《基础信息》，147（2-3）：223-2402016。doi:10.3233/FI-2016-1406·Zbl 1419.68164号
[9] 亚当·格拉博夫斯基（Adam Grabowski）。粗糙集的关系形式表征。形式化数学，21（1）：55-642013。doi:10.2478/forma-2013-0006·Zbl 1286.68428号
[10] 亚当·格拉博夫斯基（Adam Grabowski）。基于二元关系的粗糙集——一种自动化方法。形式化数学，24（2）：143-1552016。doi:10.1515/forma-2016-0011·Zbl 1352.03057号
[11] Adam Grabowski和Christoph Schwarzweller。关于数学知识库中的复制。谢尔盖·奥特谢尔（Serge Autexier）、雅克·卡尔梅特（Jacques Calmet）、大卫·德拉哈耶（David Delahaye）、帕特里克·D.F.伊恩（Patrick D.F.Ion）、劳伦斯·里多（Laurence Rideau）、雷诺·里奥博（Renaud Rioboo）和艾伦·P·塞克斯顿（Alan P.Sexton），《智能计算机数学》（Intelligent Computer Mathematics）。《计算机科学讲义》第6167卷，第300-314页。施普林格，2010年。doi:10.1007/978-3642-14128-7_26·Zbl 1286.68429号
[12] Adam Grabowski和Micha Sielwiesiuk。形式化两个广义近似算子。形式化数学，26（2）：183-1912018。doi:10.2478/forma-2018-0016·Zbl 1422.68222号
[13] Adam Grabowski、Artur Korniłowicz和Adam Naumowicz。四十年的米扎尔。《自动推理杂志》，55（3）：191-1982015。doi:10.1007/s10817-015-9345-1·兹比尔1336.00111
[14] JanŁukasiewicz。Wahrscheinlichkeitsrechnung的物流部门。编辑L.Borkowski，JanŁukasiewicz-精选作品，第16-63页。北荷兰，波兰科学出版社。，阿姆斯特丹-伦敦-华沙，1970年。1913年首次在克拉科夫出版。
[15] 兹吉斯·瓦·帕瓦拉克（Zdzis aw Pawlak）。粗糙集。国际并行程序设计杂志，11:341-3561982年。doi:10.1007/BF01001956·Zbl 0501.68053号
[16] 莱赫·波尔科夫斯基（Lech Polkowski）。粗糙的血液学。《部分近似推理》，智能系统参考库第20卷，第229-257页，柏林，海德堡，2011年。斯普林格。国际标准图书编号978-3-642-22279-5。doi:10.1007/978-3642-22279-56。
[17] Lech Polkowski和Andrzej Skowron。粗糙数学：一种新的近似推理范式。国际近似推理杂志，15（4）：333-3651996。doi:10.1016/S0888-613X（96）00072-2·Zbl 0938.68860号
[18] Andrzej Skowron和Jarosław Stepaniuk。公差近似空间。基础信息学，27（2/3）：245-2531996。doi:10.3233/FI-1996-272311·Zbl 0868.68103号
[19] 朱威廉。基于关系的广义粗糙集。信息科学，177:4997-50112007·Zbl 1129.68088号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。