-
Long-Term Open-Pit Mine Planning with Large Neighbourhood Search
Authors:
Michelle Blom,
Adrian R. Pearce,
Pascal Cote
Abstract:
We present a Large Neighbourhood Search based approach for solving complex long-term open-pit mine planning problems. An initial feasible solution, generated by a sliding windows heuristic, is improved through repeated solves of a restricted mixed-integer program. Each iteration leaves only a subset of the variables in the planning model free to take on new values. We form these subsets through th…
▽ More
We present a Large Neighbourhood Search based approach for solving complex long-term open-pit mine planning problems. An initial feasible solution, generated by a sliding windows heuristic, is improved through repeated solves of a restricted mixed-integer program. Each iteration leaves only a subset of the variables in the planning model free to take on new values. We form these subsets through the use of neighbourhood formation strategies that exploit model structure. We show that our approach is able to find near-optimal solutions to problems that cannot be solved by an off-the-shelf solver in a reasonable time frame, or with reasonable computational resources. Our method substantially reduces the solve times required for large models, allowing mine planners to explore multiple scenarios in a timely fashion. Our approach is being used by Rio Tinto to solve large long-term mine planning problems, and has been responsible for generating millions of dollars in value insights.
△ Less
Submitted 5 June, 2025; v1 submitted 26 March, 2024;
originally announced March 2024.
-
Strategy Extraction in Single-Agent Games
Authors:
Archana Vadakattu,
Michelle Blom,
Adrian R. Pearce
Abstract:
The ability to continuously learn and adapt to new situations is one where humans are far superior compared to AI agents. We propose an approach to knowledge transfer using behavioural strategies as a form of transferable knowledge influenced by the human cognitive ability to develop strategies. A strategy is defined as a partial sequence of events - where an event is both the result of an agent's…
▽ More
The ability to continuously learn and adapt to new situations is one where humans are far superior compared to AI agents. We propose an approach to knowledge transfer using behavioural strategies as a form of transferable knowledge influenced by the human cognitive ability to develop strategies. A strategy is defined as a partial sequence of events - where an event is both the result of an agent's action and changes in state - to reach some predefined event of interest. This information acts as guidance or a partial solution that an agent can generalise and use to make predictions about how to handle unknown observed phenomena. As a first step toward this goal, we develop a method for extracting strategies from an agent's existing knowledge that can be applied in multiple contexts. Our method combines observed event frequency information with local sequence alignment techniques to find patterns of significance that form a strategy. We show that our method can identify plausible strategies in three environments: Pacman, Bank Heist and a dungeon-crawling video game. Our evaluation serves as a promising first step toward extracting knowledge for generalisation and, ultimately, transfer learning.
△ Less
Submitted 21 May, 2023;
originally announced May 2023.
-
Sampling from Pre-Images to Learn Heuristic Functions for Classical Planning
Authors:
Stefan O'Toole,
Miquel Ramirez,
Nir Lipovetzky,
Adrian R. Pearce
Abstract:
We introduce a new algorithm, Regression based Supervised Learning (RSL), for learning per instance Neural Network (NN) defined heuristic functions for classical planning problems. RSL uses regression to select relevant sets of states at a range of different distances from the goal. RSL then formulates a Supervised Learning problem to obtain the parameters that define the NN heuristic, using the s…
▽ More
We introduce a new algorithm, Regression based Supervised Learning (RSL), for learning per instance Neural Network (NN) defined heuristic functions for classical planning problems. RSL uses regression to select relevant sets of states at a range of different distances from the goal. RSL then formulates a Supervised Learning problem to obtain the parameters that define the NN heuristic, using the selected states labeled with exact or estimated distances to goal states. Our experimental study shows that RSL outperforms, in terms of coverage, previous classical planning NN heuristics functions while requiring two orders of magnitude less training time.
△ Less
Submitted 7 July, 2022;
originally announced July 2022.
-
Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Authors:
Christian Muise,
Vaishak Belle,
Paolo Felli,
Sheila McIlraith,
Tim Miller,
Adrian R. Pearce,
Liz Sonenberg
Abstract:
Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, planning involving nested beliefs is known to be computationally challenging. In this work, we address the task of synthesizing plans that necessitate reasoning about the beliefs of other agents. We plan from the perspectiv…
▽ More
Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, planning involving nested beliefs is known to be computationally challenging. In this work, we address the task of synthesizing plans that necessitate reasoning about the beliefs of other agents. We plan from the perspective of a single agent with the potential for goals and actions that involve nested beliefs, non-homogeneous agents, co-present observations, and the ability for one agent to reason as if it were another. We formally characterize our notion of planning with nested belief, and subsequently demonstrate how to automatically convert such problems into problems that appeal to classical planning technology for solving efficiently. Our approach represents an important step towards applying the well-established field of automated planning to the challenging task of planning involving nested beliefs of multiple agents.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
Optimal traps in graphene
Authors:
C. A. Downing,
A. R. Pearce,
R. J. Churchill,
M. E. Portnoi
Abstract:
We transform the two-dimensional Dirac-Weyl equation, which governs the charge carriers in graphene, into a non-linear first-order differential equation for scattering phase shift, using the so-called variable phase method. This allows us to utilize the Levinson Theorem to find zero-energy bound states created electrostatically in realistic structures. These confined states are formed at critical…
▽ More
We transform the two-dimensional Dirac-Weyl equation, which governs the charge carriers in graphene, into a non-linear first-order differential equation for scattering phase shift, using the so-called variable phase method. This allows us to utilize the Levinson Theorem to find zero-energy bound states created electrostatically in realistic structures. These confined states are formed at critical potential strengths, which leads to us posit the use of `optimal traps' to combat the chiral tunneling found in graphene, which could be explored experimentally with an artificial network of point charges held above the graphene layer. We also discuss scattering on these states and find the zero angular momentum states create a dominant peak in scattering cross-section as energy tends towards the Dirac point energy, suggesting a dominant contribution to resistivity.
△ Less
Submitted 27 March, 2015;
originally announced March 2015.
