莱赫·波尔科夫斯基 工程学和计算机科学的基础知识。 (英语) Zbl 1436.03177号 Calosi,Claudio(编辑)等人,《梅洛洛奇与科学》。当代科学背景下的部分与整体。查姆:斯普林格。合成。伦敦银行同业拆借利率。371, 217-291 (2014). 摘要:Mereology作为朴素/形式集合理论的替代方法,在数学和信息理论的形式化中占主导地位,特别适合于讨论大量事物之间的关系,例如它们的集合或空间对象,如图形、实体等,但是,它在工程和计算机科学的其他领域也有重要的应用,如装配和设计、规划、数据分类、通过认知方案进行推理以及在许多agent系统中。我们的章节旨在展示血液学在所有这些研究领域中所起的作用。从大量积累的知识和大量应用中,我们努力提取基本事实和示例应用的骨架,以便向读者传达使用mereology工具的解决方案的优雅。我们首先讨论了梅洛洛基的原理,对斯坦尼斯劳·莱斯涅夫斯基在《教派》中开创性的形式化进行了相当详细的描述。其次是基于第二节中关联概念的Mereology记述。3.这两部分为进一步发展奠定了基础。第节讨论了Mereology的一个扩展,称为粗糙Mereology,它可以被视为在某种意义上与模糊和粗糙集理论相融合的Mereologry。3.无论在理论上还是在应用上,Mereology的一个重要拓扑成分都在Section中引起了读者的注意。第四章,第一部分,基金会结束。在第二部分,专门讨论应用程序,我们在第节中讨论了工件的概念,以及工件的设计和组装。5和Sect。6讨论了Mereology在空间推理中的作用及其应用,如形状和方向的描述以及类似RCC的空间计算。第节介绍了利用水文工具进行规划和导航的相关主题。7适用于自动移动代理(机器人),以及第节中的。8我们介绍了Mereology在知识工程中的应用,重点是Mereological粒度计算在数据分类器合成中的应用。最后,帮派。第9章介绍了mereological感知器网络,通过用于知识融合的mereological工具在多代理系统中进行推理,以及Mereologic粒度逻辑的思想。关于整个系列,请参见[Zbl 1327.03002号]. 引用于1文件 MSC公司: 03B70号 计算机科学中的逻辑 03A10号 科学哲学中的逻辑 68T27型 人工智能中的逻辑 关键词:粗糙的血液学;粗夹杂物;颗粒反射;切向成分;训练用品 软件:LERS公司;类鸟群 PDF格式BibTeX公司 XML格式引用 \textit{L.Polkowski},Synth。伦敦银行同业拆借利率。371、217--291(2014年;Zbl 1436.03177) 全文: 内政部 参考文献: [1] 阿加,A.(1996)。机器人团队、人类工作组和动物社会生物学:自然和人工多智能体自治系统研究综述。高级机器人,10523-545。 [2] Agah,A.和Bekey,G.A.(1997年)。基于取向的认知:一种针对群体中代理的新型软件架构。《实验与理论人工智能杂志》,9(2-3),393-404。 [3] Agrawal,R.、Imieliánski,T.和Swami,A.(1993)。挖掘大型数据库中项目集之间的关联规则。华盛顿特区ACM SIGMOD会议记录(第207-216页)。 [4] Amarel,S.(1991年)。人工智能和设计小组。第十二届人工智能国际会议论文集,悉尼(第563-565页)。 [5] 亚里士多德。(1989). 先前的分析。印第安纳波利斯:哈科特·Zbl 0726.01003号 [6] 亚里士多德。(2004). 形而上学(W.Ross,Trans.)。Book Delta,1203b年。古典图书馆。可用:http://www.classicallibrary.org/aristotle/metaphysics网站/ [7] Arkin,R.C.(1998年)。基于行为的机器人技术。剑桥:麻省理工学院。 [8] Arkin,H.和Colton,R.R.(1970年)。统计方法。纽约:Barnes and Noble·JFM 65.1350.02标准 [9] Artiemjew,P.(2007)。粒化数据集分类器:概念相关和分层粒化。在2007年RSKD诉讼中。2007年华沙ECML/PKDD研讨会(第1-9页)。华沙:华沙大学出版社。 [10] Asama,H.、Matsumoto,A.和Ishida,Y.(1989年)。自主分布式机器人系统的设计:ACTRESS。IEEE/RSJ IROS会议记录,筑波(第283-290页)。 [11] Asher,N.、Aurnague,M.、Bras,M.,Sablayrolles,P.和Vieu,L.(1995)《时空分析》(Rapport interne IRIT/95-08-R)。图卢兹Paul Sabatier大学信息研究所。 [12] Asher,N.和Vieu,L.(1995年)。走向一种常识性的几何:一种语义和mereopology的完全公理化。《1995年国际商会会议记录》,蒙特利尔。圣马特奥:摩根·考夫曼。 [13] Aurnague,M.和Vieu,L.(1995年)。自然语言语义的时空理论。K.Korta和J.M.Larrazábal(编辑),《自然语言的语义和语用:逻辑和计算方面》(ILCLI系列,第69-126页)。圣塞巴斯蒂安:I.Pais Vasco大学。 [14] Aurnague,M.、Vieu,L.和Borillo,A.(1997)。语言空间概念的表示形式。在M.Denis(编辑),Langage et Cognition Spatiale(第69-102页)。巴黎:马森。 [15] 贝克·L.R.(2004)。工件本体。哲学探索,7(2),99-111。 [16] Balcar,B.和Štěpánek,p.(1986年)。特奥里·姆诺日。普拉哈:学术界·Zbl 0635.03039号 [17] Balch,T.和Arkin,R.C.(1998年)。多智能体机器人团队基于行为的队形控制。IEEE机器人与自动化汇刊,14(12),926-931。 [18] Bazan,J.G.(1998年)。从决策表中提取规律的动态和非动态粗糙集方法的比较。L.Polkowski和A.Skowron(编辑),《知识发现中的粗糙集》1(第321-365页)。海德堡:Physica Verlag·Zbl 1067.68711号 [19] Björner,D.和Eir,A.(2010年)。组成性:领域的本体论和mereology。D.Dams、U.Hannemann和M.Steffen(编辑),《并发性、组合性和正确性》(计算机科学讲义,第5930卷,第22-60页)。柏林:斯普林格·Zbl 1274.68477号 [20] Bochenéski,I.M.(1954年)。Die Zeitgenössichen Denkmethoden公司。伯尔尼:A.Francke A.G。 [21] Booch,G.(1994)。面向对象的分析和应用程序设计。门罗公园:Addison-Wesley·兹比尔08368011 [22] Boothroyd,G.(2005)。装配自动化和产品设计(第二版)。博卡拉顿:泰勒和弗朗西斯。 [23] Boothroyd,G.、Dewhurst,P.和Knight,W.(2002年)。制造和装配产品设计(第二版)。纽约:马塞尔·德克尔。 [24] Borgo,S.和Vieu,L.(2009年)。形式本体论中的人工制品。A.Meijers(编辑),《技术和工程科学哲学手册》(第273-308页)。阿姆斯特丹/伦敦/波士顿:爱思唯尔。 [25] Bruning,J.L.和Kintz,B.L.(1997年)。统计学计算手册(第4版)。哥伦布:艾琳和培根。 [26] Caloud,P.、Choi,W.、Latombe,J.-C.、Le Pape,C.和Yin,M.(1990年)。室内自动化与许多移动机器人。《IEEE/RSJ IROS会议录》,筑村(第67-72页)。 [27] Canny,J.F.(1988年)。机器人运动规划的复杂性。剑桥:麻省理工学院·Zbl 0668.14016号 [28] Casati,R.、Smith,B.和Varzi,A.C.(1998年)。地理表示的本体工具。在N.Guarino(Ed.)中,信息系统中的形式本体。阿姆斯特丹:IOS。 [29] Casati,R.和Varzi,A.C.(1999)。零件和位置:空间表示的结构。剑桥:麻省理工学院。 [30] Choset,H.、Lynch,K.M.、Hutchinson,S.、Kantor,G.、Burgard,W.、Kavraki,L.E.和Thrun,S.(2005)。机器人运动原理:理论、算法和实现。剑桥:麻省理工学院·Zbl 1081.68700号 [31] Clarke,B.L.(1981)。基于联系的个体演算。《圣母院形式逻辑杂志》,22(2),204-218·Zbl 0438.03032号 [32] Clay,R.(1974)。勒希涅夫斯基的数学与布尔代数的关系。符号逻辑杂志,39,638-648·Zbl 0316.02035号 [33] 科恩·A·G(1996)。定性空间推理的演算。在J.Calmet、J.A.Campbell和J.Pfalzgraf(编辑),人工智能和符号数学计算(计算机科学讲义,第1138卷,第124-143页)柏林:施普林格。 [34] Cohn,A.G.、Gooday,J.M.、Bennett,B.和Gotts,N.M.(1996年)。对空间进行表示和推理的逻辑方法。在J.Calmet、J.A.Campbell和J.Pfalzgraf(编辑),人工智能和符号数学计算(计算机科学讲义,第1138卷,第124-143页)。柏林:斯普林格。 [35] Cohn,A.G.和Gotts,N.M.(1996年)。表现空间模糊性:一种心理学方法。知识表示和推理原理。第五届KR’96国际会议记录,波士顿(第230-241页)。旧金山:摩根考夫曼。 [36] Cohn,A.G.、Randell,D.、Cui,Z.和Bennett B.(1993年)。定性空间推理和表示。N.Carrete和M.Singh(编辑),《定性推理和决策技术》(第513-522页)。赛姆纳:巴塞罗那。 [37] Cohn,A.G.和Varzi,A.C.(1998年)。mereotopology中的连接关系。H.Prade(编辑),《1998年欧洲人工智能会议论文集:第13届欧洲人工智能大会》,布莱顿(第150-154页)。奇切斯特:威利。 [38] 德拉古纳(1922)。点、线和面作为实体集。《哲学杂志》,第19期,第449-461页。 [39] Dietterich,T.G.(2000)。机器学习中的集成方法。摘自:第一届多分类器系统国际研讨会(计算机科学讲稿,第1857卷,第1-15页)。柏林:斯普林格。 [40] Egenhofer,M.J.(1991年)。关于二元拓扑关系的推理。O.Gunther,H.&Schek(编辑),《空间数据库进展:SSD’91会议录》,苏黎世(第143-160页)。柏林。 [41] Egenhofer,M.J.和Gollidge,R.G.(编辑)。(1997). 地理信息系统中的时空推理。牛津:牛津大学出版社。 [42] 《配件》,M.C.(2004)。一阶内涵逻辑。《纯粹逻辑与应用逻辑年鉴》,127171-193·Zbl 1061.03024号 [43] Forrest,P.(2010)《不可分辨的身份》。E.N.Zalta(编辑),《斯坦福大学哲学百科全书》(2012年冬季编辑)。http://plato.stanford.edu/archives/win2012/entries/identity-insernible/。 [44] Frank,A.U.和Campari,I.(编辑)。空间信息理论:GIS的理论基础(计算机科学讲义,第716卷)。柏林:斯普林格。 [45] Frank,A.U.和Kuhn,W.(编辑)。空间信息理论:GIS的理论基础(计算机科学讲稿,第988卷)。柏林:斯普林格。 [46] Fredslund,J.和Matarić,M.(2002)。一种使用局部传感和最小通信的机器人编队通用算法。IEEE机器人与自动化汇刊,18(5),837-846。 [47] 弗雷格(Frege,G.)(1903年)。Grundgesetze der算术。二、。耶拿:弗拉格·赫尔曼·波勒·JFM 34.0071.05号 [48] Fukuda,T.和Nakagawa,S.(1987年)。动态可重构机器人系统(系统概念和最佳配置)。工业电子、控制和仪表国际会议(IECON’87),剑桥(第588-595页)。 [49] 加林·D(1975)。内涵和高阶模态逻辑。阿姆斯特丹:北荷兰·Zbl 0341.0204号 [50] 格拉斯哥,J.(1995)。基于模型的空间规划的形式主义。摘自:A.U.Frank&W.Kuhn(编辑),《空间信息理论-GIS的理论基础》(计算机科学讲稿,第988卷,第501-518页)。柏林:斯普林格。 [51] 哥德尔,K.(1951)。选择公理和广义连续统假设与集合论公理的一致性(数学研究年鉴)。普林斯顿:普林斯顿大学出版社。 [52] Gotts,N.M.和Cohn,A.G.(1995年)。一种表示空间模糊性的心理学方法。在工作文件中。第九届定性推理国际研讨会,QR'95,阿姆斯特丹。 [53] Gotts,N.M.、Gooday,J.M.和Cohn,A.G.(1996年)。一种基于连接的常识拓扑描述和推理方法。《一元论》,79(1),51-75。 [54] Grossberg,S.(1973)。轮廓增强、短时记忆和回响神经网络中的恒定性。应用数学研究,52,213-257·Zbl 0281.92005号 [55] Grzymala-Busse,J.W.(1992年)。LERS-基于粗糙集的示例学习系统。R.Słowiñski(Ed.),《智能决策支持:粗糙集理论的进步和应用手册》(第3-18页)。多德雷赫特:克鲁沃·Zbl 0820.68001号 [56] Grzymala-Busse,J.W.和Hu,M.(2000)。数据挖掘中缺失属性值的几种方法的比较。人工智能(LNAI)课堂讲稿(2005年第378-385页)。柏林:斯普林格·Zbl 1014.68558号 [57] Guarino,N.(1994年)。本体论层面。在R.Casati、B.Smith、G.White(编辑)《哲学与认知科学》中。维也纳:霍尔德-皮克勒-坦普斯基。 [58] Hájek,P.(1998年)。模糊逻辑的元数学。多德雷赫特:克鲁沃·Zbl 0937.03030号 [59] Hilpinen,R.(1995年)。信仰系统作为工件。《一元论》,第78页,第136-155页。 [60] Hirtle,S.C.和Frank,A.U.(编辑)。空间信息理论:GIS的理论基础(计算机科学讲义,第1329卷)。柏林:斯普林格。 [61] Nguyen,S.H.(2000)。正则性分析及其在数据挖掘中的应用。L.Polkowski、S.Tsumoto和T.Y.Lin(编辑),《粗糙集方法和应用:信息系统中知识发现的新发展》(第289-378页)。海德堡:Physica Verlag·Zbl 0992.68049号 [62] Hughes,G.E.和Creswell,M.J.(1996年)。模态逻辑的新介绍。伦敦:劳特利奇·Zbl 0855.0302号 [63] Huntsberger,T.、Stroupe,A.、Aghazarian,H.、Garrett,M.、Younse,P.和Powell,M.(2007)。特蕾莎:团队机器人,用于陡峭地区的探索和科学研究。《野外机器人学杂志》,24(11/12),1015-1031。 [64] Iwanu shi,B.(1973年)。论列希涅夫斯基的基本本体论。Studia Logica,XXXI,73-119·Zbl 0275.02019号 [65] Jennings,J.S.、Whelan,G.和Evans,W.F.(2001)。与移动机器人团队合作搜索和救援。SPIE(第4364卷)。奥兰多:Aerosense。 [66] Khatib,O.(1986年)。机械手和移动机器人的实时避障。国际机器人研究杂志,590-98。 [67] Kim,K.-Y.、Yang,H.和Kim D.-W.(2008)。用于协同产品设计的纯粹拓扑装配联合信息表示。机器人与计算机集成制造,24(6),744-754。 [68] Kube,C.R.和Zhang,H.(1996年)。在多机器人推箱子中使用感知提示。《IEEE机器人与自动化国际会议论文集》(ICRA’96),明尼阿波利斯(第2085-2090页)。 [69] Kuipers,B.J.(1994)。定性推理:不完全知识的建模和仿真。剑桥:麻省理工学院。 [70] 莱布尼茨(Leibniz,G.W.)(1969年)。关于形而上学的论述。在L.Loemker,G.W.Leibniz(编辑),哲学论文和信件(第二版)。多德雷赫特:D.Reidel。 [71] Lejewski,C.Z.(1958年)。论列希涅夫斯基的本体论。比率,I(2),150-176。 [72] Leonard,H.S.和Goodman,N.(1940年)。个人微积分及其应用。符号逻辑杂志,5,45-55·JFM 66.0030.02标准 [73] Le she niewski,S.(1916年)。Podstawy Ogólnej Teoryi Mnogo-shi-ci,I(波兰语通用集合论基础)。Prace Polskiego Koła Naukowego w Moskwie,Sekcya Matematyczno-przyrodnicza,No.2,莫斯科。 [74] Le she niewski,S.(1927年)。O podstawach matematyki(数学基础,波兰语)。Przegla̧d Filozoficzny,XXX,164-206;Przegla̧d Filozoficzny,XXXI,261-291(1928);Przegla̧d Filozoficzny,XXXII,60-101(1929);Przegla̧d Filozoficzny,第三十三卷,第77-105页(1930年);Przegla̧d Filozoficzny,XXXIV,142-170(1931)。 [75] Le she niewski,S.(1930年)。你会死在本体论的格兰德拉赫德。C.R.社会科学。信件。Varsovie Cl.III,23 Anneé,111-132·JFM 57.1317.02标准 [76] Le she niewski,S.(1982年)。在数学基础上。托波伊,2,7-52。 [77] Ling,C.-H.(1965年)。关联函数的表示。《数学与德布勒森出版社》,第12期,189-212页·Zbl 0137.26401号 [78] Łukasiewicz,J.(1939年)。论亚里士多德的三段论。CR学院。波隆。信件。克拉科维亚,44,220-226。 [79] Łukasiewicz,J.(1957)。亚里士多德从现代形式逻辑的角度提出的三段论(第二版)。牛津:牛津大学出版社·Zbl 0043.24601号 [80] Łukasiewicz,J.(1970)。Die Logischen Grundlagen der Warcheinlichtkeitsrechnung公司。克拉科夫(1913);参见【英语翻译】:L.Borkowski(编辑),JanŁukasiewicz:精选作品(第16-63页)。阿姆斯特丹/华沙:北荷兰/波兰科学出版社。 [81] Margolis,E.和Laurence,S.(编辑)。(2007). 心灵的创造:人工制品及其表现的理论。牛津/纽约:牛津大学出版社。 [82] Matarić,M.(1993年)。亲属识别、相似性和群体行为。摘自:《第15届认知社会年会论文集》,博尔德(第705-710页)。希尔斯代尔:劳伦斯·埃尔鲍姆联合公司。 [83] Matarić,M.(1994年)。互动和智能行为。博士论文。麻省理工学院EECS系。 [84] Matarić,M.(1997年)。基于行为的控制:来自导航、学习和团队行为的示例。《实验与理论人工智能杂志》,9(2,3),323-336。 [85] McCulloch,W.和Pitts,W.(1943年)。神经活动内在思想的逻辑演算。《数学生物物理公报》,7115-133·兹比尔0063.03860 [86] Michalski,R.(1990)。模式识别作为规则引导的归纳推理。IEEE模式分析和机器智能汇刊PAMI,2(4),349-361·Zbl 0471.68068号 [87] Miéville,D.(1984年)。Stanislas Leśniewski后勤系统开发。Protoétique-生物学-医学。伯尔尼/法兰克福:彼得·朗。 [88] Ośmiałowski,P.(2009年a)。移动机器人路径规划:在水文空间推理框架中引入水文势场方法。自动化、移动机器人和智能系统杂志(JAMRIS),3(2),24-33。 [89] O shi miałowski,P.(2009b)。并发行为的规划和编程案例:机器人编队的规划和导航。CSP 2009会议记录。并发性、规范、编程、Kraków。华沙大学出版社。 [90] O shi miałowski,P.(2011)。移动自主机器人的规划和导航。华沙:PJIIT出版社。 [91] O shi miałowski,P.和Polkowski,L.(2009)。基于粗糙数学的空间推理:自主移动机器人的路径规划问题。粗糙集汇刊XII(计算机科学讲义,第6190卷,第143-169页)。柏林:斯普林格·Zbl 1288.68216号 [92] Parker,L.E.(1997)。多目标观测的协同运动控制。在IEEE/JRS智能机器人和系统国际会议(JRS IROS’97)上,格勒诺布尔(1591-1598页)。 [93] Parker,L.E.(1998)。联盟:容错多机器人协作的体系结构。IEEE机器人与自动化汇刊,14(2),220-240。 [94] Pawlak,Z.(1991年)。粗糙集:关于数据推理的理论方面。多德雷赫特:克鲁沃·Zbl 0758.68054号 [95] Pawlak,Z.,Skowron,A.(1993年)。用于生成决策规则的粗糙集方法。1993年香槟W12研讨会会议记录。法国AI的不确定性管理;和ICS研究报告23/93。华沙科技大学计算机科学研究所·Zbl 0794.03045号 [96] 普鲁塔克。(1936). 德尔福的E。《摩拉利亚》(第5卷)。剑桥:哈佛大学出版社。 [97] Polkowski,L.(2002)。粗糙集:数学基础。海德堡:Physica Verlag/Springer·Zbl 1040.68114号 [98] Polkowski,L.(2003)。一种将粗糙集理论和模糊集理论统一起来的粗糙集范式。基础信息学,54,67-88;和:《重庆RSFDGrC03会议录》(人工智能讲义,第2639卷,第70-78页)。柏林:斯普林格·Zbl 1026.68648号 [99] Polkowski,L.(2004年a)。朝向粗糙的基础。纯粹的方法。《RSCTC04会议录》,乌普萨拉(人工智能讲义,第3066卷,第8-25页)。柏林:斯普林格·Zbl 1103.03049号 [100] Polkowski,L.(2004b)。关于三值粗糙逻辑接受决策规则的注记。基础信息学,61,37-45·Zbl 1083.68116号 [101] Polkowski,L.(2005a)。基于粗糙包裹体的正式颗粒结石。《IEEE 2005年颗粒计算GrC05会议论文集》,北京(第57-62页)。电气与电子工程师协会。 [102] Polkowski,L.(2005年b)。基于颗粒的粗糙血液学演算的粗糙模糊神经计算。国际混合智能系统杂志,291-108·Zbl 1083.68042号 [103] Polkowski,L.(2007)。决策系统中知识的粒度:基于粗糙包含的方法。该方法及其应用。《RSEISP 07会议录》,华沙,2007年6月(人工智能讲义,第4585卷,第271-279页)。柏林:斯普林格。 [104] Polkowski,L.(2008)。基于粗糙数学的知识粒化和粒度计算的统一方法:综述。W.Pedrycz、A.Skowron和V.Kreinovich(编辑),《颗粒计算手册》(第375-400页)。奇切斯特:威利。 [105] Polkowski,L.(2009a)。知识粒化:信息和决策系统中基于相似性的方法。在R.A.Meyers(Ed.),Springer复杂性和系统科学百科全书中。柏林:斯普林格。第00788条。 [106] Polkowski,L.(2009b)。数据挖掘和知识发现:基于案例的推理、最近邻和粗糙集。在R.A.Meyers(编辑)的《复杂性和系统科学百科全书》中。柏林:斯普林格。第00 391条。 [107] Polkowski,L.(2011)。按部分进行近似推理。粗糙的语用学导论。柏林:斯普林格。 [108] Polkowski,L.和Artiemjew,P.(2007)。关于缺失值的粒度粗糙计算。人工智能(LNAI)课堂讲稿(第4585卷,第271-279页)。柏林:斯普林格。 [109] Polkowski,L.和O shi miałowski,P.(2008)。一个多智能体移动机器人框架:玩家/舞台系统中基于粗糙mereology的空间推理。在《人工智能讲义》(第5306卷,第142-149页)中。柏林:斯普林格。 [110] Polkowski,L.和O shi miałowski,P.(2010)。移动自主机器人及其编队的导航:从粗糙的水文几何学导出的空间推理应用。A.Barrera(编辑),移动机器人导航(第329-354页)。萨格勒布:InTech·Zbl 1288.68216号 [111] Polkowski,L.和Semeniuk-Polkowska,M.(2005)。基于相似关系的粗糙集逻辑。基础信息学,64,379-390·Zbl 1102.68129号 [112] Polkowski,L.和Semeniuk-Polkowska,M.(2010)。边界、边界、栅栏、树篱。柏林洪堡大学《2010年CS&P学报》(并发、规范和编程)·Zbl 1285.68175号 [113] Polkowski,L.和Skowron,A.(1994年)。粗糙的血液学。《ISMIS’94会议录》(人工智能讲义,第869卷,第85-94页)。柏林:斯普林格。 [114] Polkowski,L.和Skowron,A.(1997)。粗糙数学:一种新的近似推理范式。国际近似推理杂志,15(4),333-365·Zbl 0938.68860号 [115] Polkowski,L.和Skowron,A.(1998年)。分布式系统中设计、分析、综合和控制的基本数学基础。《国际信息科学杂志》,104(1-2),129-156·Zbl 0947.68133号 [116] Polkowski,L.和Skowron,A.(1999a)。用于从经验中提取近似解的分布式合成的语法系统。在Gh.Paun和A.Salomaa(编辑),多智能体系统的语法模型(第316-333页)。阿姆斯特丹:戈登和布雷奇·Zbl 0963.68088号 [117] Polkowski,L.和Skowron,A.(1999b)。朝向自适应颗粒演算。L.A.Zadeh和J.Kacprzyk(编辑),《信息/智能系统中的文字计算》1。基础。海德堡:Physica Verlag·Zbl 0949.68143号 [118] Polkowski,L.和Skowron,A.(2001)。颗粒的粗糙血液学计算:一种粗糙集计算方法。国际计算智能杂志,17(3),472-492。 [119] Ramón y Cajal,S.(1889年)。形态与元素之间的联系。Anatomisches Anzeiger,4111-121岁。 [120] Randell,D.、Cui,Z.和Cohn,A.G.(1992年)。基于区域和连接的空间逻辑。第三届知识表示和推理原则国际会议论文集KR’92,剑桥(第165-176页)。圣马特奥:摩根·考夫曼。 [121] Reynolds,C.(1987)。群、畜群和学校。分布式行为模型。计算机制图,21(4),25-34。 [122] Rosenblatt,F.(1958年)。感知器:大脑中信息存储和组织的概率模型。《心理评论》,65(6),386-408。 [123] RSES:粗糙集探索系统。(2012). 数据分析系统;可在获取http://logic.mimuw.edu.pl/rses/;最后输入25。03. 2014. [124] Russell,S.J.和Norvig,P.(2009年)。人工智能:现代方法(第三版)。上鞍河:普伦蒂斯·霍尔·Zbl 0835.68093号 [125] Salustri,F.A.(2002年)。用于产品建模的Mereotopology。基于逻辑的产品建模新框架。设计研究杂志,2,22。 [126] Seibt,J.(2009)。一般过程理论中的涌现交互形式。合成,1666479-512。 [127] SEP(斯坦福大学哲学百科全书)。(2012). 人工制品;可用的http://plato.stanford.edu/entries/artifact; 最后输入25。03. 2014. [128] 余·史瑞德。(1960). 平等、相似、有序。莫斯科:和平号出版社。 [129] Simons,P.(2003)。部分。本体论研究。牛津:克拉伦登。 [130] Skowron,A.(1993)。用于生成决策规则的布尔推理。《ISMIS’93会议录》,特隆赫姆(人工智能讲义,第689卷,第295-305页)。柏林:斯普林格。 [131] Skowron,A.和Rauszer C.(1992年)。决策系统中的可辨矩阵和函数。R.Słowiánski(Ed.)智能决策支持。粗糙集理论的应用和进展手册(第311-362页)。多德雷赫特:克鲁沃·Zbl 0820.68001号 [132] Słupecki,J.(1949-1950)。论亚里士多德的三段论。哲学研究所(波兹南),4275-300。 [133] Słupecki,J.(1955)。勒希涅夫斯基的名字演算。Studia Logica,III,7-72。 [134] Smith,B.(1989)。逻辑和形式本体。J.N.Mohanty,&W.McKenna(编辑),胡塞尔现象学:教科书(第29-67页)。拉纳姆:美国大学出版社。 [135] Smith,B.(1996)。单拓扑学:关于部分和边界的理论。数据与知识工程,20287-303·Zbl 0875.68387号 [136] Smith,B.和Varzi,A.C.(1997年)。菲亚特和真正的界限。哲学与现象学研究,60(2),401-420。 [137] 索波辛斯基,B.(1949年)。分析俄罗斯的矛盾与Leśniewski的矛盾。Methodos,I,94-107,220-228,308-316;Methodos,II,237-257(1950)·Zbl 0034.15101号 [138] 索波辛斯基,B.(1954-1955)。勒希涅夫斯基的血液学研究。波兰海外艺术与科学学会1954-55年年鉴,第五卷(1955年),伦敦(第34-43页)。 [139] Srzednicki,J.、Surma,S.J.、Barnett,D.和Rickey,V.F.(编辑)。(1992). 斯坦尼斯·艾夫·勒希涅夫斯基作品集。多德雷赫特:克鲁沃。 [140] Stone,P.(2000)。多智能体系统中的分层学习:机器人足球的成功方法。剑桥:麻省理工学院。 [141] Tarski,A.(1929)。《军团之家》(Les fondements de la géométrie des corps)。《数学波兰舞曲年鉴补编》,第7期,第29-33页。 [142] Tarski,A.(1935年)。Zur Grundlegung der Booleschen代数。I.基础数学,24177-198·Zbl 0011.00203号 [143] Tarski,A.(1937年)。附录E.J.H.Woodger(Ed.),《生物学中的公理方法》(第160页)。剑桥:剑桥大学出版社。 [144] Tarski,A.(1959年)。什么是初等几何?L.Henkin、P.Suppes和A.Tarski(编辑),《公理方法与几何和物理的特殊参考》(第16-29页)。阿姆斯特丹:荷兰北部·Zbl 0092.38504号 [145] 图灵,A.M.(1948)。智能机械。一份报告。国家物理实验室,数学部。 [146] 加州大学欧文分校知识库。(2012). 可在http://archive.uci.edu/ml/datasets; 最后输入25。03. 2014. [147] Uny,C.Y.、Fukunaga,A.S.和Kahng,A.B.(1997)。合作移动机器人:前驱和方向。自主机器人,4,7-27。 [148] Van Benthem,J.(1983年)。时间的逻辑。多德雷赫特:雷德尔·Zbl 0535.03010号 [149] Van Benthem,J.(1988)。内涵逻辑手册。斯坦福:CSLI斯坦福大学·Zbl 0678.03010号 [150] Varzi,A.C.(2008年)。母性和组成的外延。《哲学季刊》,58,108-133。 [151] Werbos,P.J.(1994)。反向传播的根源:从有序衍生品到神经网络和政治预测。纽约:Wiley。 [152] Whitehead,A.N.(1916年)。空间的关系。《梅塔普西克与道德评论》(Revue de Métaphysique et de Morale),第23期,第423-454页·JFM 46.1283.01号 [153] Whitehead,A.N.(1919年)。关于人类知识原则的调查。剑桥:剑桥大学出版社·JFM 47.0049.02号 [154] Whitehead,A.N.(1920)。自然的概念。剑桥:剑桥大学出版社·JFM 47.0049.03号 [155] Whitehead,A.N.(1929)。过程与现实:宇宙学论文。纽约:麦克米伦出版社·JFM 55.0035.03标准 [156] Woodger,J.H.(1937年)。生物学中的公理方法。剑桥:剑桥大学出版社·JFM 63.0827.02号 [157] Woodger,J.H.(1939年)。理论建构技术。R.Carnap等人(编辑),《国际统一科学百科全书》,第二卷(第5卷,第1-81页)。芝加哥:芝加哥大学出版社·Zbl 0060.01903号 [158] Wróblewski,J.(2004)。组合近似空间的自适应方面。S.K.Pal、L.Polkowski和A.Skowron(编辑),《粗糙神经计算:文字计算技术》(第139-156页)。柏林:施普林格 [159] 扎德,洛杉矶(1965)。模糊集。信息与控制,8338-353·Zbl 0139.24606号 [160] Zadeh,L.A.(1979年)。模糊集和信息粒度。M.Gupta、R.Ragade和R.R.Yager(编辑),《模糊集理论和应用进展》(第3-18页)。阿姆斯特丹:荷兰北部。 [161] Zadeh,L.A.(2004)。走向一个统一的不确定性理论。《IPMU 2004年会议记录》,佩鲁贾(第1卷,第3-4页)。 [162] 泽梅洛,E。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。