FARG研究概述

液体类比研究小组发起了大约30年前从何处寻找,巨型,和类似项目,目标是(现在仍然是),要精确计算模型最基本的人类思想的机制。从那久远的一天,相当多的其他项目被添加到列表中。前受奖人的所有项目的共同点是他们不断关注两个深刻的和完全不可分割的问题:(1)的概念是什么?和(2)类比思维如何发生?

背后的哲学的思考我们的愿景是,大脑的关键任务是,打个比方来说,�把手指放在本质�,面临的情况,这是由我们所说的高级认知��。这意味着我们FARGonauts(正如我们,故意幽默,调用自己)看到一个光滑的连续运行,在低端,红色的识别,识别的一个棕色的桌子上一个红苹果,早餐在台面的识别,识别的混乱在汽车的后座,一团糟的识别朋友�年代浪漫的关系,认识的朋友的巨大的影响网络�年代可能离婚,识别的深刻讽刺的事实,外科医生现在是死于她自己的疾病治愈了她生命中很多次,等等等等。不用说,后者的例子越来越接近光谱的高端��的高级感知。

我们的信念是,这种��看到(这显然超越了任何传统�感觉形态�,如视觉或听觉或触觉)是人类思想的核心,它是由analogy-making的机制。我们非常刻意避免说�类比推理�,因为我们非常标准,传统的表达式是装满各种不必要的和误导的内涵。我们的类比方法不多也不到认识一些在我们面前��(不一定在我们眼前,然而)最集中��。这意味着两个心理结构之间的联系,一个是不完美的,原油表示我们(到目前为止)建立的这种情况下,和另一个被预先存储心理表征的另一种情况我们过去(或者,就像通常情况下,如果不是更经常,一群情况的预先存储心理表征我们过去�也就是说,一个已知的概念)。我们FARGonauts不画任何区别记忆的一个事件或情况,和记忆(即很多类似的情况。概念)�事实上,我们看到一个事件或情况的记忆构成一样多的真正的概念是一百年相似的情况下的模糊的叠加(这似乎更像传统观念上的一个概念是什么,尽管有时这种叠加模式称为��,一个术语,我们的眼睛搅浑水相当)。

简而言之,前受奖人的哲学是analogy-making认知的核心。Analogy-making带给我们所有的概念存在,不断拓宽和深化了他们,提高他们在我们的有生之年,感谢Analogy-making,我们认识到新形势是��实例,从某种意义上说,旧的情况。因此我们FARGonauts看到analogy-making发生在大脑不是一周一次或者一天一次或一次一个小时或一次一分钟,但是当发生很多次每秒。类比是这样,对我们来说,真正核心的认知机制。

我们研究这个非常微妙和无处不在的认知机制在小皮姆通过观察它是如何工作的,我们专门设计了最深的,最微妙,最难以捉摸的方面。这些皮姆的范围从Coypcat字母microdomain(�如果abc abd的变化,那么xyz改变什么?�),从何处寻找数值microdomain(�最可能是什么模式潜伏在幕后的无穷序列开始�2的整数,1、2、2、2、2、2、3、2,��?�)信精神艺术风格microdomain(这涉及到试图理解的抽象精神���gridfonts��精神渗透到26个字母的小写字母,限制在一个相对较小的网格的垂直,水平,和对角直线中风,都由一个人设计的,目的是创建一个统一的艺术风格)的Phaeaco Bongard-problems microdomain(俄罗斯计算机科学家m .丫。邦加德,1970�年代,设计一套100视觉模式识别难题是非常微妙的,愉快的,好玩的,和Phaeaco进行视觉在许多的抽象级别为了解决这些难题,有时很好,有时滑稽地跳动)geometric-creativity microdomain乔治(一个程序,试图发现新概念和新假设域欧几里得平面的三角形几何)。前受奖人有其他项目,但是这个列表在味道。

我们坚定的信徒用皮姆来研究认知的想法,和我们的模型背后的想法是明智的,许多来源,从生物隐喻(大脑是像一个蚁群,思考就像在一个细胞酶)的并行活动,大脑研究,研究错误,单词和他们的光环的仔细研究,观察自己的小创意在生活的各个领域,弥漫着有类比的研究最大的创意飞跃由物理学家和数学家。

最后,一个小评论前受奖人背后的哲学计算机模型。都是基于这个想法,思维是一个极其平行,自然现象,而不是某种组精确计算规则操纵文摘meaning-bearing符号。�换句话说,我们不认为思维是任何类型的����或推理逻辑,但作为一种生产,大量的活动中,成千上万的(如果不是数百万)的微观和近视的实体进行微小�subcognitive�同时,不知道彼此�年代的存在,而且经常相互矛盾,矛盾的目的。这样一个随机的喧哗是一种集体行为,连接不同复杂程度的情况中去,和越来越大的知觉结构逐渐建立的指导下��压力诱发的。这些活动被视为确定性;相反,我们的模型都是普遍受到随机性或�特性转化�,使用一个更漂亮的术语同样的想法。前受奖人,每次运行的任何程序将不同于下一次运行,即使该计划正面临同样的情况。它遵循的道路将会完全不同,如果看着最细粒度的水平,但如果一个步骤从树上看到的森林�,如果一个人似乎只在高层(粗粒度)的行为计划�可能两分的描述是完全相同的。(注意观察和描述一个程序�年代高级行为本身就是一种非常高级的感觉。)

前受奖人我们已经从�年代早期,30多年前,在我们更多的��成熟阶段,我们已经变得越来越关注我们的模型可以看看自己的(forest-level,不是树层次!)的行为。换句话说,我们感到越来越需要我们的程序�的行为成为microdomain他们能够认识和思考��。这是一个非常困难的挑战,尽管我们一直在努力工作现在至少十年或更长时间,我们仍然只在刚开始的时候。

最后一个单词。虽然我们FARGonauts设计、实现、测试和修改计算机模型的思维过程,我们不认为自己是进行人工智能的研究。这样做的原因是,我们只是试图理解人类思维;我们构建模型不是为了让计算机“聪明”,但为了更清楚地了解计算机之间巨大的海湾,是标准的化身和人类的思想。因此而许多人工智能研究人员想要像躲避瘟疫一样避免错误的程序,我们感兴趣的是恰恰相反的。我们很高兴当我们的程序做笨拙,愚蠢的错误,我们喜乐在这样的“流动性”。事实上,我们希望我们的项目能够被混淆,模糊,完全失去了,沮丧。我们希望,有一天,我们的程序可能只是裸露的、模糊的幽默感,并在自己的困惑摇摇欲坠,能够意识到可悲的是他们的努力,并嘲笑自己。FARGonauts为我们这将是一个快乐的一天。

道格霍夫施塔特的参与,过去和现在,在认知过程的计算模型:

• 巨型(1981�1983):一个人类能力的计算模型合理的字谜从给定的一组字母。
• 从何处寻找(1981�1986):由人类知觉和外推法的计算模型的线性模式。与玛莎梅雷迪思合作。
• 模仿(1983�1990):高层认知计算模型和创造性的类比思维在microdomain的基本元素是字母和字母的字符串。协作与梅兰妮米切尔。
• Numbo(1987):创造性的计算模型类比思维在microdomain的基本元素是字母和字母的字符串。与丹尼尔Defays合作。
• 桌面(1984�1991):创造性的计算模型类比思想在一个理想化版本的熟悉情况。协作与罗伯特·m·法国。
• 信的精神(1983�2000):知觉和概念过程的计算模型生成一组字母分享一种艺术统一的风格。与Gary McGraw和约翰Rehling合作。
• Metacat(1993�1998):高级感知的计算模型和analogy-making加深模仿引进情景记忆和自我监控。与詹姆斯·马歇尔。
• Phaeaco(1995�2005):计算模型的过程lof愿景和抽象参与解决��邦加德问题(一组视觉类比问题由m·m·邦加德和其他人)。与哈利Foundalis合作。
• SeqSee(2003�2009):一个项目模型人类知觉教师和外推的线性模式。与Abhijit Mahabal合作。
• 乔治(2002�2009):一个计算模型的视觉想象力和欧几里德几何学的发现过程。与旧金山Lara-Dammer合作。
• 音乐(2004�存在):一个人类旋律感知的计算模型。与埃里克·尼科尔斯合作。

其他当前项目:

• 计算模型的概念上的流动性,analogy-making,和创造力。
• 诗歌翻译(主要是法国和意大利的;偶尔会其他语言)。
• 错误,尤其是在演讲,作为一个窗口心理过程(与大卫•莫泽合作格雷格·胡贝尔和伊曼纽尔Sander)。
• 发现、洞察力、清晰和理解数学(尤其是在几何、群论和伽罗瓦理论)。
• 秩序和混乱的家庭meta-Fibonacci递推关系与格雷格·胡贝尔(合作)。
• 类比在物理学的核心作用。
• 创造力的一般机制理论,思想来自个人经验等活动的俏皮话的发明,乐曲的构成,诗歌的写作,文章和书籍,双关语的翻译,和某些约束形式的艺术设计。
• 双向图的绘制,尤其是在协调集(例如,本项目在首都��的首都,组成的双向图在所有美国的五十个州首府的名称,所有通过镜面反射和用大写字母)。