#形式逻辑文章排行榜

DDD和OO是有区别的:抽象名称选择很重要?主语语法遮蔽了真理 - macerub

20-09-02 1653 2 banq

为你的抽象选择合适的名称很重要。如果名称不好,那么我们的设计将很难重复使用。例如,假设我们要设计一个可以关闭/打开灯的开关。 您认为该接口的好名字是什么? banq注:如果从纯粹 面向对象... 详细

什么是数学? 数学是属于客观发现还是主观创造?数学竟然类似小说? - smithsonianmag

20-09-27 1122 2 banq

一名少年在TikTok上问了一个古老的问题,引起了病毒性的强烈反对,然后进行了深思熟虑的科学辩论。 究竟什么是数学?它属于 发明还是发现 ?数学家使用的东西(数字,代数方程,几何,定理等)是真实的吗... 详细

一阶逻辑是什么? | baeldung

20-08-13 1964 1 banq

在本教程中,我们将研究一阶逻辑的基础,并习惯其理论和概念基础。 首先,我们将研究自然语言和形式语言之间的关系。随后,我们将一阶逻辑与命题逻辑进行比较。这样,我们将学习前者具有的特定特征,以及何时使用... 详细

人工智能与脑机接口不断突破,人类还需要学习吗?人的理解胜于知识! -Swizec

20-08-30 737 1 banq

随着马斯克的系列创新突破,OpenAPI的GPT-3是人工智能历史上最大的飞跃,未来可以通过脑机接口增强人类的智能,在这种情况下,人类是否失去自我?变成被控制的机器人呢? 这篇文章(点击标题)认为人... 详细

什么是模型? 人工智能建模和人脑分析建模的异同点 - towardsdatascience

20-09-27 682 1 banq

“模型”术语引起了很多争议。这个词到处都是意义不清的地方。在 维基百科页面 显示了各种使用,包括统计数据,天文学,生物学,产品设计,艺术,以及概念模型。 模型的词源也很有趣,它通过法语和意大利语回到... 详细

人工智能中数据、信息和知识的区别? | baeldung

20-07-22 872 1 banq

用于开发AI系统的传统体系结构涉及数据,信息和知识之间的区别,以及它们随后的层次结构排列: 这种结构通常称为“  知识金字... 详细

简单介绍GPT-3背后的Transformer概念和NLP世界 - towardsdatascience

20-09-17 1225 1 banq

GPT-3是深度学习NLP模型家族的最新成员,并且可以说是功能最强大的成员,涵括NLP领域的发展成就:其中包括Transformer(2017),BERT(2018),GPT系列(2018、2019... 详细

数学和统计学的区别 -datasciencecentral

20-07-04 1769 banq

用数据说话好像就是讲道理,其实这里面也是有大坑的,不谈统计学上辛普森悖论,统计学使用的归纳思维和数学演绎思维根本不同,擅长归纳与形象或比喻思维的人很容易掉入统计学大坑中,表面上好像很科学,其实可能是... 详细

人工智能GPT-3最近被玩坏了,关于上下文AI模型GPT3的快速思考 - Delian

20-07-18 1105 banq

OpenAI是由Elon Musk,Sam Altman,Greg Brockman和ML的其他一些领导者创立的AI研究基金会创建的API和网站,人们可以访问名为 GPT-3的新语言模型 。在过去的... 详细

区块链中的信任模型 - vitalik

20-08-25 725 banq

许多区块链应用程序最有价值的特性之一就是不信任:应用程序以预期的方式持续运行:无需依赖特定的参与者以特定的方式行事,即使他们的利益可能改变并推动他们采取行动将来以某种不同的意外方式。 区块链应用程序... 详细

美国在卫健等民生领域应用AI预测因果关系的失败经验教训以及能判断因果的AI新方法 -ssir

20-07-12 649 banq

因果AI可以识别行为或事件的根本原因,并提供预测模型无法提供的关键见解。但是如果使用现有所谓预测性AI来预测因果行为可能导致毁灭性的政策错误。卫生健康医保领域必须学会应用因果模型AI,以更好地解释人... 详细

GPT-3至少类似于一个人的创造性思维能力 - perceptions

20-08-02 483 1 banq

GPT-3是一种范式转变。它可能无法处理某些逻辑任务,也不能处理某些会话任务。但这是朝正确方向迈出的一步。它至少类似于一个人的创造性思维能力。 GPT-3还是一个巨大的范式转变,我确实认为它应该使很... 详细

BPMN-L是用于流程格局实现BPMN建模的扩展 -ScienceDirect

20-08-02 482 banq

当前流程格局图(Process landscape diagrams)是通过定义组织业务流程之间的范围和关系来表示流程体系结构的总体部分。他们通过利用视觉符号的好处来促进意识和与流程相关的交流。但是... 详细

Graphtage:一种新的语义区分工具

20-08-30 414 banq

Graphtage是一个命令行实用程序和基础库,用于语义上比较和合并树状结构,例如JSON,JSON5,​​XML,HTML,YAML和TOML文件。它的名字是“图形”和“嫁接”的Portmante... 详细

您不需要成为数学家就可以掌握量子计算 - Frank Zickert

20-10-08 327 banq

数学并不是我们唯一的精确语言。我们拥有与数学公式一样精确的语言:如今,这些语言对许多人来说几乎是自然的,这些语言就是编程语言。 我的意思不是特定编程语言的语法。相反,我指的是一种思维方式,几乎所有编... 详细

共有 118 上一页 1 2 3 4 5 6 7 ... 8 下一页