|
幽默：没有逻辑约束的微服务
。
其实，财务算账是一种符号推理；律师辩护也是一种符号推理，为了防止律师辩护和法官判定太注重符号推理，脱离现实，陪审团机制就很重要。
通常人们仅限制于自己专业领域的符号推理，但不自知，如果将符号
1 个月 前 |
|
人工智能可以告诉我们关于人类智能到底是什么？
基础：规则遵循、抽象、因果推理、重新识别细节、概括和许多其他能力。简而言之，我们对世界的大部分理解都是天生的，学习是充实细节的过程。 有另一种经验主义观点将此颠倒过来：符号操作在自然界中是罕见的，主
5 个月 前 |
|
什么是皮尔士的符号理论？
一种图标。 因此，在思辨语法、逻辑批评和思辨修辞学下的逻辑三元分类中。演绎、归纳和演绎（即推理）依赖于推测语法（即符号）。 逻辑在数学之下，被认为是第一，数学也是发现科学下的第一，因此，没有“推测
7 个月 前 |
|
一阶逻辑是什么？ | baeldung
逻辑系统的发展 克服。 如今，一阶推理已成为机器学习系统符号推理的基本组成部分。现代专家系统都使用一阶或 高阶逻辑 ，该 逻辑 允许以自动化方式进行 抽象推理和推理 。 还有用于一阶逻辑的专用编程语言。其中
10 个月 前 |
|
研究首次表明乌鸦能使用统计逻辑
整数），将它们与抽象符号联系起来，然后以奖励最大化的方式应用这些信息组合。经过 10 天的训练和 5,000 次试验，研究人员发现，两只乌鸦继续挑选出奖励概率较高的乌鸦，这显示了它们使用统计推理的能力
1 周 前 |
|
莱布尼茨对通用思想语言的探索
大多数现代微积分符号，包括积分和微分符号，都深受莱布尼茨原始符号的启发。 但在这篇文章中，我们关心他主要是因为他关于数学可能是什么的更大梦想。 莱布尼茨对符号可以简化一个复杂的数学问题的程度感到
8 个月 前 |
|
深度学习模块化和语言模型 - Carlos E. Perez
，我们依赖于使用名称（如 Adam）来推理如何控制系统。 符号是控制所必需的，因为人类需要符号隐藏复杂特性。人类需要人工构造来推理。我们没有深度学习系统的认知，可以在没有任何符号的情况下“推理
7 个月 前 |
|
时间旅行助推器如何加速 AGI 开发？ - Carlos E. Perez
开发的，它由三个主要部分组成：符号、推理和修辞。 符号学是创造和解释符号的过程。这是Architectonic的基础，它涉及使用语言、逻辑和其他符号系统来表示和交流思想。 推理是根据给定的信息进行
7 个月 前 |
|
为计算机发明奠定基础的《思想法则》出版150周年：什么是布尔逻辑/布尔代数？ - maa
： 以下论文的目的是研究进行推理的思维活动的基本规律。用微积分的符号语言表达他们，并在此基础上建立逻辑科学并构建其方法。 布尔的“ 微积分的符号语言”意思是指代数，使用 x，y，z，p，q，r 等
2 年 前 |
|
人类理解的极限 - Carlos E. Perez
不同环境中扮演许多角色的部分。 人类认知的复杂性在于我们在丰富的语境（上下文）中进行推理。因此，维特根斯坦用语言游戏来描述人类交流。维特根斯坦认为，文字在语言游戏之外没有意义。语言的某些部分具有外部性
6 个月 前 |
|
编程是最好的逻辑能力训练方法！ - thoughtbot
程序编程调试是最好训练培养一个人逻辑推理能力的方法，没有之一。数学推理过于严谨，人性化不足，普及性不够，想通过数学普及提升普通人逻辑能力，容易引起抵触，数学存在 天赋论之说 影响其普及；其他办法如
2 年 前 |
|
生成式 AI 的模式语言
不行吗？ 语义学的概念本身掩盖了太多的细节。 我们需要一种语言来解释意义是如何构建的。 符号学以更精细的细节解构语义学。 它给了你一种表达符号如何演变以产生意义的方式。 符号学是一种新的抽象 计算机
5 个月 前 |
|
企业架构有哪些工具？
？
以目前的成熟度来看EA工具并不可用，可将EA工具用于业务级别部分，但不要尝试将其用于IT系统。
基本上所有EA工具对于 。(#符号推理)
EA工具经常支持一个非常通用的“信息”概念
1 个月 前 |
|
UML死了，但是形式方法能成功吗？ •Buttondown
可以帮助您与团队进行精确的沟通，并可以作为编写实际代码的参考。 但是，这些还不足以使其有用，即使捍卫UML的人也仅使用了少数图表，并且将其作为草绘符号，而不是蓝图符号。而且，如果也有任何东西可以代替它
2 年 前 |
|
什么是逻辑形式系统？ - Sam
为什么上学目的是为了辨别哪些理论是在胡说八道？ 为什么数学家和物理学家可以在纸上写一些有趣的符号，对它们进行逻辑运算，产生一些新的有趣的符号排列，并确信这些新的符号实际上告诉他们一些关于宇宙的
1 年 前 |