×
乌尔里希·富巴赫；克劳迪娅·肖恩

人类推理的道义逻辑。 （英语） Zbl 1432.03031号

Eiter，Thomas（编辑）等人，《知识表示、逻辑编程和抽象论证的进展》。在格哈德·布鲁卡60岁生日之际献给他的散文。查姆：斯普林格。莱克特。票据计算。科学。9060, 63-80 (2015).
摘要：道义逻辑被证明适用于建模人类推理。为此，详细讨论了Wason选择任务和抑制任务。介绍了具有道义逻辑的不同版本的建模规范，并以瓦森选择任务为例，说明了如何解释抽象和社会契约案例中人类表现的差异。此外，还表明，自动定理证明器可以用作道义逻辑的推理工具。
有关整个系列，请参见[Zbl 1303.68014号].

引用于2文件

MSC公司：

03B45 模态逻辑（包括规范逻辑）
03B35型 证明和逻辑操作的机械化

软件：

E-KRHper公司
PDF格式BibTeX公司 XML格式引用
\textit{U.Furbach}和\textit{C.Schon}，莱克特。票据计算。科学。9060，63-80（2015；Zbl 1432.03031）
全文： 内政部 arXiv公司

参考文献：

[1] Artosi，A.，Cattabriga，P.，Governatori，G.：Ked：道义定理证明器。In:On Legal Application of Logic Programming，ICLP 1994，第60–76页（1994）
[2] Bassiliades，N.，Kontopoulos，E.，Governatori，G.，Antoniou，G.:语义网道义逻辑的模态可解推理器。国际期刊Semant。网络信息系统。 7(1), 18–43 (2011)
[3] Baumgartner，P.，Furbach，U.，Pelzer，B.：平等的超表格。收录：Pfenning，F.（编辑）CADE 2007。LNCS（LNAI），第4603卷，第492-507页。斯普林格，海德堡（2007）·Zbl 1213.03019号 ·doi:10.1007/978-3-540-73595-3_36
[4] Bender，M.、Pelzer，B.、Schon，C.：系统描述：E-kRHyper 1.4。收录：Bonacina，M.P.（编辑）CADE 2013。LNCS，第7898卷，第126-134页。斯普林格，海德堡（2013）·Zbl 1381.68258号 ·doi:10.1007/978-3-642-38574-28
[5] Blackburn，P.，van Benthem，J.，Wolter，F.（编辑）：模态逻辑手册。逻辑与实践推理研究，第3卷。爱思唯尔科学（2006年12月）·Zbl 1114.03001号
[6] Bringsjord，S.，Arkoudas，K.，Bello，P.：为工程道德正确的机器人提供一种通用的逻辑学家方法。IEEE智能系统21（4），38–44（2006）·Zbl 05334079号 ·doi:10.1109/MIS.2006.82
[7] Byrne，R.M.：用条件句抑制有效推理。认知31（1），61-83（1989）·doi:10.1016/0010-0277（89）90018-8
[8] 奇索姆，R.M.：与职责相反的命令和道义逻辑。分析23，33–36（1963）·doi:10.1093/analys/24.2.33
[9] Cosmides，L.，Tooby，J.：一般道义逻辑能够捕捉人类道德推理的事实吗？大脑如何解读社会交换规则并检测作弊者。道德心理学1，53–120（2008）
[10] Edgington，D.：条件。摘自：Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》，2008年冬季编辑。(2008)
[11] Furbach，U.，Schon，C.，Stolzenberg，F.：道义逻辑中的自动推理。摘自：KIK 2014研讨会会议记录。CEUR研讨会记录（2014年）·doi:10.1007/978-3-319-13365-26
[12] Hölldobler，S.，Philipp，T.，Wernhard，C.：人类推理的诱因模型。In:AAAI春季研讨会：常识推理的逻辑形式化（2011）
[13] Hölldobler，S.，Kencana Ramli，C.D.P.：三值Łukasiewicz语义下的逻辑程序。In:Hill，P.M.，Warren，D.S.（编辑）ICLP 2009。LNCS，第5649卷，第464-478页。斯普林格，海德堡（2009）·Zbl 1251.68063号 ·doi:10.1007/978-3-642-02846-5_37
[14] Johnson-Laird，P.N.，Byrne，R.M.：条件句：意义、语用和推理理论。《心理学评论》109（4），646（2002）·doi:10.1037/0033-295X.109.4.646
[15] 卡卡斯，A.C.，科瓦尔斯基，R.A.，托尼，F.：诱拐逻辑编程。逻辑与计算杂志2（6），719–770（1992）·Zbl 0778.68081号 ·doi:10.1093/logcom/2.6.719
[16] Kowalski，R.：计算逻辑和人类思维：如何实现人工智能。剑桥大学出版社（2011）·Zbl 1230.68021号 ·doi:10.1017/CBO9780511984747
[17] Motik，B.，Shearer，R.，Horrocks，I.：使用Hypertableaux的描述逻辑中的优化推理。收录：Pfenning，F.（编辑）CADE 2007。LNCS（LNAI），第4603卷，第67-83页。斯普林格，海德堡（2007）·Zbl 1213.68593号 ·doi:10.1007/978-3-540-73595-36
[18] 桑福德：如果P，那么Q：条件和推理的基础。劳特利奇（1989）
[19] Schild，K.：术语逻辑的对应理论：初步报告。In：程序。IJCAI-91，第466–471页（1991）·Zbl 0742.68059号
[20] Schmidt，R.A.，Hustadt，U.：模态逻辑的一阶分解方法。收录：Voronkov，A.，Weidenbach，C.（编辑）《编程逻辑》。LNCS，第7797卷，第345-391页。斯普林格，海德堡（2013）·Zbl 1383.03031号 ·doi:10.1007/978-3-642-37651-1_15
[21] Stenning，K.，Van Lambalgen，M.：人类推理和认知科学。麻省理工学院出版社（2008）
[22] Stone，V.E.，Cosmides，L.，Tooby，J.，Kroll，N.，Knight，R.T.：双侧边缘系统受损患者社会交换推理的选择性障碍。《美国国家科学院院刊》99（17），11531–11536（2002）·doi:10.1073/美国国家统计局.122352699
[23] 冯·库切拉（von Kutschera），F.：《诺曼逻辑》（Logik der Normen）、《云与云》（Werte und Entscheidungen）中的埃因夫鲁恩（Einführung）。In:Alber（1973）
[24] 华盛顿：推理规则。实验心理学季刊20（3），273-281（1968）·doi:10.1080/14640746808400161
[25] Pelzer，B.，Wernhard，C.：系统描述：E-kRHyper。收录：Pfenning，F.（编辑）CADE 2007。LNCS（LNAI），第4603卷，第508–513页。斯普林格，海德堡（2007）·Zbl 1213.68574号 ·doi:10.1007/978-3-540-73595-3_37
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。