Search Results for author: Michael Cashmore

Found 7 papers, 0 papers with code

Surrogate Assisted Monte Carlo Tree Search in Combinatorial Optimization

no code implementations14 Mar 2024 Saeid Amiri, Parisa Zehtabi, Danial Dervovic, Michael Cashmore

Industries frequently adjust their facilities network by opening new branches in promising areas and closing branches in areas where they expect low profits.

Combinatorial Optimization

Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates

no code implementations17 Jul 2023 Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso

Discrete optimization belongs to the set of $\mathcal{NP}$-hard problems, spanning fields such as mixed-integer programming and combinatorial optimization.

Combinatorial Optimization Management +2

Contrastive Explanations of Plans Through Model Restrictions

no code implementations29 Mar 2021 Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith

We formally define model-based compilations in PDDL2. 1 of each constraint derived from a user question in the taxonomy, and empirically evaluate the compilations in terms of computational complexity.

Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans

no code implementations17 Nov 2019 Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi

One of the major limitations for the employment of model-based planning and scheduling in practical applications is the need of costly re-planning when an incongruence between the observed reality and the formal model is encountered during execution.

Scheduling

Towards Explainable AI Planning as a Service

no code implementations14 Aug 2019 Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David Smith

Explainable AI is an important area of research within which Explainable Planning is an emerging topic.

Towards Providing Explanations for AI Planner Decisions

no code implementations15 Oct 2018 Rita Borgo, Michael Cashmore, Daniele Magazzeni

In order to engender trust in AI, humans must understand what an AI system is trying to achieve, and why.

Explainable Artificial Intelligence (XAI)

Cannot find the paper you are looking for? You can Submit a new open access paper.