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
Variation and Perceptual Ecologies in Computer Games and Simulations: Towards a Generic Model of Variable 3D Environments. The non repeatability is a key element in providing a challenging and interesting experience in computer games and simulations. However, too much variation could lead to a rejection of the environment and reluctance to accept the premise as a base for game play or training. Examples of applications that could utilise this research include; (a) Computer Games - always playing ....Variation and Perceptual Ecologies in Computer Games and Simulations: Towards a Generic Model of Variable 3D Environments. The non repeatability is a key element in providing a challenging and interesting experience in computer games and simulations. However, too much variation could lead to a rejection of the environment and reluctance to accept the premise as a base for game play or training. Examples of applications that could utilise this research include; (a) Computer Games - always playing in an unknown environment, (b) Vocational Training - a Forest Fire Fighting simulation that allows for different terrain configurations, undergrowth volatility, fire source, etc., and (c) Military Simulations - Anti-terrorist simulations where the level of variability will manifest itself both in the physical environment and in the nature of the combatants. Read moreRead less
Integrating deep-earth and surface processes for frontier-basin exploration. It is well-known that mantle convection has a profound influence on basin evolution, and the next step will be to quantify this relationship and provide the science that will make these concepts applicable to exploration. To do this, we will develop a workflow to link plate-reconstruction software with the mantle convection modelling to link plate motions mantle convection and the history of sedimentation systematically ....Integrating deep-earth and surface processes for frontier-basin exploration. It is well-known that mantle convection has a profound influence on basin evolution, and the next step will be to quantify this relationship and provide the science that will make these concepts applicable to exploration. To do this, we will develop a workflow to link plate-reconstruction software with the mantle convection modelling to link plate motions mantle convection and the history of sedimentation systematically for the first time for frontier basin-scale applications. We will apply these emerging technologies to the evolution of basins in the Arctic borderlands frontier for resource exploration and on the Australian continent.Read moreRead less
Defence and Security Risk Assessment using Agent Based Distillations. Today's society continues to be occupied with the idea of risk. The recent events of September 11th, the Bali bombing, SARS, the bush fires in Canberra, and the Tsunami are examples of human-made and natural disasters. These events had dramatic consequences on the social, economic, and political environment and numerous industries. This project offers an innovative methodological paradigm for assessing risk through the transfe ....Defence and Security Risk Assessment using Agent Based Distillations. Today's society continues to be occupied with the idea of risk. The recent events of September 11th, the Bali bombing, SARS, the bush fires in Canberra, and the Tsunami are examples of human-made and natural disasters. These events had dramatic consequences on the social, economic, and political environment and numerous industries. This project offers an innovative methodological paradigm for assessing risk through the transfer of technologies drawn from defence simulations to the safety and security areas. The success of this project will mark a paradigm shift in the area of risk assessment and management.Read moreRead less
Thermo-mechanical interactive atlas of basin evolution. We propose to create a thermo-mechanical interactive atlas of basin evolution as a desktop geodynamic modelling resource for exploration geologists. The atlas will allow the user to iteratively run our 2D/3D basin modelling software ELLIPSIS to alter model parameters until they match observed basin geometries or thermal history. Model iteration will be based on interactive user evaluation of model outputs and genetic algorithms, which pr ....Thermo-mechanical interactive atlas of basin evolution. We propose to create a thermo-mechanical interactive atlas of basin evolution as a desktop geodynamic modelling resource for exploration geologists. The atlas will allow the user to iteratively run our 2D/3D basin modelling software ELLIPSIS to alter model parameters until they match observed basin geometries or thermal history. Model iteration will be based on interactive user evaluation of model outputs and genetic algorithms, which progressively modify the solution set by mimicking the evolutionary behavior of biological systems (selection, cross-over and mutation), until an acceptable result is achieved. The interactive atlas will be applied to Australian and international case studies.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