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
Computational Intelligence Methods for Financial Applications. Complex financial problems can be better addressed with software that can learn from available data and adapt to environmental changes. It is therefore essential to develop technologies that enable prediction and optimisation in constrained and dynamic environments. There are currently some limitations in existing business decision support systems despite their ubiquity providing an opportunity for Australia to be at the forefront as ....Computational Intelligence Methods for Financial Applications. Complex financial problems can be better addressed with software that can learn from available data and adapt to environmental changes. It is therefore essential to develop technologies that enable prediction and optimisation in constrained and dynamic environments. There are currently some limitations in existing business decision support systems despite their ubiquity providing an opportunity for Australia to be at the forefront as new standards in the field are developed. Furthermore, the fund management industry (particularly superannuation) is significant to the Australian economy and development of this technology has the potential to enhance its performance and reputation.Read moreRead less
Automatic detection of the circle of Willis in neuro-images using multi-scale gradient calculation and knowledge-based genetic algorithms. Stroke is the third most common cause of death and a major contributor to long term disability in Australia. The most efficient way of preventing stroke from happening is to detect related symptoms early. The group of cerebral blood vessels that closely related to strokes is the circle of Willis (CoW). We build a system that can automatically detect and quan ....Automatic detection of the circle of Willis in neuro-images using multi-scale gradient calculation and knowledge-based genetic algorithms. Stroke is the third most common cause of death and a major contributor to long term disability in Australia. The most efficient way of preventing stroke from happening is to detect related symptoms early. The group of cerebral blood vessels that closely related to strokes is the circle of Willis (CoW). We build a system that can automatically detect and quantify CoW in neuroimages, providing ways of preventing strokes from happening. The project will enhance Australia¡¯s leading position in promoting and maintaining good health, especially in preventive healthcare.Read moreRead less
Development of an Integrated Platform for Performance-Based Safety Assessment. Building fires are the cause of major fatalities and injuries amongst all types of accidental fires in Australia. With significant advancement in numerical simulation technique, computer models are becoming acceptable tools for fire safety designs. Nonetheless, these methods still suffer from large amount of manual inputs and lengthy computational times. This research project will address the prevalent deficiency in m ....Development of an Integrated Platform for Performance-Based Safety Assessment. Building fires are the cause of major fatalities and injuries amongst all types of accidental fires in Australia. With significant advancement in numerical simulation technique, computer models are becoming acceptable tools for fire safety designs. Nonetheless, these methods still suffer from large amount of manual inputs and lengthy computational times. This research project will address the prevalent deficiency in many of these computer models and develop a novel and innovative design methodology. The success of this project will revolutionize the computational tools for the industry realizing a convenient, robust and time-saving integrated platform catering for increasing future market demand.Read moreRead less
Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algori ....Analysing Iterative Machine Learning Algorithms with Information Geometric Methods. Online machine learning problems arise from situations where data is provided a point at a time. There are many classical algorithms for solving such problems based on the principle of stochastic gradient descent. Recent research by the CIs and others have thrown up interesting but diverse geometric connections that offer new insights. The proposed research aims to integrate the understanding of these algorithms with the aim of designing algorithms better able to exploit prior knowledge, and to extend existing algorithms to new problem domains thus offering well principled and well understood algorithms for solving a variety of novel online problems.Read moreRead less
The Next Step in Intelligent Decision-Support Systems (IDSS): Systems that Learn and Adapt. This project will benefit Australia's scientific knowledge and technology base in the areas of evolutionary computation, business intelligence, and decision management. The outcomes will advance Australian companies and organisations, as many common yet complex business problems can be better addressed with systems that automatically learn and adapt to environmental changes. Such complex business problems ....The Next Step in Intelligent Decision-Support Systems (IDSS): Systems that Learn and Adapt. This project will benefit Australia's scientific knowledge and technology base in the areas of evolutionary computation, business intelligence, and decision management. The outcomes will advance Australian companies and organisations, as many common yet complex business problems can be better addressed with systems that automatically learn and adapt to environmental changes. Such complex business problems include dynamic scheduling (in the manufacturing sector), resource allocation optimisation (in the defence, mining, and agriculture sectors), and network design optimisation (in the telecommunications and energy sectors).Read moreRead less
A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, an ....A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, and defense. This project will develop a novel model and language for analyzing and programming device ecologies. This will be an Australian contribution towards techniques for constructing advanced applications that work over the computing infrastructure of the future.Read moreRead less
Logical Foundation and Implementation Technology for Automated Negotiation. The logic of bargaining is fundamental to understanding human negotiation and multiagent interaction. This project provides a new paradigm of negotiation with the integration of qualitative and quantitative analysis of bargaining processes and enhancement of implementation technologies for negotiation automation and trading agent design. The theoretic approach can be applied to a wide range of areas for the analysis of e ....Logical Foundation and Implementation Technology for Automated Negotiation. The logic of bargaining is fundamental to understanding human negotiation and multiagent interaction. This project provides a new paradigm of negotiation with the integration of qualitative and quantitative analysis of bargaining processes and enhancement of implementation technologies for negotiation automation and trading agent design. The theoretic approach can be applied to a wide range of areas for the analysis of economic, political and social phenomena. The techniques, algorithms and possible patents generated by the project can be directly used by the Australian IT industry for the development of efficient e-trading systems, allowing Australian business to take advantage of new e-market territories.Read moreRead less
Unsupervised learning of finite mixture models in data mining applications. The extraction of useful information from massively large databases is known as data mining. Its broad but vague goal is to find "interesting structure" in the data, which typically leads to breaking the data into clusters. To this end, we consider the fast, efficient, and automatic learning of finite mixture models in hugh data sets without any prior knowledge of the structure. This probabilistic approach to the discove ....Unsupervised learning of finite mixture models in data mining applications. The extraction of useful information from massively large databases is known as data mining. Its broad but vague goal is to find "interesting structure" in the data, which typically leads to breaking the data into clusters. To this end, we consider the fast, efficient, and automatic learning of finite mixture models in hugh data sets without any prior knowledge of the structure. This probabilistic approach to the discovery and validation of group structure in data mining applications will considerably enhance knowledge management and decision support in science, industry, and government.
Read moreRead less
A Comprehensive Platform for Dynamic Decision Support in Warning Systems through Better Management of Uncertain Information. Public and individual warning systems are installed widely in Australia for emergency situations such as fire, terrorist attack, tsunami, and financial risk. The developed platform with its uncertain information management and dynamic decision support software will directly assist Australian government agencies, industries, and professional officers responsible for public ....A Comprehensive Platform for Dynamic Decision Support in Warning Systems through Better Management of Uncertain Information. Public and individual warning systems are installed widely in Australia for emergency situations such as fire, terrorist attack, tsunami, and financial risk. The developed platform with its uncertain information management and dynamic decision support software will directly assist Australian government agencies, industries, and professional officers responsible for public warning systems by improving the reliability of generated warnings, effective design of any new warning system, and accurate decision making in responding threats. It will also greatly contribute to the processing of uncertain information in other organizational information systems, and enhance training exercise facilities in complex emergency environments.Read moreRead less