arXiv:2407.06447v2 宣告类型: replace-cross 摘要：在安全社区中，生成符合地理位置和时间约束的人工人类运动模式是一项重要问题，特别是在这种生成能够帮助研究检测这类模式的问题的同时，还能保持隐私性。我们将这个问题重新定义为由新的简约函数（表示为注释逻辑程序的综合真值）引导的 abduction 问题。这种方法的好处之一是可以为分析师用户提供可解释性。通过证明程序的任何子集都可以提供这种简约要求的下界，我们可以通过有信息指导的（即A*）搜索有效地推导出运动轨迹。我们描述了如何通过应用多种技术来增强我们的实现，使其能够扩展并与基于云的软件栈集成，包括自底向上的规则学习、地理定位的知识图谱检索/管理，以及与政府系统接口的独立政府运行测试，我们还提供了实验结果。我们还报告了我们自己的实验结果，表明我们不仅提供精确的结果，还能够处理非常大规模的场景，并提供能够逃避机器学习异常检测器检测的真实代理轨迹。