An ASP-based framework for operating room scheduling

被引:8
|
作者
Dodaro, Carmine [1 ]
Galata, Giuseppe [2 ]
Maratea, Marco [1 ]
Porro, Ivan [2 ]
机构
[1] Univ Genoa, Dept Informat Bioengn Robot & Syst Engn, Viale F Causa 15, I-16145 Genoa, GE, Italy
[2] SurgiQ Srl, Genoa, GE, Italy
关键词
ANSWER; OPTIMIZATION; HEURISTICS;
D O I
10.3233/IA-190020
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The Operating Room Scheduling (ORS) problem is the task of assigning patients to operating rooms, taking into account different specialties, the surgery and operating room session durations, and different priorities. Given that Answer Set Programming (ASP) has been recently employed for solving real-life scheduling and planning problems, in this paper we first present an off-line solution based on ASP for solving the ORS problem. Then, we present techniques for re-scheduling on-line in case the off-line schedule can not be fully applied. Results of an experimental analysis conducted on benchmarks with realistic sizes and parameters show that ASP is a suitable solving methodology also for the ORS problem. This analysis has been performed with a web framework for managing ORS problems via ASP that allows a user to insert the main parameters of the problem, solve a specific instance, and show results graphically in real-time.
引用
收藏
页码:63 / 77
页数:15
相关论文
共 50 条
  • [21] ASP-based information access security control
    Li, Shengyi
    Cai, Shuqin
    Dong, Qingjun
    Zhang, Jinlong
    Jisuanji Gongcheng/Computer Engineering, 2000, 26 (12): : 26 - 27
  • [22] OntoDLV: An ASP-based System for Enterprise Ontologies
    Ricca, Francesco
    Gallucci, Lorenzo
    Schindlauer, Roman
    Dell'Armi, Tina
    Grasso, Giovanni
    Leone, Nicola
    JOURNAL OF LOGIC AND COMPUTATION, 2009, 19 (04) : 643 - 670
  • [23] An ASP-based solver for parametrized-difference revision
    Aravanis, Theofanis
    JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (03) : 630 - 666
  • [24] An ASP-Based Approach to Counterfactual Explanations for Classification
    Bertossi, Leopoldo
    RULES AND REASONING, RULEML+RR 2020, 2020, 12173 : 70 - 81
  • [25] Research on ASP-Based Information Security System
    Zhou, Linzhen
    Liu, Defang
    Wang, Bin
    ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 2, PROCEEDINGS, 2008, : 746 - 749
  • [26] Hybrid ASP-Based Approach to Pattern Mining
    Paramonov, Sergey
    Stepanova, Daria
    Miettinen, Pauli
    RULES AND REASONING, 2017, 10364 : 199 - 214
  • [27] AQuA: ASP-Based Visual Question Answering
    Basu, Kinjal
    Shakerin, Farhad
    Gupta, Gopal
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (PADL 2020), 2020, 12007 : 57 - 72
  • [28] An ASP-based distributed collaborative design system
    Zhang, Linxuan
    Xiao, Tianyuan
    Liang, Ce
    Hu, Changchang
    Fan, Wenhui
    SYSTEMS MODELING AND SIMULATION: THEORY AND APPLICATIONS, ASIA SIMULATION CONFERENCE 2006, 2007, : 218 - +
  • [29] ASP-Based Declarative Process Mining (Extended Abstract)
    Chiariello, Francesco
    Maggi, Fabrizio Maria
    Patrizi, Fabio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, 364 : 197 - 201
  • [30] Ticker: A system for incremental ASP-based stream reasoning
    Beck, Harald
    Eiter, Thomas
    Folie, Christian
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 744 - 763