CitySpec：面向智慧城市需求规约的智能辅助系统
人工智能
2022-06-16 v2 计算与语言
机器学习
软件工程
摘要
智慧城市中已开发越来越多的监控系统，以确保城市的实时运行满足安全和性能需求。然而，许多现有的城市需求以英文撰写，存在缺失、不准确或模糊的信息。亟需辅助城市政策制定者将人工指定的需求转换为监控系统可理解的机器形式化规约。为应对这一局限，我们构建了 CitySpec，这是首个面向智慧城市需求规约的智能辅助系统。为创建 CitySpec，我们首先从 100 多个城市收集了跨不同领域的 1,500 多条真实城市需求，并提取城市特定知识以生成包含 3,061 个词的城市词汇数据集。我们还构建了翻译模型并通过需求合成对其进行增强，并开发了一种带不确定性验证的新型在线学习框架。在真实城市需求上的评估结果表明，CitySpec 将需求规约的句子级准确率从 59.02% 提升至 86.64%，并对新城市和新领域具有强适应性（例如，通过在线学习，西雅图需求的 F1 分数从 77.6% 提升至 93.75%）。
引用
@article{arxiv.2206.03132,
title = {CitySpec: An Intelligent Assistant System for Requirement Specification in Smart Cities},
author = {Zirong Chen and Isaac Li and Haoxiang Zhang and Sarah Preum and John A. Stankovic and Meiyi Ma},
journal= {arXiv preprint arXiv:2206.03132},
year = {2022}
}
备注
This paper is accepted by SMARTCOMP 2022