代数检索：智能体的可组合搜索

代数检索让人工智能代理在查询时制定搜索策略。相关性标准、资格约束和排名偏好可以在数学查询中一起表达。查询界面公开了可用的操作，因此代理可以将它们组合起来解决手头的问题，并在检查结果后修改程序。我们评估执行奇偶性，而不是代理行为或检索质量。程序化嵌入调制 (PEM) 在检索期间公开向量和评分算术，我们以可组合查询的形式展示了对比评分、候选池重新排名和加权排名，以及可执行的 SQL 和 PyTerrier 对应项。在公开的 11,429 个文档 Vaswani 固定装置上，每个程序的实现都选择分数差异低于 1e-6 的相同文档集；平局的一对在得分路径上的顺序不同。