小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI

本文介绍了KERAIA,一个用于符号知识工程的新框架,旨在解决动态、复杂和上下文敏感环境中的知识表示与推理问题。KERAIA结合传统框架推理和K-line概念,引入动态知识云、上下文敏感关系和自适应知识转换,确保可解释性,并在多个案例中验证其有效性。

KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-05-07T00:00:00Z

本研究探讨大型语言模型在特定领域本体生成中的应用,评估DeepSeek和o1-preview模型的表现,发现它们在本体构建方面具有良好的泛化能力,为自动推理和知识表示技术的改进提供了基础。

Evaluating the Capabilities of Large Language Models in Domain-Specific Ontology Generation

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-04-24T00:00:00Z
Prolog-MCP服务器:用于现代工作流的神经符号人工智能

神经符号人工智能(Neurosymbolic AI)结合了符号推理与神经网络的模式识别,克服了各自的局限性。Prolog作为符号AI的基础,支持逻辑推理和知识表示。现代系统通过将深度学习与Prolog推理结合,提升了泛化能力。Prolog-MCP服务器将Prolog逻辑与模型上下文协议结合,支持复杂推理和知识验证,适用于医疗安全规则等领域。

Prolog-MCP服务器:用于现代工作流的神经符号人工智能

DEV Community
DEV Community · 2025-04-19T08:00:28Z

本研究提出了一种基于行为的知识表示方法,结合专家知识与机器学习,显著提高了对非大师级国际象棋棋手走棋的预测准确率25%。该方法特别有效于识别中级棋手的开局走棋模式,推动了人工智能与人机交互的发展。

Behavior-Based Knowledge Representation Improves Prediction Accuracy of Players' Moves by 25%

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-04-07T00:00:00Z

本研究提出了一种受限的顺序排序强内涵逻辑,解决了顺序排序逻辑在知识表示中的局限性,增强了对概念的量化支持,并改善了程序与子类型的兼容性。

顺序排序强内涵逻辑:通过类型断言和概念泛化表达子类型多态性

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-02-13T00:00:00Z

本文探讨了大语言模型(LLMs)在生成复杂概念解释时的理解能力,提出了“解释-查询-测试”(EQT)自我评估方法,发现其性能与传统基准测试相关,揭示了LLMs在知识表示和推理方面的局限性。

Explain-Query-Test: Self-Evaluating Large Language Models through Differences in Explanation and Understanding

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-01-20T00:00:00Z

本研究评估了神经符号人工智能领域,发现学习、推理和知识表示是主要研究方向,但可解释性和可信度的研究相对不足。建议通过跨学科研究来填补这些空白,以推动智能系统的发展。

Neuro-Symbolic Artificial Intelligence 2024: A Systematic Review

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2025-01-09T00:00:00Z

本研究提出了一个通用框架,解决了人工智能中知识表示形式选择的争议,发现所有通用表示形式在递归同构方面具有一致性,具有重要的理论意义。

知识表示形式理论

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-12-16T00:00:00Z
第一阶逻辑如何塑造2025年的人工智能发展

随着人工智能的发展,第一阶逻辑在推理和知识表示中发挥着重要作用,帮助AI系统理解复杂数据,提升自然语言处理和机器人技术的能力。尽管面临挑战,预计到2025年,第一阶逻辑将继续推动AI的透明性、伦理决策和智能推理。

第一阶逻辑如何塑造2025年的人工智能发展

DEV Community
DEV Community · 2024-11-07T00:24:33Z

本论文讨论了人工智能系统中知识表示和迁移的重要性,以及不同模态之间的关系。同时分析了转移出现或稀缺的原因,并强调了从设计到学习的转移的重要性。

自主系统的进化符号表示合成

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-09-18T00:00:00Z

本文讨论了人工智能系统中知识表示和迁移的重要性,以及不同模态之间的关系。分析了转移出现或稀缺的原因,并强调了从设计到学习的转移的重要性。

CHIRPs:持续强化学习中的变化诱发悔恨代理度量

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-09-05T00:00:00Z

本文讨论了人工智能系统中知识的表示和迁移的重要性,以及不同模态之间的相互关系,分析了转移出现或稀缺的原因。

通过集中式奖励代理进行多任务强化学习的知识共享与转移

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-08-20T00:00:00Z

本研究探讨了开发与人类共生的AI所面临的挑战,包括处理用户情境、实现生涯上下文识别、保持AI与人类表达方式的一致性等。作者总结了经验并指出未来研究方向,强调了知识表示和机器学习的交叉研究的重要性。

隐私意识助手中的上下文完整性操作化

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-08-05T00:00:00Z

本文总结了大语言模型和知识图谱融合的三种路线,包括KG增强LLM、LLM增强KG和LLM+KG协同使用。这些方法都旨在打破LLM和KG两类不同知识表示的边界,促进知识的交流和利用。在实际业务场景中,应优先考虑使用大模型,但在对知识可信度和可解释性要求高的场景或已有丰富知识图谱的情况下,可以考虑将LLM和KG结合使用。

知识图谱与大模型相结合的3种方法,1+1>2

华为云官方博客
华为云官方博客 · 2023-10-31T08:42:23Z

这篇文章是一份关于知识表示与推理的观点宣言,阐述了该领域的现状、与其他领域的关系、优势和不足,并提出了未来进展的建议。

OWL 推理器在 2023 仍然可用

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2023-09-13T00:00:00Z
  • <<
  • <
  • 1 (current)
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
友情链接: MOGE.AI 九胧科技 模力方舟 Gitee AI 菜鸟教程 Remio.AI DeekSeek连连 53AI 神龙海外代理IP IPIPGO全球代理IP 东波哥的博客 匡优考试在线考试系统 开源服务指南 蓝莺IM Solo 独立开发者社区 AI酷站导航 极客Fun 我爱水煮鱼 周报生成器 He3.app 简单简历 白鲸出海 T沙龙 职友集 TechParty 蟒周刊 Best AI Music Generator

小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码