DDD泛在语言UL

     

大模型是否成功支持了维特根斯坦“意义即使用”?

16 1 3K

比特币为啥有用?不是它本身用多少黄金 石油做标的,不是它本身指向了多少实在物质,而是有人使用它,只要被使用就有价值,而不在于该符号本身有多少价值。我们所说的 "成功 "是指当前的人工智能/LLM 能够.

AGI来了?特拉斯用大模型帮助自动驾驶

20

Grok-1.5V能将“像素->动作”映射提升为“像素->语言->动作”。Tesla FSD v13可能会是Grokking语言令牌。Grok-1.5V最让人兴奋的是解决自动驾驶中边缘情况的潜力。使用.

Rama通过拓扑通用语言实现ACID事务

22 3K

Rama是一个新的编程平台, Rama 的突破最重要的是,它首次出现了用于构建软件应用程序的内聚模型,无论规模如何。ACID事务ACID原子性、一致性、隔离性和持久性是数据库系统的关键特征。Rama .

构建计费系统14个痛点

73 2K

如果您希望通过业务获利,计费和收入系统是必需的。计费是困难的、相互交织的、复杂的。三种模式这并不是计费系统所独有的。以下三种模式之一很常见:1、构建您自己的计费: 完全自主开发的解决方案。 控制力很难.

使用知识图实现领域知识建模与测试

41 5K

知识图成为现代软件工程实践的基石。知识图是一个巨大的信息网络,其中元素和想法相互链接以显示它们在现实世界中的关系。这超出了仅存储信息的数据库的范围。知识图谱还存储信息之间的联系。这使得知识图谱在各个领.

如何发现商业规则以及表达它们的五项基本技能

92 1 5K
人们需要哪些技能来分析正式沟通以制定商业和政府中的实用规则?源材料的解释需要什么?本讨论确定了您需要的五项基本技能。为了说明这些技能,它检查了我们一位客户的政策手册中的以下简短文字,该客户的任务是支付.

黄仁勋:不要学习编码

279 1 2K

不要学习编码:Nvidia 创始人黄仁勋建议走一条不同的职业道路英伟达(Nvidia)是一家由老牌显卡公司转型为人工智能巨头的公司,去年加入了 1 万亿美元估值俱乐部,随着 ChatGPT 等大型语言.

形式验证的历史和方法

39 3K

这篇文章主要介绍了形式验证领域的历史和数学起源,涉及了形式推理的历史演变、可证明的递归函数、逆向数学和构造性数学中的类型论。文章还提到了形式验证对编程语言理论的影响,包括类型系统的发展和依赖类型语言的.

规则引擎与机器学习比较

75

规则引擎使用预定义的逻辑来做出决策,而机器学习算法则从数据中学习来做出预测或决策。规则引擎和机器学习代表了计算机系统中两种根本不同的决策和预测方法。虽然规则引擎根据人类设置的明确的预定义规则运行,但机.

复杂自适应系统的一种算法语言定义

47 4K

这篇文章介绍了复杂自适应系统(简称CAS)的定义和特征。什么是复杂自适应系统CAS? 复杂自适应系统CAS的定义:包括多个相互连接和相互依赖的交互代理,并具有非线性行为。 复杂自适应系统的关键特征:包.

GoRules:Go的业务规则引擎

105 6K

ZEN Engine 是一个跨平台、开源业务规则引擎 (BRE)。它是用 Rust 编写的,并提供NodeJS、Python和Go的本机绑定。 ZEN Engine 允许从 JSON 文件加载和执行 .

Python中匈牙利算法

48 5K

作为一名信息研究员或编程设计师,您可能会在很多时候遇到简化困难,他们要求以最佳方式将资源分配给任务。其中一个问题是任务问题,其中我们应该根据资产的成本或价值决定如何最好地将资产分配给练习。真正解决这个.

算法讲故事:将领域特征转化为叙述

59 3K

在这篇文章中,深入探讨了讲故事方式可以改变我们理解和参与 Kotlin 和 Qbeast 等复杂技术的方式。什么是算法讲故事算法讲故事是一种战略性的沟通方法,它将抽象的技术特征转化为引人入胜、相关的叙.

以规则为本是西方文明的最基本特征

152 1 3K

绝大多数商业和政府规则仍然在使用根本不是为编制业务规则为目的的软件语言。未来几年,我们需要设想人与机器之间建立一种新的伙伴关系,一种更直接适合治理的伙伴关系。毕竟,以规则为基础是西方文明最基本的特征。.

在大局事件风暴开始时该说什么

36 2K

恭喜!现在房间里有 10 个人或更多人看着您,想知道如何开始……不要惊慌:这是您的简报脚本。人们在空旷的设计空间前讨论的图画。 这就是大局事件风暴会议开始前的样子。您的大局事件风暴简报应介绍: 总体目.

问题 vs. 解决方案 ?

65 2K

经常遇到问题空间和解决方案空间这两个短语。人们使用这些词来尝试阐明他们所指的工作和活动的类型,或者他们在构建新事物的过程中所处的位置。不幸的是,我注意到这些词非但没有帮助沟通,反而非常含糊,以至于我们.

DDD中如何破解上下文划分难点?

299 2 9K
领域驱动设计(DDD)通过将精心设计的领域模型整合到软件系统中,为解决复杂业务问题提供了有价值的框架。其中,有界上下文(BC:限界上下文、有边界的上下文)的概念至关重要,它们是针对特定用户或业务挑战而.

隔行隔的是关键字

105
(banq注)隔行如隔山 其实隔的是关键字,只要你知道那个行当的关键字,你能搜出一大把,chatgpt可以帮你找到这种关键字 .

Java中的规则引擎

370 1 10K

Java 中的规则引擎为我们提供了一个以灵活且定义的方式管理和执行业务规则的框架。这些引擎使开发人员能够在不更改核心应用程序的情况下更轻松地修改和理解规则,从而将业务逻辑与应用程序代码分开。规则引擎旨.

贪心贪婪算法示例

63 3K

贪心贪婪算法(greedy algorithm)是计算机科学和优化的基本方法。它是一种简单直观的策略,用于解决各种问题并做出一系列选择以得出最佳解决方案。本质上,贪心算法在每一步都会做出局部最优选择,.

PageRank算法简介

80 14K

PageRank 是由 Google 创始人拉里·佩奇和谢尔盖·布林开发的一种算法,用于衡量互联网上网页的相关性或重要性。它于 20 世纪 90 年代末推出,通过提供一种根据网页的整体影响力和受欢迎程.

算法和流程图之间的区别

110 3K

在计算机科学和编程领域,解决问题是每项挑战的核心。无论是编写简单的程序还是开发复杂的软件,拥有系统的方法都非常重要。这就是算法和流程图发挥作用的地方。算法提供分步指令,而流程图直观地表示这些指令的逻辑.

表达业务规则时能明确无误、毫无疑问吗?

128 2K
消除歧义是政策解释者和专业分析师的一项基本技能。自然语言可以完全明确吗?不,当然不。在某些情况下,它是否可以毫无疑问地变得明确?绝对如此——这样做对于群体和社区的规则至关重要。(忽视上下文的语言其实都.

逻辑错误:定义主义谬误

92

定义主义谬误(Definist Fallacy):使用带有偏见或自以为是的定义来进行论证。定义一个术语,使其对自己友好,或对对方不友好,不留任何质疑定义或考虑替代方案的余地。逻辑形式: A 有定义 X.

什么是知识工程?

175 2K

以一阶逻辑构建知识库的过程称为知识工程。在知识工程中,研究特定领域、学习该领域的重要概念并生成对象的形式表示的人被称为知识工程师。知识工程(KE)是指构建、维护和使用基于知识的系统所涉及的所有技术、科.

什么是L-系统?

136

林登马耶系统(Lindemayer :LSystem 、L-系统)是一种形式语法,用于模拟生物系统的生长过程。用于生成分形图案、植物结构和其他自相似图像。林登马耶系统由符号字母表、将每个符号扩展为更大.

什么是程序员的伪散文?

101 2K

伪散文Pseudoprose提供了使用语义而非语法进行写作的技巧。伪散文是作家的伪代码。伪散文被提出作为一种使用具有宽松语法和句法规则的自然语言快速记下笔记和想法的方法。关键概念包括: 使用主谓宾 (.

什么是大语言模型的检索增强生成 (RAG)?

780

RAG(Retrieval-Augmented Generation:检索增强生成) 是一个人工智能框架,用于减轻大模型的“幻觉”问题。大语言模型的回答经常可能不一致。有时他们会确定问题的答案,有时他.

经合组织通过了人工智能系统的新定义

168
这个新定义反映了过去五年人工智能的发展。更新后的经合组织定义将继续作为经合组织国家和其他地方立法和监管的基础。新定义如下:人工智能系统是一种基于机器的系统,为了明确或隐含的目标,从接收到的输入推断如何.

Protégé :斯坦福的开源本体编辑器和框架

195

Protégé 是一个本体编辑器,受到强大的用户和开发人员社区的积极支持。它完全支持最新的OWL 2 Web本体语言和RDF规范。Protégé 基于 Java,可扩展,并提供“即插即用环境,使其成为.