Parallel and Distributed Machine Learning - Smart Data Analysis in the Multicore Era. In large data centres our research will lead to reduced energy consumption by using graphics cards which have a much better computation to power ratio than traditional processors. On desktop computers, it will make machine learning practical by enabling efficient algorithms for spam filtering and content analysis. On networked systems it will lead to distributed inference, caching and collaborative filtering ap ....Parallel and Distributed Machine Learning - Smart Data Analysis in the Multicore Era. In large data centres our research will lead to reduced energy consumption by using graphics cards which have a much better computation to power ratio than traditional processors. On desktop computers, it will make machine learning practical by enabling efficient algorithms for spam filtering and content analysis. On networked systems it will lead to distributed inference, caching and collaborative filtering applications which will both reduced the bandwidth required and make the internet safer for users. Finally, it will enable rapid deployment of sensor networks for monitoring and detection, such as for environmental monitoring and safeguarding Australia's borders.Read moreRead less
Adaptiveness of self-organised decision making. Complex systems are an important international research focus in many disciplines, and their engineering applications are plentiful. The new mathematical approach developed by this project will enable different disciplines for the first time to communicate using a common formal framework. This will open the path to a generalized understanding of self-organized systems in dynamic environments. Creating the tools for a unified interdisciplinary a ....Adaptiveness of self-organised decision making. Complex systems are an important international research focus in many disciplines, and their engineering applications are plentiful. The new mathematical approach developed by this project will enable different disciplines for the first time to communicate using a common formal framework. This will open the path to a generalized understanding of self-organized systems in dynamic environments. Creating the tools for a unified interdisciplinary approach will allow Australia to gain a stronger position in biomimetic engineering and to take a lead in international research on collective behavior.
Read moreRead less
Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applica ....Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applications. With a strong research program across different areas such as knowledge system update, model checking and software development, and a collaborative research training environment, this project will strengthen Australia's international reputation as a leader in computing and IT research.Read moreRead less
From Universal Induction to Intelligent Systems. The dream of creating artificial devices that (out)reach human intelligence is an old one. What makes this challenge so interesting? A solution would have enormous implications for our society, and there are arguments that the AI problem might be solved within a couple of decades. Specialized intelligent systems are actually already pervasive (finger print, handwriting, speech, and face recognition; spam filtering; search engines; computer chess; ....From Universal Induction to Intelligent Systems. The dream of creating artificial devices that (out)reach human intelligence is an old one. What makes this challenge so interesting? A solution would have enormous implications for our society, and there are arguments that the AI problem might be solved within a couple of decades. Specialized intelligent systems are actually already pervasive (finger print, handwriting, speech, and face recognition; spam filtering; search engines; computer chess; robots). This decade the first presumably complete mathematical theory of AI has been proposed. By working out this theory, this project will significantly contribute to the foundations of inductive inference and AI, and ultimately lead to smarter software and intelligent systems.Read moreRead less
Towards automated and intelligent processing of web-based information. The successful outcome of this project will enhance Australia's research reputation in an important, practical area of ICT, will contribute to emerging Web standards, will produce frontier technology that will eventually be of benefit to Australian industry, and will train several postgraduate students.
Developing Sophisticated e-Business Automation. This project will provide theoretical foundations and a practical platform for developing advanced e-business automation technology. As such, it will significantly enhance Australia's leading role in the cutting edge research on e-business automation. By applying the new methodology and technology, Australian IT industries will be able to develop highly efficient e-market application systems, which will be financially beneficial to most organizatio ....Developing Sophisticated e-Business Automation. This project will provide theoretical foundations and a practical platform for developing advanced e-business automation technology. As such, it will significantly enhance Australia's leading role in the cutting edge research on e-business automation. By applying the new methodology and technology, Australian IT industries will be able to develop highly efficient e-market application systems, which will be financially beneficial to most organizations as Australia business and institutions are moving towards a more electronically oriented future. With a strong research team and collaborative research training environment, this project will further promote Australia's international reputation as a leader in Computing and IT research.Read moreRead less
Rule-based reasoning systems for complex and dynamic ontologies. The successful outcome of this project will enhance Australia's research reputation in an important, practical area of ICT, will contribute to emerging Web technologies that will eventually be of benefit to Australian industry, and will train several postgraduate students.
Decision-making in social insects and nature-inspired optimisation algorithms. Insect societies are ideal for the study of complex systems. Contrary to other complex systems, insect colonies can be modified without destroying the system. Computer scientists have found a source of inspiration in the behaviour of social insects for solving optimisation problems. Here we will study the influence of information flow on decision-making in real insect societies using:
1) Experiments aimed at investig ....Decision-making in social insects and nature-inspired optimisation algorithms. Insect societies are ideal for the study of complex systems. Contrary to other complex systems, insect colonies can be modified without destroying the system. Computer scientists have found a source of inspiration in the behaviour of social insects for solving optimisation problems. Here we will study the influence of information flow on decision-making in real insect societies using:
1) Experiments aimed at investigating how storage and transfer of information affects individual decision-making within a honey bee colony (University of Sydney)
2) Design of a new class of 'bee' algorithms that incorporate direct information transfer and are aimed at solving dynamic multicriterion optimisation problems (University of Leipzig).
Read moreRead less
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
Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications ....Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications including consistency checking and spatial query pre-processing. The project will help in extracting knowledge from massive spatial databases, meeting the growing needs of naive users for spatial information and establishing Australia as a major player in spatial cognition research and in the development of geo-location services.Read moreRead less