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
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.
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
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
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
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
Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers a ....Foundations of Executable Temporal Logic. In many computer applications, including those of temporal reasoning, distributed computations and knowledge representations, the concept of time is of central importance. Multiple granularity of time also plays a critical role as not all events are necessarily defined over a uniform model of time. This project will develop the foundations of executable logical representations, supporting multiple granularity of time. This will allow system developers access to powerful logical techniques in those applications. In the process, fundamental problems in modelling multiple granularity of time will be identified, and application-independent solutions to those problems will be provided.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
Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is inc ....Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is increasingly required to meet the needs of the software-driven knowledge economy of the 21st century.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