RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving d ....RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm. The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.
Read moreRead less
Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nati ....Efficient Design for Generalized Linear Models. In industrial, commercial and social research, we collect data in order to predict the outcome of a process based on the inputs to that process. We want to maximize the information that is gained from the data. Good planning is crucially important to achieve this. This project will determine how best to select the inputs to the process for many situations that occur in research. A computer package to answer these questions will be written. The nation will benefit from a fundamental increase in efficiency of research and, therefore, in efficient use of research dollars.Read moreRead less
ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and c ....ARC Centre for Complex Dynamic Systems & Control. Complex dynamic systems are an inescapable feature of the world we live in. Modelling, analysing and optimizing complex behaviour is crucial for environment, process industry, biomedical, energy distribution, transportation and other applications. The Centre for Complex Dynamic Systems and Control will become an international authority in the analysis, design and optimization of complex dynamic systems, pursuing both outstanding fundamental and cutting edge applied research outcomes. These outcomes will be of specific benefit to partner organizations including minerals, process, metal forming, and automotive industries.Read moreRead less
Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient al ....Multivariate Algorithmics: Meeting the Challenge of Real World computational complexity. This Project will result in better methods for designing the algorithms that all computer applications depend on. Algorithms are the instruction sets that tell computers how to process information. Some information processing tasks are intrinsically difficult, even for computers working at enormous speeds. This Project will deliver new mathematical approaches to overcome these difficulties. More efficient algorithmic approaches for difficult problems enable advances in all areas of computer applications such as medical diagnosis and health prediction, national security, communications efficiency, industrial productivity and all fields of science and engineering.Read moreRead less
Feedback Processes in Galaxy Formation. We have an opportunity to combine the best Australian theory with the best local and international telescopes, to probe the murky story of how galaxies form and why they look they way they do today. By looking back to a time when the Universe was only 1 billion years old, and comparing what we see with cutting edge supercomputer simulations plus pure theory, we will gain insight into the birth of entire galaxies. The results will form part of the study o ....Feedback Processes in Galaxy Formation. We have an opportunity to combine the best Australian theory with the best local and international telescopes, to probe the murky story of how galaxies form and why they look they way they do today. By looking back to a time when the Universe was only 1 billion years old, and comparing what we see with cutting edge supercomputer simulations plus pure theory, we will gain insight into the birth of entire galaxies. The results will form part of the study of how the universe works - that is driving astrophysics today, and represents pure research for the sake of advancing knowledge and showing us where we fit into the Universe. In doing so we will also advance Australia's base of theoretical and computational expertise.Read moreRead less
Robust Dynamical System Identification. Innovative robust system identification methods are a Frontier Technology for Transforming Australian Industries. Robust system identification will provide a technology for generating high fidelity models by the use of breakthrough science. With the majority of advanced industrial control systems reliant on accurate models significant savings could be made due to the implicit improvement in process control. Furthermore, system identification is a key enabl ....Robust Dynamical System Identification. Innovative robust system identification methods are a Frontier Technology for Transforming Australian Industries. Robust system identification will provide a technology for generating high fidelity models by the use of breakthrough science. With the majority of advanced industrial control systems reliant on accurate models significant savings could be made due to the implicit improvement in process control. Furthermore, system identification is a key enabling technology in most modern systems (e.g. in aerospace, manufacturing, mining, minerals processing and telecommunications) and is also important in the emerging areas of nanotechnology and systems biology.Read moreRead less
New System Identification Techniques Utilising Misspecified Models. National benefits of the proposed research project will result from improvements in control due to a better, more complete understanding of the models obtained by the newly proposed system identification technique. The resulting effect on industrial practice will be an increase in efficiency, by reduced waste, lower pollution levels and increased throughput. Also, the techniques developed will be directly applicable to current r ....New System Identification Techniques Utilising Misspecified Models. National benefits of the proposed research project will result from improvements in control due to a better, more complete understanding of the models obtained by the newly proposed system identification technique. The resulting effect on industrial practice will be an increase in efficiency, by reduced waste, lower pollution levels and increased throughput. Also, the techniques developed will be directly applicable to current research in the areas of complex systems, such as smart structures and biological studies of the dynamic effects of drugs and hormones on genes.Read moreRead less
Robust Experiment Design for Dynamical System Identification. Innovative and new robust experiment design methodologies are a Frontier Technology for Transforming Australian Industries. By providing a solid foundation for generating high fidelity models, robust experiment design will, by the use of breakthrough science, facilitate the estimation of models in minimum time. Also, this will entail minimal disruption to the normal operation of the process under study. With the majority of advanced ....Robust Experiment Design for Dynamical System Identification. Innovative and new robust experiment design methodologies are a Frontier Technology for Transforming Australian Industries. By providing a solid foundation for generating high fidelity models, robust experiment design will, by the use of breakthrough science, facilitate the estimation of models in minimum time. Also, this will entail minimal disruption to the normal operation of the process under study. With the majority of advanced industrial process control systems reliant on accurate models significant savings could also be made due to the implicit improvement in process control.Read moreRead less
Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to ....Computer Assisted Research Mathematics and its Applications. The mathematics community will benefit from infusion of new computer-assisted techniques and modalities for research and training post-graduate students, both from my pure research project and through development of an associated research centre. Ultimately, this should also help more school students learn mathematics well and so play a part in addressing Australia's skill shortage. Also, the work on optimization algorithms promises to improve the performance and quality of many practical signal reconstruction methods. These are used by varied Australian industries from telecommunication to mining and by researchers in the digital arts and fields such as astronomy, physics, chemistry, bioscience, geoscience, engineering and medicine.Read moreRead less
Towards a unified theory of constrained control and estimation. The project will investigate the implications of duality and other connections between constrained control and estimation. We believe that the research will result in a richer understanding of these problems. In particular, we envisage an impact in at least four areas: (i) Computational issues, i.e., development of more efficient algorithms for constrained problems. (ii) Geometry of constrained problems, by extending recent results ....Towards a unified theory of constrained control and estimation. The project will investigate the implications of duality and other connections between constrained control and estimation. We believe that the research will result in a richer understanding of these problems. In particular, we envisage an impact in at least four areas: (i) Computational issues, i.e., development of more efficient algorithms for constrained problems. (ii) Geometry of constrained problems, by extending recent results pertaining to constrained control to estimation problems. (iii) Problems with mixed constraints, for example, interval and finite set constraints. (iv) Fundamental limitations imposed by constraints to filtering and control problems.Read moreRead less