Solving Power Distribution Network Problems with Answer Set Programming

被引:0
|
作者
Yamada K. [1 ]
Minato S.-I. [2 ]
Tamura N. [3 ]
Banbara M. [1 ]
机构
[1] Graduate School of Informatics, Nagoya University
[2] Graduate School of Informatics, Kyoto University
关键词
Constraint satisfaction problems - Electric power distribution;
D O I
10.11309/jssst.40.2_3
中图分类号
学科分类号
摘要
Power Distribution Network Problem (PDNP) can be generally defined as determining the configuration of power distribution network. Power Distribution Network Reconfiguration Problem (PDNRP) can be defined as, for a given PDNP instance and two feasible configurations, determining the reachability from one configuration to another one while satisfying the transition constraints. This paper focuses on searching the shortest path of PDNRPs. In this paper, we propose an approach to solving PDNPs and PDNRPs based on Answer Set Programming (ASP). In our approach, at first, a problem instance is converted into a set of ASP facts. Then, the facts combined with ASP encoding for PDNP/PDNRP solving can be solved by using ASP systems, in our case clingo. To evaluate the effectiveness of our approach, we conduct experiments using benchmark sets including a practical PDNP instance called fukui-tepco. © 2023 Japan Society for Software Science and Technology. All rights reserved.
引用
收藏
页码:3 / 18
页数:15
相关论文
共 50 条
  • [41] The Answer Set Programming Competition
    Calimeri, Francesco
    Ianni, Giovambattista
    Krennwallner, Thomas
    Ricca, Francesco
    AI MAGAZINE, 2012, 33 (04) : 114 - 118
  • [42] Modular answer set programming
    Oikarinen, Emilia
    LOGIC PROGRAMMING, PROCEEDINGS, 2007, 4670 : 462 - 463
  • [43] Answer set programming and agents
    Dyoub, Abeer
    Costantini, Stefania
    De Gasperis, Giovanni
    KNOWLEDGE ENGINEERING REVIEW, 2018, 33
  • [44] Monotonic Answer Set Programming
    Gebser, Martin
    Gharib, Mona
    Mercer, Robert
    Schaub, Torsten
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (04) : 539 - 564
  • [45] Answer Set Programming with Resources
    Costantini, Stefania
    Formisano, Andrea
    JOURNAL OF LOGIC AND COMPUTATION, 2010, 20 (02) : 533 - 571
  • [46] Explanations for Answer Set Programming
    Alviano, Mario
    Trieu, Ly Ly
    Son, Tran Cao
    Balduccini, Marcello
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 385 : 27 - 40
  • [47] Reactive Answer Set Programming
    Gebser, Martin
    Grote, Torsten
    Kaminski, Roland
    Schaub, Torsten
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 2011, 6645 : 54 - 66
  • [48] Matchmaking with Answer Set Programming
    Gebser, Martin
    Glase, Thomas
    Sabuncu, Orkunt
    Schaub, Torsten
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 342 - 347
  • [49] Achievements in answer set programming
    Lifschitz, Vladimir
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 961 - 973
  • [50] Applications of Answer Set Programming
    Erdem, Esra
    Gelfond, Michael
    Leone, Nicola
    AI MAGAZINE, 2016, 37 (03) : 53 - 68