Large Markov decision processes and combinatorial optimisation. Markov decision processes continue to gain in popularity for modelling a wide range of applications ranging from analysis of supply chains and queueing networks to cognitive science and control of autonomous vehicles. Nonetheless, they tend to become numerically intractable as the size of the model grows fast. Recent works use machine learning techniques to overcome this crucial issue, but with no convergence guarantee. This project ....Large Markov decision processes and combinatorial optimisation. Markov decision processes continue to gain in popularity for modelling a wide range of applications ranging from analysis of supply chains and queueing networks to cognitive science and control of autonomous vehicles. Nonetheless, they tend to become numerically intractable as the size of the model grows fast. Recent works use machine learning techniques to overcome this crucial issue, but with no convergence guarantee. This project aims to provide theoretically sound frameworks for solving large Markov decision processes, and exploit them to solve important combinatorial optimisation problems. This timely project can promote Australia's position in the development of such novel frameworks for many scientific and industrial applications.Read moreRead less
An intelligent machine modelling assistant for combinatorial optimisation. This project aims to discover key fundamental technologies for automating assistance to non-expert users in the formulation of mathematical models. Through automating the modelling of combinatorial optimization problems, this research will generate new knowledge to address the fundamental challenges of automatic mathematical modelling. This intelligent assistant will enable synthesis of new mathematical models through th ....An intelligent machine modelling assistant for combinatorial optimisation. This project aims to discover key fundamental technologies for automating assistance to non-expert users in the formulation of mathematical models. Through automating the modelling of combinatorial optimization problems, this research will generate new knowledge to address the fundamental challenges of automatic mathematical modelling. This intelligent assistant will enable synthesis of new mathematical models through the utilisation of pioneering natural language processing components and novel custom-made machine-readable knowledge bases. The outcome of this research will broaden access to high-quality models by non-expert workforce and alleviate the shortage of expert mathematicians, bringing significant social and economic benefits.Read moreRead less