定义６: 一个替换(Substitution)是形如{t1 / x1, t2 / x2 ,…,tn / xn }的有限集合，其中t1 , t2 ,…,tn 是项， x1, x2 ,…,xn是互不相同的个体变元。 ti / xi表示用ti代换xi 。 ti与xi不同，xi也不能出现在tj中(j=1,2,…,n)。

随着互联网的高速发展，越来越多的人通过电脑获取信息，但是也有一部分人他们无法通过互联网获取信息，他们就是盲人和视力障碍群 体，而现在并没有针对盲人 所打造的操作系统，包括Windows和Mac OS，而灵活多变的Linux操作

Google盲人工程师拉蒙 拉蒙的网络主页上，第一句话是这么写的：“在互联网上，没有人知道你不是一条狗！”在接下来的页面中，出现了很多他和导盲犬艾斯卡的照片。 从康奈尔到硅谷，从IBM、Ado

我是一个盲人，但我在Google工作，主要负责更改排名算法的工作。 我的人生阅历告诉我，我和我的那些非盲人同事编程的方式并没有什么很大的不同。 我通常使用文本编辑器（Emacs及其emacsp

为国防部制作网页的盲人程序员张海伦，引起了人们的惊叹， 一位读者赞扬张海伦“了不起，技术难度赶上贝多芬”，另一位则表示“简直难以置信，但是不得不信”。但是也有一些人发出疑问，对盲人竟能制作网页表示不

机，取代了 人们执行真正的计算，但是在这个过程中，产生了各种新工作。 人工智能（AI）好像也是用这种方式运转着，为人工智能研究人员创造了岗位，并逐步取代了所有其它种类的知识型工作。或许一个世纪以后，通往那

大量人工智能学习资源

本文为数盟原创译文，欢迎转载，注明出处“数盟社区”即可 作者： Alexander Heimonen 人工智能早在计算机学伊始时就已经产生，它最早是在1956年被作为一门学术学科建立起来。从那时起，科学界就

这里收集的是关于人工智能(AI)的教程、书籍、视频演讲和论文。 欢迎提供更多的信息。 在线教程 麻省理工学院人工智能视频教程 – 麻省理工人工智能课程 人工智能入门 – 人工智能基础学习。Peter

WARP-CTC 是百度硅谷 AI 研究所 (SVAIL) 开源的百度关键人工智能 (AI) 软件。 connectionist temporal classification (CTC) 方法可以追溯到

就是使用 机器学习 。 机器学习已经在使用了 维基百科对机器学习的定义 是“计算机科学和人工智能的一个子域，从数据中学习的某种系统的构造和研究，而不只是遵循明确的编程指令。” 这听起来可能

Don’t Fear Artificial Intelligence Kurzweil 写了五本人工智能（Artificial Intelligence，简称 AI）方面的书，有一本是纽约时报的畅销书《How

大家都听说过判断人工智能(AI)的图灵测试吧？或者都和一些聊天机器人说过话吧？不过那只是人与机器人之间的故事。如果两个机器人放在一起会发生什么事呢？他们彼此之间会说些什么呢？ 其实这是一个名为Cl

美国科技博客 Gizmodo 发布了一张图片，揭示了谷歌智能眼镜(Google Glass)的工作原理。简单地说， 谷歌眼镜通过一个微型投影仪和半透明棱镜，将图像投射在人体视网膜上 。镜架还嵌入了处理芯片和电池。

都说技术是把双刃剑，Google 眼镜在给人们带来便利的同时，也会有一些负面作用，例如窥探隐私，例如助长色情行业。 毫无疑问，这个高科技产品已经被色情行业瞄上，成人 Android 应用开发商 MiKandi

车特技和屋顶速降的表演过后，他们骑 着单车进入会场，整个过程令人耳目一新，现场轰动一时。 谷歌眼镜应该知道的一些事： 这款设备包含内存、处理器和设置在边上的触控板，一个用来拍摄的按钮，话筒、摄

可能成为电脑发展的下一个重要阶段。他表示，“未来 10 年头盔的尺寸会越来越小”，最终将变成像一副眼镜一样的东西。那时虚拟现实将成为每个人生活的一部分。 未来将是可穿戴电脑技术的世界，Facebook

码审查。然而，在活动开始两小时前，你发现自己把近视眼镜忘家里了，整个早上你看到的都是模糊的影像和颜色。你该怎么办？ 正确的做法是，回家取你的眼镜，因为步行十分钟就能到家，然后今天会跟往常一样愉快的

“色盲”这一术语并不完全准确，因为这个词语总给人一种错觉——以为色盲人士所见到的世界非黑即白（尽管这种情况有可能存在，但发生率极小，且被称为“全色盲”）。 典型的人类眼球内有三种类型的感色细胞：感

近日，一个存在于谷歌眼镜的安全漏洞被发现，能够让攻击者轻易执行任意代码。事实上，这个漏洞可以追溯到去年下半年安全研究人员 在Android 4.1系统中发现的JavaScript API错误。这个功能