arXiv:2502.01503v2 通告类型：替换 摘要：海洋行业的不良行为者在禁用其船舶的自动识别系统（AIS）后进行非法行为，这使得分析师难以找到这些船舶。现有的机器学习方法只能在短期内识别这些“暗船”的位置。本文利用将归aptcha推理应用于定位敌对代理的文献中的想法来解决这一问题。具体而言，我们结合了归aptcha推理、逻辑编程和规则学习的概念，创建了一种高效的方法，该方法在要求搜索区域比机器学习方法更小的同时，能够接近完全召回暗船的能力。我们提供了一种基于逻辑的关于海洋船舶推理的范式、一种归aptcha推理查询方法、一种自动提取的基于规则的行为模型方法以及一套详尽的实验。