Logic-based planning under ignorance. Programs that interact with their environment (agents) are widely deployed in our society. However, they are not very good at making decisions under ignorance, wh

Description

Logic-based planning under ignorance. Programs that interact with their environment (agents) are widely deployed in our society. However, they are not very good at making decisions under ignorance, which is typical in the real world, due, e.g., to unpredictable human behaviour. The aim of this project is to develop the theory and algorithms to fill this gap. This will equip engineers to use computer-aided techniques to construct agents that make more rational decisions, thus advancing Autonomous Systems and Robotics, listed as Critical Technologies in the National Interest. With a team of top international researchers, it will develop new interactions between mathematics and computer science, and contribute to Australia’s visibility amongst eminent scientists abroad. . Scheme: Discovery Projects. Field: 4904 - Pure Mathematics. Lead: Dr Sasha Rubin