Tommaso Dreossi, Giorgio Ballardin, Parth Gupta, J. Bakus, Yu-Hsiang Lin, Vamsi Salaka
{"title":"基于信号时序逻辑的电子商务排名信号分析","authors":"Tommaso Dreossi, Giorgio Ballardin, Parth Gupta, J. Bakus, Yu-Hsiang Lin, Vamsi Salaka","doi":"10.4204/EPTCS.331.3","DOIUrl":null,"url":null,"abstract":"The timed position of documents retrieved by learning to rank models can be seen as signals. Signals carry useful information such as drop or rise of documents over time or user behaviors. In this work, we propose to use the logic formalism called Signal Temporal Logic (STL) to characterize document behaviors in ranking accordingly to the specified formulas. Our analysis shows that interesting document behaviors can be easily formalized and detected thanks to STL formulas. We validate our idea on a dataset of 100K product signals. Through the presented framework, we uncover interesting patterns, such as cold start, warm start, spikes, and inspect how they affect our learning to ranks models.","PeriodicalId":313825,"journal":{"name":"International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT","volume":"109 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Analysis of E-commerce Ranking Signals via Signal Temporal Logic\",\"authors\":\"Tommaso Dreossi, Giorgio Ballardin, Parth Gupta, J. Bakus, Yu-Hsiang Lin, Vamsi Salaka\",\"doi\":\"10.4204/EPTCS.331.3\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The timed position of documents retrieved by learning to rank models can be seen as signals. Signals carry useful information such as drop or rise of documents over time or user behaviors. In this work, we propose to use the logic formalism called Signal Temporal Logic (STL) to characterize document behaviors in ranking accordingly to the specified formulas. Our analysis shows that interesting document behaviors can be easily formalized and detected thanks to STL formulas. We validate our idea on a dataset of 100K product signals. Through the presented framework, we uncover interesting patterns, such as cold start, warm start, spikes, and inspect how they affect our learning to ranks models.\",\"PeriodicalId\":313825,\"journal\":{\"name\":\"International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT\",\"volume\":\"109 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-01-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.331.3\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.331.3","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Analysis of E-commerce Ranking Signals via Signal Temporal Logic
The timed position of documents retrieved by learning to rank models can be seen as signals. Signals carry useful information such as drop or rise of documents over time or user behaviors. In this work, we propose to use the logic formalism called Signal Temporal Logic (STL) to characterize document behaviors in ranking accordingly to the specified formulas. Our analysis shows that interesting document behaviors can be easily formalized and detected thanks to STL formulas. We validate our idea on a dataset of 100K product signals. Through the presented framework, we uncover interesting patterns, such as cold start, warm start, spikes, and inspect how they affect our learning to ranks models.