arXiv:2502.01503v1 通告类型: 新 摘要: 在海运行业中，恶意行为者在禁用其船舶的自动识别系统(AIS)后进行非法行为，这使得分析师难以找到这样的船舶。机器学习方法只能在未来短期内识别这些“暗船”的位置。本文利用了应用于定位敌对代理的 abduction 推理思想来解决这个问题。具体而言，我们结合了 abduction、逻辑编程和规则学习的概念，创建了一种高效的方法，该方法接近于完全召回“暗船”的同时，所需的搜索区域比机器学习方法少。我们提供了一种基于逻辑的关于海上船舶推理的范式、一种 abduction 推理查询方法、一种自动提取的基于规则的行为模型方法以及一套全面的实验。