- 第 38 届国际逻辑编程大会论文集
ICLP 是呈现逻辑编程研究的卓越国际会议,涵盖基础、语言、实现和应用,并欢迎相关范式和合作。
- BERT4Rec 序列推荐的系统性综述和可重复性研究
通过分析 BERT4Rec 在不同实现情况下的表现,本文得出结论:BERT4Rec 在足够长时间的训练后,的确展现出顺序推荐的最新效果,但不同研究中对其效果的确认并不一致。我们提出了自己的 BERT4Rec 实现,并证明它可以在比原论文更短 - Cycle-GAN 用于眼动跟踪
本文介绍了一个对于眼动追踪任务使用 Cycle-GAN 方法的非典型实现。
- IJCAI验证智能代理的期望和观察
本文主要研究了一种称为公共观察逻辑的动态认知逻辑的计算复杂性,并探讨了该模型检查算法的实现,以及其在验证不同特征和交互系统方面的适用性。
- 主动知识搜索的概率编程范例
本研究通过一种基于概率编程实现的语言,提出并实现了一种能够获取关于环境新知识的编程模型,通过在实验中运用此模型,成功实现了一个适用于主动建图和机器人探测的算法。最终,通过对基于 HouseExpo 数据集的广泛模拟研究,进一步验证了实现的功 - MM借鉴 NIST CPS 框架理解和推导 CPS
本文提出了一个 CPS 的正式定义,并证明了基于这个定义,可以用 ASP 精确地形式化和实现与 CPS 相关的各种问题,包括关注点之间的依赖或冲突,如何缓解问题以及对于给定问题最合适的缓解策略是什么。文章最后讨论了所提出的方法的潜在性。
- AI 伦理的伦理学──指南评估
本文分析比较人工智能伦理指南的规范原则、建议和忽略之处,提供了对人工智能伦理领域的详细概述,并研究这些伦理原则和价值观在人工智能系统研究、开发和应用实践中的实现程度。最终,本文探讨了如何提高人工智能伦理的有效实施。
- IJCAI一个有限置信一阶逻辑推理系统
本文提出了一种高度可表达的有限置信逻辑,可以进行可计算的推理,在一阶逻辑上保持可判定性,在命题逻辑上保持可操作性,并引入一种采用此逻辑作为表示语言的推理系统,该系统展示了有限置信的好处。
- ACL句法基础的观点挖掘中的复制问题
本文介绍了一项对于基于句法的方面级情感挖掘的三种著名算法的经验可重复性研究,表明由于预处理和参数设置缺少细节以及缺乏可用的代码实现以阐明细节,再现结果仍然是一项困难的任务,这是该领域的重要研究威胁。因此,鼓励代码驱动的研究在帮助研究人员更好 - 关于乘法伽马过程的注记
本研究探讨了统计学中关于自适应降维和多重伽玛过程在高维问题中的应用及其性质研究,旨在简化该过程的实施。
- Cantor meets Scott: 概率网络的语义基础
本文提出了一个新的应用领域理论的 ProbNetKAT 语义的特征,进而实现了 ProbNetKAT 的实际问题解决。我们使用该语义来描述各种概率问题,例如在网络中关于路由方案的期望拥塞和关于网络连通性的概率推理,并开发出原型实现。
- MM在线机器学习技术预测操作员绩效
本文探讨了多个在线机器学习算法,从理论角度评估了它们在特定函数逼近问题上的适用性,进一步通过高效的实现利用各种计算和数学技巧将理论上适合的学习算法应用于手头的函数逼近问题,并通过严格测试评估实现的学习算法。
- MMLieb 的凹性定理、矩阵几何平均数和半定规划
证明了 Lieb 的函数在任何有理数 $t∈[0,1]$ 上都有显式的半定规划表达式,并提供了用 Matlab 实现我们结论的方法。
- 缺陷逻辑的表示结果
本研究考察了非单调推理 Defeasible Logic 的转化和正则形式,旨在为其深入理解和高效实现提供理论工具。