摘要 - 为了充分利用移动操纵机器人的功能,必须在大型未探索的环境中自主执行的长途任务。虽然大型语言模型(LLMS)已显示出关于任意任务的紧急推理技能,但现有的工作主要集中在探索的环境上,通常集中于孤立的导航或操纵任务。在这项工作中,我们提出了MOMA-LLM,这是一种新颖的方法,该方法将语言模型基于从开放式摄影场景图中得出的结构化表示形式,随着环境的探索而动态更新。我们将这些表示与以对象为中心的动作空间紧密地交织在一起。重要的是,我们证明了MOMA-LLM在大型现实室内环境中新型语义交互式搜索任务中的有效性。最终的方法是零拍摄,开放式摄影库,并且可以易于扩展到一系列移动操作和家用机器人任务。通过模拟和现实世界中的广泛实验,与传统的基线和最新方法相比,我们证明了搜索效率的显着提高。我们在http://moma-llm.cs.uni-freiburg.de上公开提供代码。
聚类是算法中的一个重要主题,在机器学习、计算机视觉、统计学和其他几个研究学科中有着广泛的应用。图聚类的传统目标是找到具有低电导性的聚类。这些目标不仅适用于无向图,而且无法考虑聚类之间的关系,而这对于许多应用来说可能是至关重要的。为了克服这些缺点,我们研究了有向图(有向图),其聚类彼此之间展示了更多的“结构”信息。基于有向图的 Hermitian 矩阵表示,我们提出了一种近线性时间的有向图聚类算法,并进一步表明我们提出的算法可以在合理的假设下以亚线性时间实现。我们的理论工作的意义通过对联合国商品贸易统计数据集的大量实验结果得到证明:我们算法的输出聚类不仅展示了聚类(国家集合)在进出口记录方面如何相互关联,还展示了这些聚类如何随着时间的推移而演变,这与已知的国际贸易事实一致。
我们提出了一种基于辩论动态的知识图谱自动推理新方法。其主要思想是将三重分类任务构建为两个强化学习代理之间的辩论游戏,它们提取论据(知识图谱中的路径),目标是分别促使事实为真(论点)或事实为假(反论点)。基于这些论据,一个称为评判者的二元分类器决定事实是真是假。这两个代理可被视为稀疏的对抗性特征生成器,为论点或反论点提供可解释的证据。与其他黑箱方法相比,这些论据让用户能够了解评判者的决定。由于这项工作的重点是创建一种可解释的方法以保持具有竞争力的预测准确率,因此我们在三重分类和链接预测任务上对我们的方法进行了基准测试。因此,我们发现我们的方法在基准数据集 FB15k-237、WN18RR 和 Hetionet 上的表现优于几个基线。我们还进行了一项调查,发现提取的参数对用户很有帮助。
● 随着区块链交易数量的增长,所需的存储空间和网络带宽也随之增长。● 迄今为止,DAG 项目包含一些中心化特性,例如中央协调器、预选验证器或“见证”节点,或完全私有的网络系统。迄今为止,它们还无法维持“纯粹的去中心化”。
摘要 知识密集型任务对机器学习 (ML) 技术提出了重大挑战。常用的方法,例如大型语言模型 (LLM),在应用于此类任务时往往会表现出局限性。尽管如此,人们已经做出了显著的努力来缓解这些挑战,重点是通过知识图谱 (KG) 来增强 LLM。虽然 KG 在表示知识方面具有许多优势,但它们的开发成本可能会阻碍广泛的研究和应用。为了解决这一限制,我们引入了一个框架,用于使用完善的通用 KG 来丰富小规模领域特定知识图谱的嵌入。采用我们的方法,当链接到大量通用 KG 时,适度的领域特定 KG 可以从下游任务的性能提升中受益。实验评估表明性能显着增强,Hits @ 10 指标最高可提高 44%。这个相对未被探索的研究方向可以催化知识图谱更频繁地融入知识密集型任务中,从而产生更稳健、更可靠的机器学习实现,这比普遍存在的 LLM 解决方案更少产生幻觉。
计算机科学 (CS) 对日常生活的影响无可否认,这促使人们做出巨大努力,让每个人都能接受计算机科学教育。随着 CS 教育的进步,人们逐渐认识到计算不仅仅是编码,而应该注重解决问题的技能。科学界这一进步的一个里程碑是回顾“计算思维 (CT)”一词的观点,并主张它包括每个人都应该学习的通用技能,而不仅仅是 CS 专业人士 [Wing 2006]。一些流行且成功的教授/学习 CS 和培养 CT 技能的方法包括可视化编程活动 [Hu et al. 2021];游戏化编程环境/编程游戏 [Lindberg et al. 2019]。它们通常与创客文化相一致,将学习者视为创造者,而不仅仅是消费者 [Martin 2015]。
I. i tratotuction for Graphs(DNNG)代表了一个新兴领域,该领域研究如何将深度学习方法推广到图形结构化数据。由于图是一种功能强大且灵活的工具,可代表模式及其关系形式的复杂信息,从分子到蛋白质到蛋白质相互作用网络,再到社交或运输网络,或者在知识图上,或者在非常不同的范围内建模系统,这些方法已被用于许多应用领域。Since the pioneering works on trees, namely Recursive Neural Networks [1], [2], and directed acyclic graphs [3], [4], up to methods extended to general graphs, both by recursive approaches (namely Graph Neural Networks (GNNs) [5], [6]), or Graph Convolutional Network approaches (namely NN4Gs [7], GCNs, etc.),已经提出了许多用于图的神经模型[8],[9]。此外,除了纯神经网络范式之外,已经引入了术语深图网络(DGN),还包括基于贝叶斯的和生成的图形网络[9]。特别是在2015年之后,已经引入了更广泛的模型,并且在其各种化身中,DNNG和DGNS已成为图形表示在学习任务中的显着能力(例如节点分类,图形分类,图形分类,图形,图形和链接预测)的强烈研究的话题。目睹了对该领域的兴趣,已经出现了许多调查,例如[8],[9]和调查文件[8]获得了2024 IEEE TNNLS杰出纸质奖。但是,这一研究和应用领域仍然具有很高的活力且不断增长[10]。的确,DNNG和相关领域的越来越多的作品表明,学术和工业社区对开发更先进的技术和算法的需求仍然相当大,请考虑包含可信赖的
摘要 - 在动态图上检测到的动态检测旨在与图表中观察到的标准模式及其时间信息相比,识别表现出异常行为的实体。由于其在财务,网络安全和社交网络等各个领域的应用,它引起了越来越多的关注。但是,现有方法面临两个重大挑战:(1)动态结构捕获挑战:如何有效地使用复杂的时间信息捕获图形结构,以及(2)负面采样挑战:如何为无人看管的学习构建高质量的负样本。为了应对这些挑战,我们提出了对动态图(Gady)的生成异常检测。gady是一个连续的动态图模型,可以捕获细粒的时间信息以应对动态结构捕获挑战,从而克服了现有离散方法的局限性。指定,我们建议使用优先级的时间聚集和状态特征来增强动态图编码器以进行异常检测。在第二个挑战中,我们引入了生成对抗网络的新颖使用来产生负面子图。此外,在发电机训练目标中引入了辅助损失功能,以确保同时生成的样品的多样性和质量。广泛的实验表明,我们提出的Gady在三个现实世界数据集上的表现明显优于现状方法。补充实验进一步验证了我们的模型设计的有效性和每个组件的必要性。
图形神经网络(GNNS)学会通过汇总邻居的信息来表示节点。随着GNNS的深度增加,它们的接受场成倍增长,导致高度记忆成本。文献中提出的几件作品旨在解决通过抽样或使用历史嵌入来解决这一缺点。这些方法主要集中在同质图上的单标签节点分类的基准上,其中相邻的节点通常共享相同的标签。但是,这些方法中的大多数都依赖于可能不会在不同的图形或任务上概括的静态启发式方法。我们认为,采样方法应具有自适应,并适应每个图的复杂结构特性。为此,我们引入了葡萄,这是一种自适应抽样方法,该方法学会识别一组对于训练GNN至关重要的节点。葡萄通过优化下游任务目标来训练第二个GNN,以预测节点采样概率。我们评估涉及同质图和异地图的各种淋巴分类基准的葡萄。我们证明了葡萄在准确性和可伸缩性中的有效性,尤其是在多标签异质图中。此外,葡萄的使用数量级比基于历史嵌入的强基线要少。与其他采样方法不同,葡萄的精度也很高,即使样本量较小,因此可以扩展到大量图。我们的实施在线公开可用。1。