acm-header
登录

ACM通信

BLOG@CACM

人类行为和计算机应用程序


Robin K. Hill,怀俄明大学

在近几十年来关于人类认知与机器计算关系的讨论中,有一种观点占主导地位,即从计算的角度出发,探讨其在认知方面可能的应用。也就是说,我们用计算的术语来描述认知。我自己的观点,在以前的博客文章中概述过,是计算机科学哲学可以从人类事务和人文学科的角度来看待计算时尚的人工制品。因此,我质疑算法的本体[2016年山],询问大自然是否使用数据[希尔2016 b以及小说是否为模型理论[希尔2016 c].

最近,在通信,我们已经看到了几篇文章,从后一种观点阐述了人机的类比,概述了一种计算现象(比计算本身更狭窄),然后在日常的人类事务中解释它,尽可能从字面上理解。虽然这些想法并不新鲜,但这些作品提出概念的方式与我的观点一致——当然,作者不能为此负责。

抖动
彼得·丹宁在2017年9月的《没有抖动的多任务处理》中提出了更高效的人类工作流程的建议[丹宁2017].“刷屏”指的是“同时有太多的任务在进行中”,这样当一个任务被挂起时,回想它的状态所花费的精力就会超过你在下一次挂起之前完成任务的进度。

明确的隐喻
Alvaro Videla在2017年10月的“我们计算的隐喻”中建议,程序员应该选择合适的隐喻来进行意义放大,也就是说,为了清晰的解释和理解[2017年威德拉].在他给出的例子中,通过图形的路径可以作为地图上的方向选项,跨处理器层次的数据分布可以作为八卦,或者更好的是,作为流行病。

这样的比较是引人入胜和有趣的,可能会有所启发。许多程序员都会想到这样的例子。

是否筑巢
当有人来到Alice的办公室,然后她收到一条短信,然后有人打电话给她的办公室电话时,如果每个连续的中断都将未处理的中断置于嵌套的等待状态,那么她就在执行后进先出处理。她很可能先打个电话,然后发个短信,然后再回复来访者。但她可以采用一种不同的、或许更有礼貌的方式,FIFO,即先照顾来访者,然后查看短信,然后回未接电话。(上述作者提到了这个比喻。)

传递数据
当Bob告诉他的助手在哪里为会议准备点心时,他可以从几个方法中选择传递location参数。如果他指定了一家面包店,他是在传递价值;如果他递给她一张在甜甜圈店买的优惠券,那他就是路过她的介绍人;如果他把她送到秘书那里请她推荐,那他就是在叫她的名字。

和更多的……
抽象数据类型是一种工作描述,由结构化资源和与之一起执行的任务组成。一个贪婪的算法将剩余的食物放入容器中可能很容易,但可能不能存储所有的食物。按时间顺序排列收据的人可能会在插入排序和选择排序之间切换。

这是有趣的。我们可以继续讲一整天。但这些例子意味着什么呢?它们是什么例子?我们发现某些人工任务正在根据我们没有“浮出水面”的算法执行。这告诉我们关于宇宙、计算或我们自己的什么信息?这些都是人文学科的问题,特别是哲学的问题,它采取了一个有趣的观察和运行。

让我们简单地回答这个问题,“这些实例告诉我们什么?”它们是模拟或模仿经典计算应用程序的人类行为的实例,还是反过来呢?让我们回避作为认知隐喻的计算的总体问题,停留在更特殊的现象范围内,上面提到的应用。

  • 电脑应用程序是第一位的。计算技术启发了我们解决问题的方法。实际上,我们已经从图灵机中学到了如何进行排序、搜索和内存分页。这似乎是一个论点没有说服力。信号量和锁在操作系统之前就存在了。推销员早在旅行推销员之前就开始旅行了。因此,计算只是简单地为长期存在的任务表达了符号问题解决方法,这些任务带有现成的命名法,比如“贪婪”和“锁”。
  • 人类行为引领道路。我们自己解决问题的方法驱动着我们对计算技术的设计。符号计算范式是(我们)创造的,而不是发现的。当图灵、波斯特和其他人在20世纪早期对计算进行定义时,他们遵循的是他们头脑中已经设定好的路径。这就引出了我们所不了解的其他范式的诱人而模糊的前景。
  • 另一件事带来了两者。计算是普遍存在的,自然或进化在我们身上培养了一种基于原始技术的解决问题的方法。计算范式被发现了。这就提出了一个形而上的问题:在我们和我们的人工制品之外,这些程序存在于何处?

这是正在进行的演习吗?(1)确定计算方法或诡计;(2)提取其形式或谓词;(3)将这些形式和谓词运用到日常生活中;(4)把它们放在人类行为上,直到出现正确的界面,然后把它们插进去,漂亮而方形。对于其他的解释,我们可以看看挑战这一程序性观点的各种理论。隐喻的现象学处理[Theodorou]认为隐喻和其他手段的意义远远超出了离散语义,不能被分析成形式、谓词或命题主张。所有这些仅仅暗示了正在进行的关于抽象本体论、符号认识论和其他问题的积极的哲学讨论。

参考文献

[Denning 2017] Peter, Denning . 2017。多任务没有抖动通信.60:9, 2017年9月。

[Hill 2015a]王晓明。什么是算法哲学与技术29:1。DOI: 10.1007 / s13347 - 014 - 0184 - 5。

[希尔2016b]李彦宏。2016。自然会使用数据吗?2016年7月18日。Blog@CACM。

[希尔,2016c]王晓明。小说作为模型理论.2016年12月30日。Blog@CACM。

Theodorou Theodorou, S。隐喻和现象学网络哲学百科全书.访问日期2017年11月18日。ISSN 2161 - 0002。

威德拉,阿尔瓦罗。2017。我们计算的隐喻通信.60:10, 2017年10月。

罗宾·k·希尔怀俄明大学哲学系和怀俄明人文研究所的兼职教授。她自1978年以来一直是ACM的成员。


没有发现记录

登录为完全访问
»忘记密码? *创建ACM Web帐户
Baidu
map