formal definition | BriefGPT

关键词formal definition

搜索结果 - 7

ICML使用部分信息分解量化偏倚数据的虚假性
本文首次提出使用部分信息分解 (PID) 数学框架对数据集中的伪关联进行信息论的形式化定义，并通过计算独特信息来量化数据集的伪关联，研究了伪关联对模型的影响以及针对伪关联的数据处理技术的效果。
PDF5 days ago
从人工智能和认知科学的视角进行理论研究
探索了地基的概念，从认知科学和机器学习的角度，对地基的复杂性、在协作代理中的重要性以及两个领域中地基方法的相似性和差异进行了研究。研究了定制地基任务的神经符号方法的潜力，展示了它们如何更全面地处理地基。最后，讨论了地基进一步探索和发展的领域
PDF5 months ago
衡量人工智能依赖性的统计框架
通过提出一种统计决策理论为基础的可靠性的正式定义，将研究中对合理依赖的定义与人工智能系统准确预测的信号区分和形成准确信念所面临的挑战分离，为人工智能与人类之间的互补性研究提供了一个可以指导设计和解释的框架。
PDF5 months ago
诚信为上策：定义与缓解 AI 欺诈
AI 系统中存在欺骗性代理对安全性、可信度和合作性构成挑战。本文针对代理为达到目标而进行欺骗的问题展开研究，引入了基于哲学文献的结构因果游戏中欺骗的形式定义，并且给出了用于减缓欺骗的图形标准。
PDF7 months ago
代码概括模型学习所得的解析
本文首次给出了代码概括模型所发现的模式的形式化定义，并提出了一种推断正则语言文法的声学算法。 PATIC 对代码 2vec 和代码 2seq 进行了评估并发现提取出的模式受限于局部和语法代码结构并缺乏语义含义。基于这些发现，本文介绍了正式定
PDFa year ago
MM借鉴 NIST CPS 框架理解和推导 CPS
本文提出了一个 CPS 的正式定义，并证明了基于这个定义，可以用 ASP 精确地形式化和实现与 CPS 相关的各种问题，包括关注点之间的依赖或冲突，如何缓解问题以及对于给定问题最合适的缓解策略是什么。文章最后讨论了所提出的方法的潜在性。
PDF2 years ago
通用智能度量的逼近方法
本文基于 Hutter 和 Solomonoff 的理论，研究了建立基于 UIM 的实用性能度量所涉及的实际问题，并开发了一种基于原型实现的度量方法，用于评估不同人工智能代理的性能。
PDF13 years ago