通过答案集编程进行长期电力网络规划
Long-term Power Grid Planning via Answer Set Programming
AI总结：
本文提出了一种基于答案集编程的自动化和优化长期电力网络规划方法，以解决可持续性目标、需求模式和城市化趋势等复杂问题。
摘要：
电力网络是支撑现代社会各个方面的重要基础设施，其有效性需要持续适应。特别是要应对可持续性目标、需求模式和城市化趋势，需要对网络进行更改。实际发展可能持续数十年，必须通过确保符合多种拓扑和组合不变量来保持供应连续性和服务质量。长期电力网络规划涉及上述过程，尽管规划语言可能是一个自然的选择，但所需的属性和不变量在这样的语言中难以表达；相反，它们可以优雅且简洁地编码在答案集编程（ASP）中。在本文中，我们提出了一种利用ASP自动化和优化长期电力网络规划过程的方法。在合成和实际电网数据上进行的实验评估证实了所提出的基于ASP的方法的表达能力，并展示了其有效性。
英文摘要：
The Power grid is a critical infrastructure underpinning all aspects of modern society and its services. Maintaining its effectiveness requires continuous adaptations. In particular, addressing sustainability targets, demand patterns, and urbanisation trends requires implementing changes to the network. Actual developments can potentially span over a decade, with supply continuity and service quality that must be preserved throughout by ensuring conformance to several topological and combinatorial invariants. Long-term power grid planning deals with the above process, and although planning languages could be a natural choice, the kind of properties and invariants needed are cumbersome to express in such languages; on the contrary, they can be elegantly and succinctly encoded in Answer Set Programming (ASP). In this paper, we propose the first approach to automate and optimise the long-term power grid planning process using ASP. Experimental evaluations conducted on synthetic and real-world grid data confirm the expressive power of the proposed ASP-based approach and demonstrate its effectiveness.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
