×
尤里·佐藤;Yuichiro Wajima;上田和弘

欧拉图非序列推理策略分析。 （英语） Zbl 1509.03022号

J.逻辑语言信息。 27，第1号，61-77（2018）.
摘要：欧拉图如何支持非序列推理？虽然是对非序列的推论，但在这种推论中，人们被要求从给定的前提中判断是否不能得出有效的结论（例如，All（B\）are（A\）；No（C\）are（B\））是逻辑推理的两个方面之一，在人类图解推理研究中很少受到关注；对于这种推论，图表是如何被真正操纵的，目前尚不清楚。我们假设，人们根据自我一致性的逻辑概念，自然地通过列举可能的图表来做出这些推断，在集合理论解释中，每个（简单的）欧拉图都是真实的（可满足的）。这项工作分为三个部分，每个部分探索一个特定的条件或场景。在条件1中，我们要求参与者在解决三段论任务时直接操作带有固定大小圆圈的图表，结果是更多的推理者使用了枚举策略。在条件2中，使用了另一种尺寸固定图。图表布局的改变干扰了准确的任务性能和枚举策略的使用；然而，对于那些能够正确执行任务的人来说，枚举策略仍然占主导地位。在条件3中，我们使用了大小可缩放的图表（默认大小如条件2所示），这减少了图表布局的干扰影响，增强了参与者对枚举策略的选择。这些结果证明，利用欧拉图的自洽性，通过图枚举可以实现非序列推理。本文还讨论了基于欧拉图反例构造的替代策略，以及图布局在推理过程中的影响。

引用于1文件

MSC公司：

03A05号 逻辑和基础的哲学和批判性方面

关键词：

图解推理;非顺序;自我一致性;枚举;图表布局;认知科学

软件：

超防（Hyperproof）;大锤
PDF格式BibTeX公司 XML格式引用
\textit{Y.Sato}等人，J.Logic Lang.Inf.27，No.1，61--77（2018；Zbl 1509.03022）
全文： DOI程序

参考文献：

[1] Aitken，S.和Melham，T.（2000）。交互式证明尝试中的错误分析。与计算机交互，12565-586·doi:10.1016/S0953-5438（99）00023-5
[2] Bacon，A.、Handley，S.和Newstead，S.（2003年）。三段论推理策略的个体差异。思考与推理，9，133-168·doi:10.1080/3546780343000196
[3] Barwise，J。；Etchemendy，J。；Chandrasekaran，B.（编辑）；Simon，H.（编辑），《超证明：用图表进行逻辑推理》，77-81（1992），加利福尼亚州门洛帕克
[4] Barwise，J.和Etchemendy，J.（1994）。超验，CSLI课堂讲稿，第42期。加利福尼亚州斯坦福：CSLI出版物。
[5] Barwise，J.和Shimojima，A.（1995年）。代理推理。认知研究：日本认知科学学会公报，4，7-27。
[6] Benoy，F.和Rodgers，P.（2007年）。评估对欧拉图的理解。在《信息可视化学报2007》（第771-778页）中。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。
[7] Biederman，I.和Ju，G.（1988年）。视觉识别的基于表面和基于边缘的决定因素。认知心理学，20，38-64·doi:10.1016/0010-0285（88）90024-2
[8] Blake，A.、Stapleton，G.、Rodgers，P.和Howse，J.（2016）。拓扑和图形选择对欧拉图感知的影响。信息科学，330，455-482·doi:10.1016/j.ins.2015.05.020
[9] Blake，A.、Stapleton，G.、Rodgers，P.、Cheek，L.和Howse，J.（2012年）。欧拉图的方向会影响用户的理解吗？《2012年DMS可视化语言与计算学报》（第185-190页）。伊利诺伊州斯科基：知识系统研究所。
[10] Blake，A.、Stapleton，G.、Rodgers，P.、Cheek，L.和Howse，J.（2014）。形状对欧拉图感知的影响。在2014年图表会议记录中，LNAI 8578（第123-137页）。柏林：斯普林格。
[11] Blanchette，J.、Bulwahn，L.和Nipkow，T.（2011年）。Isabelle/HOL中的自动证明和反驳。第八届组合系统前沿国际研讨会论文集，LNCS 6989（第12-27页）。斯普林格·Zbl 1348.68214号
[12] Bucciarelli，M.和Johnson-Laird，P.N.（1999）。三段论推理中的策略。认知科学，23，247-303·doi:10.1207/s15516709cog2303_1
[13] 福特·M（1994）。三段论推理中的心理表征和问题解决的两种模式。认知，54，1-71·doi:10.1016/0010-0277（94）00625-U
[14] Gurr，C.A.（1999）。有效的图表交流：句法、语义和语用问题。视觉语言与计算杂志，10，317-342·doi:10.1006/jvlc.1999.0130
[15] 加利福尼亚州格尔；Besnard，D.（编辑）；Gacek，C.（编辑）；Jones，CB（编辑），《计算图表学：图表和结构》，143-168（2006），伦敦·doi:10.1007/1-84628-111-38
[16] Gurr，C.A.、Lee，J.和Stenning，K.（1998年）。图解推理理论：区分组件问题。思维与机器，8533-557·doi:10.1023/A:1008314528229
[17] Hentschel，M.、Hähnle，R.和Bubel，R.（2016）。交互式程序验证器的两个用户界面的经验评估。第31届IEEE/ACM自动化软件工程国际会议论文集（第403-413页）。ACM。
[18] Howse，J.、Molina，F.、Shin，S.-J.和Taylor，J.（2002）。在图上标记和类型。在2002年图表会议记录中，LNAI 2317（第146-160页）。柏林：斯普林格·Zbl 1049.68130号
[19] Kulpa，Z.（2009年）。图表推理的主要问题。第一部分：泛化问题。科学基础，14，75-96·Zbl 1178.03011号 ·doi:10.1007/s10699-008-9148-5
[20] 莱布尼茨（1677/1956）。哲学论文和信件；对话。L.E.Loemker（翻译与编辑）。伊利诺伊州芝加哥：芝加哥大学出版社。
[21] Lemon，O.（2002）。比较视觉语言的功效。D.Baker-Plummer、D.I.Beaver、J.van Benthem和P.S.di Luzio（编辑），《词汇、证明和图表》（第47-69页）。加利福尼亚州斯坦福：CSLI出版物·Zbl 1087.03511号
[22] Lemon，O.和Pratt，I.（1997年）。空间逻辑和图表推理的复杂性。机器图形和视觉，689-108。
[23] Mineshima，K.、Sato，Y.、Takemura，R.和Okada，M.（2014）。解释欧拉图在三段论推理中的认知效能：关系视角。视觉语言与计算杂志，25，156-169·doi:10.1016/j.jvlc.2013.08.07
[24] Price，C.J.和Humphreys，G.W.（1989年）。表面细节对对象分类和命名的影响。实验心理学季刊，41797-828·网址：10.1080/14640748908402394
[25] Purchase，H.C.（1997）。哪种美学对人类理解的影响最大？在1997年《绘图学报》中，LNCS 1353（第248-261页）。柏林：斯普林格。
[26] Rodgers，P.（2014）。欧拉图综述。视觉语言与计算杂志，25134-155·doi:10.1016/j.jvlc.2013.08.006
[27] Sato，Y.和Mineshima，K.（2015）。图表如何支持三段论推理：一项实验研究。《逻辑、语言与信息杂志》，24，409-455·Zbl 1350.03012号 ·doi:10.1007/s10849-015-9225-4
[28] Sato，Y.和Mineshima，K.（2016年）。比例量词的人类推理及其图表支持。《2016年图表会议录》，LNCS 9781（第123-138页）。瑞士：施普林格。
[29] 佐藤（Sato，Y.）、Masuda，S.、Someya，Y.、筑井（Tsujii，T.）和渡边（Watanabe，S.）（2015）。欧拉图在逻辑推理中功效的功能磁共振成像分析。2015年IEEE视觉语言与以人为本计算研讨会论文集（第143-151页）。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会出版社。
[30] Shimojima，A.（2015）。图表的语义特性及其认知潜力。加利福尼亚州斯坦福：CSLI出版物。
[31] Shimojima，A.和Katagiri，Y.（2013年）。对图形推理中利用空间约束的令人目不暇接的研究。认知科学，37，211-254·doi:10.1111/cogs.12026
[32] Shin，S.-J.（1994年）。图表的逻辑状态。纽约：剑桥大学出版社·Zbl 0829.03002号
[33] Shin，S.-J.（2012年）。被遗忘的个体：数学中的图解推理。合成，186149-168·Zbl 1274.00019号 ·doi:10.1007/s11229-012-0075-1
[34] Stenning，K.和Lemon，O.（2001）。将逻辑和心理观点与图解推理相结合。《人工智能评论》，13，1-34·Zbl 0978.68112号
[35] Stenning，K.和van Lambalgen，M.（2004）。一点逻辑可以起到很大的作用：基于条件推理认知科学中的语义理论进行实验。认知科学，28，481-529·doi:10.1207/s15516709cog2804_1
[36] Takemura，R.（2015）。使用欧拉图的反例构造。Studia Logica，第103页，第669-696页·Zbl 1370.03076号 ·doi:10.1007/s11225-014-9584-x
[37] Treisman，A.（1988）。特色与对象：第十四届巴特利特纪念讲座。实验心理学季刊，40201-237·doi:10.1080/0272498884300104
[38] Zhang，J.和Norman，D.A.（1994年）。分布式认知任务中的表征。认知科学，18，87-122·doi:10.1207/s15516709cog1801_3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。