基于信号时序逻辑的电商业排序信号分析
计算机科学中的逻辑
2021-01-15 v1 形式语言与自动机理论
信息检索
机器学习
摘要
由学习排序模型检索得到的文档的时间位置可视为信号。信号携带有用信息，如文档随时间的下降或上升以及用户行为。在本工作中，我们提出使用称为信号时序逻辑（STL）的逻辑形式体系，依据指定公式刻画排序中的文档行为。我们的分析表明，借助 STL 公式可轻松形式化并检测有趣的文档行为。我们在一个包含 10 万条产品信号的数据集上验证了我们的想法。通过该框架，我们揭示了有趣的模式，如冷启动、温启动、尖峰，并考察了它们如何影响我们的学习排序模型。
引用
@article{arxiv.2101.05415,
title = {Analysis of E-commerce Ranking Signals via Signal Temporal Logic},
author = {Tommaso Dreossi and Giorgio Ballardin and Parth Gupta and Jan Bakus and Yu-Hsiang Lin and Vamsi Salaka},
journal= {arXiv preprint arXiv:2101.05415},
year = {2021}
}
备注
In Proceedings SNR 2020, arXiv:2101.05256