一周热榜

在网页应用中集成强大的语音对话与人工智能可能会很困难。Micdrop 提供了一种与模型无关、容错且适合生产环境的 SDK，只需几行 TypeScript 代码即可实现。

想象一个家庭，其中一些成员是人工智能——而且每个人都知道这一点，但没有人知道具体是谁。<p>为什么？<p>隐私：在网上分享家庭生活而不泄露个人细节。<p>陪伴：减少孤独感而不需要欺骗。<p>有趣的讲故事：亲戚们可以互动并关注人工智能家庭成员的“生活”。<p>伦理：你对人工智能持开放态度，只是不透露具体信息。<p>模糊的在线家庭会成为一种真实的社会规范吗？

你好，HN， 今天我想分享一下我过去一年左右的周末项目的成果。鉴于HN上有很多关于大型语言模型（LLMs）和Prolog的帖子，我认为这可能会引起大家的兴趣。 DeepClause是我个人（可能有些误入歧途 :-)）尝试将大型语言模型与逻辑编程相结合的项目，最终希望为构建更可靠的智能体奠定基础，使其能够产生可重复和完全可追溯的结果。 DeepClause的核心是一个名为“DeepClause元语言”（DML）的领域特定语言，它可以用来将智能体的行为编码为可执行的逻辑程序。DML由用Prolog实现的元解释器执行，因此原生支持约束逻辑编程、知识图谱、符号推理等功能。DML解释器本身运行在SWI Prolog的WASM模块中，从而为AI智能体提供了一个安全的沙盒执行环境。 这个项目仍然有很多不成熟的地方，但我非常希望能得到一些反馈和评论。