×

工程学和计算机科学的基础知识。 (英语) 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号].

MSC公司:

03B70号 计算机科学中的逻辑
03A10号 科学哲学中的逻辑
68T27型 人工智能中的逻辑
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。