×

为伦理和法律推理设计规范理论:LogiKEy公司框架、方法和工具支持。 (英语) Zbl 1493.68286号

总结:框架和方法——术语LogiKEy公司–对于伦理推理机的设计和工程,提出了规范理论和道义逻辑。总的动机是为智能自治系统的控制和治理开发合适的方法。LogiKEy公司的统一形式框架是基于道义逻辑、逻辑组合和伦理-法律领域理论在表达型经典高阶逻辑(HOL)中的语义嵌入。这种元逻辑方法能够在LogiKEy公司:HOL的off-the-shelf定理证明器和模型发现器正在协助LogiKEy公司伦理智能代理的设计者可以同时灵活地试验底层逻辑及其组合、伦理-法律领域理论和具体示例。这些现成证明器的不断改进,事不宜迟,充分利用了LogiKEy公司.案例研究,其中LogiKEy公司该框架和方法已经过应用和测试,证明HOL的不确定性通常不会妨碍有效的实验。

MSC公司:

68时01分 人工智能的一般主题
03A05号 逻辑和基础的哲学和批判性方面
03B16号 高阶逻辑
03B35型 证明和逻辑操作的机械化
03B45号 模态逻辑(包括规范逻辑)
68T27型 人工智能中的逻辑
68立方英尺 知识表示
68伏15 定理证明(自动和交互式定理证明、演绎、解析等)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 马勒,B.F.,《机器人伦理与机器道德的整合:机器人道德能力的研究与设计》,《技术伦理信息》。,18, 4, 243-256 (2016)
[2] 马勒,B.F。;Scheutz,M。;Austerweil,J.L.,《人类和机器人代理人的社会和道德规范网络》,(Ferreira,M.I.Aldinhas;Silva Sequeira,J.;Tokhi,M.O.;Kadar,E.E.;Virk,G.S.,《机器人世界:机器人伦理国际会议》,《机器人的世界:机器人伦理学国际会议》2015(2017),施普林格国际出版公司:施普林格(Springer International Publishing Cham),3-17
[3] (Gabbay,D.;Horty,J.;Parent,X.;van der Meyden,R.;van de Torre,L.,《道义逻辑和规范系统手册》,第1卷(2013),大学出版物:英国伦敦大学出版物)·Zbl 1309.03001号
[4] (Chopra,A.;van der Torre,L.;Verhagen,H.,《规范多代理系统手册》(2018年),大学出版社:英国伦敦大学出版社)·Zbl 1474.68001号
[5] 父母X。;van der Torre,L.,《道义逻辑和规范系统导论》(2018),大学出版物:英国伦敦大学出版物·Zbl 1431.03034号
[6] 卡尼埃利,W。;Coniglio,M。;Gabbay,D.M。;Paula,G。;Sernadas,C.,《逻辑分析与合成》,《应用逻辑系列》,第35卷(2008),施普林格出版社·Zbl 1137.03001号
[7] Gabbay,D.,《多维模态逻辑:理论与应用,逻辑研究与数学基础》(2003),北荷兰出版公司·Zbl 1051.03001号
[8] Benzmüller,C。;Farjami,A。;Parent,X.,Oqvist在HOL中的二元道义逻辑E,法律人工智能推理专刊。法律人工智能的推理专刊,IfCoLog J.Log。申请。,6, 5, 733-755 (2019)
[9] Benzmüller,C。;Farjami,A。;Parent,X.,《HOL中的二元道义逻辑》,(Broersen,J.;Condoravdi,C.;Nair,S.;Pigozzi,G.,《道义逻辑和规范系统——第14届国际会议》,2018年7月3日至6日,荷兰乌得勒支,2018年,第十四届国际会议,道义逻辑与规范系统,荷兰),33-50·Zbl 1418.03069号
[10] Benzmüller,C。;Farjami,A。;梅德尔,P。;Parent,X.,HOL中的I/O逻辑,法律人工智能推理专题。法律人工智能的推理专题,IfCoLog J.Log。申请。,715-732年6月5日(2019年)·Zbl 1513.03040号
[11] Meder,P.,道义代理与道德幸运(2018),卢森堡大学科学、技术与传播学院,硕士论文
[12] Fuenmayor,D。;Benzmüller,C.,《利用高阶(元)逻辑来用复杂的伦理理论表示和推理》,(Nayak,A.;Sharma,A.,PRICAI 2019:人工智能趋势,人工智能讲义,第11670卷(2019),Springer:Springer-Cham),418-432
[13] Fuenmayor,D。;Benzmüller,C.,《使用表达逻辑组合对复杂自然语言论点进行机械化评估》,(Herzig AndreiPopescu,A.,《组合系统的前沿》,第12届国际研讨会。《组合系统前沿》,2019年9月4日至6日,伦敦。组合系统前沿,第12届国际研讨会。《组合系统的前沿》,第12届国际研讨会,FroCoS 2019,伦敦,9月4-6日,《人工智能讲义》,第11715卷(2019),施普林格自然瑞士公司,112-128·Zbl 1435.68315号
[14] Benzmüller,C。;Andrews,P.,Church’s type theory,(扎尔塔,E.N.,《斯坦福大学哲学百科全书》(2019),斯坦福大学形而上学研究实验室),1-62,(pdf版)
[15] (Pratihar,D.K.;Jain,L.C.,《智能自治系统:基础与应用》,《计算智能研究》,第275卷(2010),施普林格出版社)·Zbl 1191.68716号
[16] de Moura,L.M。;孔,S。;阿维加德,J。;van Doorn,F。;von Raumer,J.,《精益定理证明器(系统描述)》,(Felty,A.P。;Middeldorp,A.,《自动扣除——CADE-25-25届自动扣除国际会议》。自动扣除——CADE-25-25第二届自动扣除国际会议,德国柏林,2015年8月1-7日,会议记录。自动扣减——CADE-25-25届自动扣减国际会议。自动扣除——CADE-25-25第二届自动扣除国际会议,德国柏林,2015年8月1日至7日,计算机科学论文集,第9195卷(2015),施普林格出版社,378-388·Zbl 1465.68279号
[17] Bertot,Y。;Casteran,P.,交互式定理证明和程序开发(2004),Springer·Zbl 1069.68095号
[18] Bove,A。;Dybjer,P。;美国诺雷尔,《Agda——一种具有依赖类型的函数语言的简要概述》(Berghoffer,S.;Nipkow,T.;Urban,C。;Wenzel,M.,《高阶逻辑中的定理证明》,第22届国际会议。《高阶逻辑中的定理证明》,第22届国际会议,TPHOLs 2009,德国慕尼黑,2009年8月17日至20日,Proceedings,vol.5674(2009),Springer:Springer Munich,Germany),73-78·兹比尔1252.68062
[19] Nipkow,T。;Paulson,L。;Wenzel,M.,Isabelle/HOL:高阶逻辑的证明助手,《计算机科学讲稿》,第2283卷(2002),Springer·Zbl 0994.68131号
[20] Steen,A。;Benzmüller,C.,高阶校准器Leo-III,(Galmiche,D.;Schulz,S.;Sebastiani,R.,《自动推理》,自动推理,IJCAR 2018。自动推理。自动推理,2018年国际计算机学会,计算机科学讲义,第10900卷(2018),施普林格:施普林格商学院,108-116·Zbl 1511.68332号
[21] J·卡莫。;Jones,A.J.I.,《道义逻辑与反义务》(Gabbay,D.M.;Guenthner,F.,《哲学逻辑手册》,第8卷(2002),施普林格荷兰:施普林格荷属多德雷赫特),265-343
[22] 廖,B。;斯拉夫科维奇,M。;van der Torre,L.W.N.,Building Jiminy Cricket:利益相关者之间道德协议的架构,(Conitzer,V.;Hadfield,G.K.;Vallor,S.,《2019年AAAI/ACM人工智能、道德和社会会议论文集》,2019年AIAI/ACM会议论文集,AIES 2019,美国夏威夷州火奴鲁鲁,2019(2019),ACM),147-153
[23] Dung,P.M.,《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》,Artif。智力。,77, 2, 321-357 (1995) ·Zbl 1013.68556号
[24] Benzmüller,C.,《通用(元)逻辑推理:最近的成功》,《科学》。计算。程序。,172, 48-62 (2019)
[25] Benzmüller,C。;苏丹国。;保尔森,L.C。;Theiß,F.,高阶校准仪LEO-II,J.Autom。原因。,55, 4, 389-404 (2015) ·Zbl 1356.68176号
[26] Kontopoulos,E。;北巴西利亚德斯。;总督,G。;Antoniou,G.,语义网道义逻辑的模态可解推理机,《国际语义网信息系统》。,2011年7月1日,18-43
[27] 美国富巴赫。;Schon,C.,人类推理的道义逻辑,(Eiter,T.;Strass,H.;Truszczynski,M.;Woltran,S.,《知识表示、逻辑编程和抽象论证的进展》,《计算机科学讲义》,第9060卷(2015),Springer),63-80·Zbl 1432.03031号
[28] Bringsjord,S。;Naveen Sundar,G。;马勒,B.F。;Scheutz,M.,《道德正确机器人的情境道义认知事件计算》,(国际人工智能与数学研讨会,国际人工智能和数学研讨会,ISAIM 2018,美国佛罗里达州劳德代尔堡,2018年1月3日至5日(2018))
[29] 佩雷拉,L.M。;Saptawijaya,A.,《编程机器伦理学》,《应用哲学、认识论和理性伦理学研究》,第26卷(2016年),斯普林格出版社
[30] C.Benzmüller,A.Farjami,D.Fuenmayor,P.Meder,X.Parent,A.Steen,L.van der Torre,V.Zahoransky,Logikey workbench:道义逻辑,逻辑组合和表达伦理和法律推理(Isabelle/HOL数据集),《简要数据》(提交出版),2020年。
[31] Gewirth,A.,《理性与道德》(1981),芝加哥大学出版社
[32] Gleißner,T。;Steen,A。;Benzmüller,C.,每个正规模态逻辑的定理证明器,(Eiter,T.;Sands,D.,LPAR-21。第21届国际程序设计、人工智能和推理逻辑会议。LPAR-21。第21届编程、人工智能和推理逻辑国际会议,EasyChair,Maun,Botswana。LPAR-21。第21届国际程序设计、人工智能和推理逻辑会议。LPAR-21。第21届编程、人工智能和推理逻辑国际会议,EasyChair,博茨瓦纳莫恩,EPiC计算系列,第46卷(2017),14-30·Zbl 1403.68225号
[33] Zahoransky,V.,《在HOL中模拟美国宪法》(2019年),柏林弗雷大学,理学学士论文
[34] Fuenmayor,D。;Benzmüller,C.,《Isabelle/HOL,Arch中Alan Gewirth对一般一致性原则的证明的形式化和评估》。正式证明,1-13(2018)
[35] Fuenmayor,D。;Benzmüller,C.,《气候工程论据的计算机支持分析》,(Dastani,M.;Dong,H.;van der Torre,L.,CLAR 2020-第三届逻辑与论据国际会议,《亚洲逻辑:Studia Logica图书馆》(2020),瑞士施普林格自然公司)·Zbl 1509.68246号
[36] Fuenmayor,D。;Benzmüller,C.,《计算解释学案例研究:E.J.Lowe的模态本体论论证》,《本体论论证的形式方法专题》。本体论论证的形式化方法特刊,IfCoLog J.Log。申请。,5, 7, 1567-1603 (2018) ·Zbl 1513.03009号
[37] 基什内尔,D。;Benzmüller,C。;Zalta,E.N.,《计算机科学与形而上学:交叉受精》,开放哲学。,2, 230-251 (2019)
[38] 基什内尔,D。;Benzmüller,C。;Zalta,E.N.,《功能类型理论中的机械化逻辑形而上学原理》,Symb出版社。日志。(2019),出版中·Zbl 1484.03020号
[39] Benzmüller,C。;Paulson,L.C.,《简单类型理论中的量化多模态逻辑》,《多模态逻辑专题》。多模逻辑专题,日志。大学。,7, 1, 7-20 (2013) ·Zbl 1334.03014号
[40] Gibbons,J。;Wu,N.,Folding domain-specific languages:deep and shall embeddings(functional pearl),(Jeuring,J.;Chakravarty,M.M.T.,《第19届ACM SIGPLAN函数编程国际会议论文集》,第19届AC M SIGPLA函数编程国际会议论文集,瑞典哥德堡,2014年9月1-3日(2014),ACM),339-347·Zbl 1345.68052号
[41] 斯文宁森,J。;Axelsson,E.,为EDSL结合深度和浅层嵌入,(Loidl,H.-W.;Peña,R.,《函数编程趋势》(2013),施普林格:施普林格-柏林,海德堡),21-36
[42] 布兰切特,J.C。;Böhme,S。;Paulson,L.C.,《使用SMT求解器扩展大锤》,J.Autom。原因。,51, 1, 109-128 (2013) ·Zbl 1314.68272号
[43] 布兰切特,J.C。;Nipkow,T.,Nitpick:基于关系模型查找器的高阶逻辑反例生成器(Kaufmann,M.;Paulson,L。《交互式定理证明》,第一届国际会议。交互式定理证明,第一届国际会议,ITP 2010,英国爱丁堡,2010年7月11-14日,会议记录。交互式定理证明,第一届国际会议。交互式定理证明,第一届国际会议,ITP 2010,爱丁堡,英国,2010年7月11-14日,计算机科学论文集,讲稿(2010),施普林格,131-146·Zbl 1291.68326号
[44] 克鲁内斯,S。;Blanchette,J.C.,将Nunchaku扩展到依赖型理论,(Blanchete,J.C;Kaliszyk,C.,《第一届类型理论锤子国际研讨会论文集》,IJCAR的HaTT2016年7月1日,葡萄牙科英布拉。第一届类型理论锤子国际研讨会论文集。第一届类型理论锤国际研讨会论文集,IJCAR的HaTT2016年,葡萄牙科英布拉,2016年7月1日,EPTCS,第210卷(2016年7月)),3-12
[45] Ohlbach,H。;Nonnengart,A。;de Rijke,M。;Gabbay,D.,《用经典逻辑编码二值非经典逻辑》(Robinson,J.;Voronkov,A.,《自动推理手册》(2001),Elsevier和MIT出版社),1403-1486,(分2卷)·Zbl 0992.03019号
[46] Frege,G.,Begriffsschrift。埃因·德·算术(Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens)(1879年),哈雷
[47] Benzmüller,C。;布朗,C。;Kohlhase,M.,《高阶语义与可拓性》,J.Symb。日志。,69, 4, 1027-1088 (2004) ·Zbl 1071.03024号
[48] Benzmüller,C。;Miller,D.,《高阶逻辑自动化》(Gabbay,D.M.;Siekmann,J.H.;Woods,J.,《逻辑历史手册》,第9卷,计算逻辑(2014),北荷兰,爱思唯尔),215-254·Zbl 1404.03005号
[49] Andrews,P.B.,《类型理论中的一般模型、描述和选择》,J.Symb。日志。,37, 2, 385-394 (1972) ·Zbl 0264.02049号
[50] Henkin,L.,类型理论中的完整性,J.Symb。日志。,15, 2, 81-91 (1950) ·Zbl 0039.00801号
[51] 冯·赖特,G.H.,《道义逻辑,思维》,60,1-15(1951)
[52] 斯特拉,C。;贝拉恩,M。;Van De Putte,F.,输入/输出逻辑的自适应逻辑表征,Stud.Log。,104, 5, 869-916 (2016) ·Zbl 1364.03034号
[53] Straßer,C.,《可推迟推理的自适应逻辑:在论证、规范推理和默认推理中的应用》(2013),Springer·Zbl 1350.03003号
[54] Hansson,B.,《一些道义逻辑的分析》,《Noös》,第3、4、373-398页(1969年)·Zbl 1366.03069号
[55] 奥奎斯特,L.,《道义逻辑》(Gabbay,D.;Guenthner,F.,《哲学逻辑手册》,第二版,第8卷(2002年),克鲁沃学术出版社:克鲁沃学术出版商,荷兰多德雷赫特),147-264·Zbl 1055.03002号
[56] Parent,X.,《奥克维斯特系统E和F的完整性》,Rev.Symb。日志。,164-177年8月1日(2015年)·Zbl 1371.03027号
[57] Kratzer,A.,《情态和条件句:新的和修订的视角》(2012),牛津大学出版社:牛津大学出版社,纽约·Zbl 1360.03006号
[58] Carmo,J。;Jones,A.J.I.,逆职条件逻辑的完整性和可判定性结果,J.Log。计算。,23, 3, 585-626 (2013) ·兹比尔1272.03096
[59] Alchourrón,C.,道义逻辑的哲学基础和可解除条件逻辑,(Meyer,J.-J.;Wieringa,R.,《计算机科学中的道义逻辑》(1993),John Wiley&Sons,Inc.:John Willey&Sons公司,纽约),43-84
[60] Kjos-Hanssen,B.,《Carmo和Jones的一些语义条件之间的冲突》,Stud.Log。,105, 1, 173-178 (2017) ·Zbl 1417.03154号
[61] Horty,J.,代理与道义逻辑(2009),牛津大学出版社:英国伦敦牛津大学出版社·Zbl 1119.03313号
[62] Hansen,J.,《关于许可和义务的推理》(Hansson,S.O.,David Makinson on Classical Methods for Non-Classical Problems(2014),Springer:Springer-Dordrecht),287-333·兹伯利1311.03038
[63] 父母X。;van der Torre,L.,《规范系统中的分离:示例、推理模式、属性》,IfCoLog J.Log。申请。,4, 2996-3039 (2017)
[64] 梅金森,D。;van der Torre,L.W.N.,输入/输出逻辑,J.Philos。日志。,29, 4, 383-408 (2000) ·Zbl 0964.03002号
[65] 霍蒂,J.,《违约的原因》(2012),牛津大学出版社
[66] Hansen,J.,《优先条件命令:问题和新建议》,Auton。代理多代理系统。,17, 1, 11-35 (2008)
[67] 巴尔米拉尼,M。;总督,G。;Rotolo,A。;Tabet,S。;Boley,H。;Paschke,A.,LegalRuleML:基于XML的规则和规范,(Olken,F.;Palmirani,M.;Sottara,D.,《语义网络上基于规则的建模和计算》(2011),Springer:Springer Berlin,Heidelberg),298-312
[68] Gordon,T.,《答辩游戏:程序方法的人工智能模型》(1995年),Springer:Springer New York
[69] Sartor,G.,《法律推理:法律的认知方法》(2005),Springer
[70] Pigozzi,G。;van der Torre,L.,《关于构成规范和监管规范的争论》,J.Appl。非类别。日志。,28, 2-3, 189-217 (2018) ·Zbl 1436.03141号
[71] Steen,A.,高阶定理证明及其应用,信息技术。,61, 187-191 (2019)
[72] Steen,A。;Benzmüller,C.,《Leo-III中的扩展高阶副调制》,J.Autom。原因。,1-34(2019),预印本:
[73] Benzmüller,C。;HOL中的Parent,X.,I/O逻辑-第一步(2018年),技术代表,CoRR
[74] 父母X。;范德托雷,L.W.N.,《基于规范的道义逻辑中的语用怪癖》(Keppens,J。;Governatori,G.,《第16届国际人工智能与法律会议论文集》。第16届国际人工智能与法律会议论文集,ICAIL 2017,英国伦敦,2017年6月12-16日(2017),ACM),169-178
[75] 父母X。;van der Torre,L.W.N.,《带一致性检查的I/O逻辑》,(Broersen,J.M.;Condoravdi,C.;Shyam,N.;Pigozzi,G.,《道义逻辑和规范系统——第14届国际会议》,道义逻辑与规范系统——2014年国际会议,2018年7月3日至6日,荷兰乌得勒支,2018年(2018),学院出版物), 285-299 ·Zbl 1418.03098号
[76] Benzmüller,C.,《HOL中量化条件逻辑的自动化》,(Rossi,F.,《第二十届国际人工智能联合会议论文集》(2013),美国人工智能学会出版社:美国人工智能协会出版社,中国北京),746-753
[77] Benzmüller,C.,量化条件逻辑的简化,J.Philos。日志。,46333-353(2017)·Zbl 1417.03282号
[78] Parent,X.,二元道义逻辑中的最大性与最佳性,J.Philos。日志。,43, 6, 1101-1128 (2014) ·Zbl 1321.03032号
[79] 奥奎斯特,L.,《道义逻辑和规范系统理论导论》(1987),《图书馆:那不勒斯图书馆》·Zbl 0645.03001号
[80] Goble,L.,《汉森二元道义逻辑公理》,费洛斯。不是。,13-61 (2019)
[81] X.Parent,Hansson传统中二元道义逻辑的基于偏好的语义:公理化结果的调查,见:D.Gabbay,J.Horty,X.Parent.,R.van der Meyden,L.van de Torre(编辑),《道义逻辑和规范系统手册》,第2卷,大学出版社,英国伦敦,出版社。
[82] Lewis,D.,《反事实》(1973),布莱克威尔:布莱克威尔牛津·Zbl 0989.03003号
[83] Govindarajulu,新南威尔士州。;Bringsjord,S.,《关于双重效应理论的自动化》,(Sierra,C.,《第二十六届国际人工智能联合会议论文集》,第二十六届人工智能国际联合会议论文,2017年,澳大利亚墨尔本(2017年8月19日至25日)),4722-4730
[84] Wisniewski,M。;Steen,A。;Benzmüller,C.,LeoPARD——实现高阶推理机的通用平台,(Kerber,M.;Carette,J.;Kaliszyk,C.;Rabe,F。;Sorge,V.,《智能计算机数学-国际会议》。智能计算机数学-国际会议,CICM 2015,华盛顿特区,美国,2015年7月13-17日,会议记录。智能计算机数学-国际会议。智能计算机数学-国际会议,CICM 2015,华盛顿特区,美国,2015年7月13-17日,计算机科学论文集,第9150卷(2015),Springer),325-330·Zbl 1417.68196号
[85] Steen,A。;Wisniewski,M。;Benzmüller,C.,基于代理的HOL推理,(Greuel,G.-M.;Koch,T.;Paule,P.;Sommese,A.,《数学软件-ICMS 2016》,第五届国际大会,《数学程序-ICMS 2016》,第5届国际大会《计算机科学论文集》,第9725卷(2016),施普林格:德国柏林施普林格出版社),75-81·兹比尔1434.68646
[86] Chisholm,R.,《反义务命令和义务逻辑》,《分析》,第24卷,第33-36页(1963年)
[87] Lorini,E.,《时态STIT逻辑及其在规范推理中的应用》,J.Appl。非类别。日志。,2013, 372-399 (2013) ·Zbl 1398.03080号
[88] Beyleveld,D.,《道德的辩证必要性:阿兰·格沃思对一般一致性原则的论证的分析与辩护》(1991),芝加哥大学出版社
[89] 卡普兰,D.,《论指示词的逻辑》,J.菲洛斯。日志。,8, 1, 81-98 (1979) ·兹伯利0415.03004
[90] Kornai,A.,《限制AGI的影响》,J.Exp.Theor。Artif公司。智力。,26, 3, 417-438 (2014)
[91] Wisniewski,M。;Steen,A。;Benzmüller,C.,Einsatz von Theorembeweisern in der Lehre,(Schwill,A.;Lucke,U.,Hochschuldidaktik der Informatik:7)。GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik;13.至14。2016年9月,波茨坦大学,Commentarii informaticae didacticae。Hochschuldidaktik der Informatik:7。GI-Fachbereichs Informatik und Ausbildung/Didaktik der Informatik;13.-14. 2016年9月,波茨坦大学,Commentarii informaticae didacticae,CID(2016),波茨丹大学:波茨坦,德国),81-92
[92] 卡普兰,D.,《事后思考》(Almog,J.;Perry,J.,Wettstein,H.,《卡普兰主题》(1989),牛津大学出版社),565-614
[93] Benzmüller,C.,《通用(元)逻辑推理:智者之谜》,《数据简报》,24,第103774页,(2019年)
[94] Sergot,M.,认识逻辑和“常识”,(演讲课程笔记(2008年),计算帝国学院:伦敦帝国学院计算系)(2020年)
[95] Benzmüller,C。;Otten,J。;Raths,T.,《实施和评估一阶模态逻辑的证明程序》(Raedt,L.D.;Bessiere,C.;Dubois,D.;Doherty,P.;Frasconi,P.、Heintz,F.;Lucas,P.,ECAI 2012)。ECAI 2012,《人工智能和应用前沿》,第242卷(2012),IOS出版社),163-168·Zbl 1327.68204号
[96] Barcan,R.C.,《基于严格蕴涵的一阶函数演算》,J.Symb。日志。,11, 1, 1-16 (1946) ·Zbl 0063.00205号
[97] Benzmüller,C。;Woltzenlogel Paleo,B.,《哥德尔本体论论证的不一致性:形而上学中人工智能的成功故事》,(Kambhampati,s.,IJCAI-16,第1-3卷(2016),AAAI出版社),936-942
[98] Govindarajulu,新南威尔士州。;Bringsjord,S.,《机器人的道德规范必须嵌入到其操作系统中》,(Trappl,R.,机器人道德系统构建手册-要求、方法、实现、认知技术(2015),Springer),85-99
[99] 阿金,R.C。;乌拉姆,P。;Wagner,A.R.,《自主系统中的道德决策:执行、道德情感、尊严、信任和欺骗》,Proc。IEEE,100,3,571-589(2012)
[100] 阿金,R.C。;乌拉姆,P。;Duncan,B.,《在自治系统中限制致命行动的道德州长》(2009年),佐治亚理工学院,理工大学,众议员GIT-GVU-09-02
[101] Lowe,E.J.,《本体论论证的模态版本》(Moreland,J.P.;Sweis,K.A.;Meister,C.V.,《基督教有神论辩论》(2013),牛津大学出版社),61-71,第4章
[102] Fuenmayor,D。;Benzmüller,C.,概念明确化的计算-解释学方法,(Nepomuceno,A.;Magnani,L.;Salguero,F.;Bares,C。;Fontaine,M.,《科学与技术中基于模型的推理》。逻辑、语言、认知和计算的推理模型。科学技术中基于模型的推理。逻辑、语言、认知和计算的推理模型,SAPERE,第49卷(2019),施普林格),441-469
[103] (Dignum,V.,专刊:伦理与人工智能,伦理与信息技术,第20卷(2018)),1-3
[104] 温菲尔德,A.F.T。;Jirotka,M.,《道德治理对于建立机器人和人工智能系统的信任至关重要》,Philos。事务处理。R.Soc.,数学。物理学。工程科学。,376、2133,第20180085条pp.(2018)
[105] Dignum,V.,《负责任的自主性》,(Sierra,C.,《第二十六届国际人工智能联合会议论文集》,第二十六届人工智能国际联合会议论文,2017年8月19日至25日,澳大利亚墨尔本(2017)),4698-4704
[106] Scheutz,M.,《明确道德代理人案例》,AI Mag.,38,57-64(2017)
[107] 安德森,M。;Anderson,S.L.,《确保自主系统的道德行为:一个案例支持的基于原则的范式》,Ind.Robot,42,4324-331(2015)
[108] 瓦拉赫,W。;艾伦,C。;Smit,I.,《机器道德:自下而上和自上而下的人类道德能力建模方法》,AI Soc.,22,4,565-582(2008)
[109] 洛杉矶丹尼斯。;费希尔,M。;斯拉夫科维奇,M。;韦伯斯特,M.,《自主系统中道德选择的形式验证》,机器人。自动。系统。,77, 1-14 (2016)
[110] Otten,J.,非经典逻辑的非条款连接计算,(Schmidt,R.A。;Nalon,C.,《使用分析表和相关方法的自动推理》,第26届国际会议。使用分析表和相关方法的自动推理——第26届国际会议,2017年Tableaux,巴西巴西利亚,2017年9月25日至28日,会议记录。用分析表和相关方法进行自动推理——第26届国际会议。使用分析表和相关方法的自动推理——第26届国际会议,Tableaux 2017,巴西巴西利亚,2017年9月25日至28日,计算机科学论文集,第10501卷(2017),Springer),209-227·Zbl 1496.03049号
[111] 施密特,R.A。;Hustadt,U.,《模态逻辑的一阶分解方法》(Voronkov,A.;Weidenbach,C.,《编程逻辑-纪念Harald Ganzinger的论文》,《编程逻辑学-纪念Haral Ganzinger的论文》(Programming logics-Essays in Memory of Harald Ganzinger),《计算机科学讲义》,第7797卷(2013),施普林格),第345-391页·Zbl 1383.03031号
[112] Saptawijaya,A。;Pereira,L.M.,《道德建模逻辑编程》,Log。J.IGPL,24,4,510-525(2016)
[113] 佩雷拉,L.M。;Saptawijaya,A.,《反事实、逻辑编程和代理道德》(Urbaniak,R.;Payette,G.,《形式哲学的应用》,《形式哲理、逻辑、论证和推理的应用》(人文社会科学跨学科视角),第14卷(2017年),《斯普林格:斯普林格查姆》,25-53·Zbl 1382.03008号
[114] 布朗,C.E。;Gauthier,T。;卡利西克,C。;Sutcliffe,G。;Urban,J.,GRUNGE:大型统一ATP挑战赛(2019年),电子版·Zbl 07178973号
[115] Benzmüller,C。;Woltzenlogel Paleo,B.,《使用高阶自动化定理证明器自动化哥德尔对上帝存在的本体论证明》(Schaub,T.;Friedrich,G.;O'Sullivan,B.,ECAI 2014)。ECAI 2014,《人工智能和应用前沿》,第263卷(2014),IOS出版社),93-98·Zbl 1366.03169号
[116] 哥德尔,K.,附录A:库尔特·哥德尔手中的笔记,(索贝尔,J.,《逻辑与有神论》(1970),剑桥大学出版社),144-145
[117] Scott,D.,附录B:Dana Scott手中的笔记(Sobel,J.,《逻辑与有神论》(1972),剑桥大学出版社),145-146
[118] Benzmüller,C。;韦伯,L。;Woltzenogel Paleo,B.,安德森-哈耶克争议的计算机辅助分析,日志。大学。,11, 1, 139-151 (2017) ·Zbl 1417.03131号
[119] Zalta,E.N.,《逻辑-形而上学原理》,初稿(2020年),预印本可在
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。