Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implement ....Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project will systematically develop a framework by combining modal-logics to adequately capture and reason about temporal, epistemic and social aspects of dynamic and multi-agent systems. The combined logics would be evaluated on practical applications.
Read moreRead less
Computer Vision Optimization Problems Using Machine Learning. Computer Vision concerns itself with understanding the world through the analysis of images obtained by a video or still camera. An important application is tracking of people in video and modelling their movements. This has evident applications in security, sport and entertainment. By enabling the computer to capture the motion of a subject in a video, we may detect suspicious activity in security, analyze the motion (golf-swing, ....Computer Vision Optimization Problems Using Machine Learning. Computer Vision concerns itself with understanding the world through the analysis of images obtained by a video or still camera. An important application is tracking of people in video and modelling their movements. This has evident applications in security, sport and entertainment. By enabling the computer to capture the motion of a subject in a video, we may detect suspicious activity in security, analyze the motion (golf-swing, diving style) of a sports-person, or capture the motion of an actor for animation or game applications. Development of a reliable technology requires new optimization techniques, which will place Australia at the forefront of the application of such research, commercially and for the public benefit.Read moreRead less
Design surface feature recognition for near net shaped manufactured components. The aim of this project is to investigate methods and techniques that, given an ab initio design requirement, allow databases of knowledge from previous designs to be intelligently searched for similar patterns, both geometric and physical state, that will assess the likelihood of a successful design and suggest potential alternatives based on previous experience
The plan is to approach the research problem from a m ....Design surface feature recognition for near net shaped manufactured components. The aim of this project is to investigate methods and techniques that, given an ab initio design requirement, allow databases of knowledge from previous designs to be intelligently searched for similar patterns, both geometric and physical state, that will assess the likelihood of a successful design and suggest potential alternatives based on previous experience
The plan is to approach the research problem from a machine learning/pattern recognition point of view. By mapping the characterized properties into a search space of reduced dimensionality in which feature patterns have been pre-classified through supervised training, it should be possible to identify similar features.
Read moreRead less
Network Intrusion Detection via Machine Learning. Computer security is an increasingly important, yet complex task. It
takes significant skills to configure systems properly such that they
are safe from malicious attacks.
The proposed project aims at designing automatic systems which are
able to adapt to an existing network configuration and which detect
novel and unusual events. For this purpose we will use modern machine
learning techniques, mainly based on kernels. In particular, rec ....Network Intrusion Detection via Machine Learning. Computer security is an increasingly important, yet complex task. It
takes significant skills to configure systems properly such that they
are safe from malicious attacks.
The proposed project aims at designing automatic systems which are
able to adapt to an existing network configuration and which detect
novel and unusual events. For this purpose we will use modern machine
learning techniques, mainly based on kernels. In particular, recently
developed algorithms to estimate the support of a distribution and
detect rare events will be employed in this context.
The project is in cooperation with Dr. Ralf Herbrich (Microsoft
Research, Cambridge).
Read moreRead less
Ask the Net: Intelligent Natural Language Learning. Natural Language Processing (NLP) has progressed rapidly using corpus-based machine learning techniques. However, corpus development costs cause a ?data bottleneck? which prevents systems from reaching human competence. This project overcomes the difficulties of creating huge corpora by employing the innate language ability of untrained contributors. We will show how to automatically select and present examples, containing informative lingui ....Ask the Net: Intelligent Natural Language Learning. Natural Language Processing (NLP) has progressed rapidly using corpus-based machine learning techniques. However, corpus development costs cause a ?data bottleneck? which prevents systems from reaching human competence. This project overcomes the difficulties of creating huge corpora by employing the innate language ability of untrained contributors. We will show how to automatically select and present examples, containing informative linguistic structures, which are most beneficial for training NLP systems. These examples will be analysed by many contributors whose responses will be automatically collated into corpora. Huge corpora are vital to emerging language technologies for managing textual information in the global economy.
Read moreRead less
Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordi ....Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordinating these lower-level "skills". Such languages allow development of sophisticated robot controllers. We aim to develop a cognitive robotics language capable of controlling robots in real-time and in a multi-agent setting requiring coordination among agents.Read moreRead less
Planning, Communication, and Collaboration in Cognitive Systems: A Constructive Approach. Change is a constant and unavoidable characteristic of the current and foreseeable business environment. Currently systems cope poorly with change and as a result they are not sufficiently dependable and adaptable to support business agility and innovation. The aim of this project is to advance the start-of-the art and to lay a new foundation for dependable and adaptable cognitive systems that can plan, com ....Planning, Communication, and Collaboration in Cognitive Systems: A Constructive Approach. Change is a constant and unavoidable characteristic of the current and foreseeable business environment. Currently systems cope poorly with change and as a result they are not sufficiently dependable and adaptable to support business agility and innovation. The aim of this project is to advance the start-of-the art and to lay a new foundation for dependable and adaptable cognitive systems that can plan, communicate and collaborate in complex and dynamic environments.Read moreRead less
Foundations and Architectures for Agent Systems. Computer systems are now involved in many aspects of everyday life, commerce, and industry. Making these systems more intelligent has thus become a priority research issue. Agents systems, with their emphasis on autonomy, proactiveness, reactivity, and sociability, are widely regarded as a crucial technology for realising the capabilities that computer systems will need over the next few decades. The proposed research aims to make some fundamenta ....Foundations and Architectures for Agent Systems. Computer systems are now involved in many aspects of everyday life, commerce, and industry. Making these systems more intelligent has thus become a priority research issue. Agents systems, with their emphasis on autonomy, proactiveness, reactivity, and sociability, are widely regarded as a crucial technology for realising the capabilities that computer systems will need over the next few decades. The proposed research aims to make some fundamental contributions to agent systems that will be used to build future computer systems that will have an even more profound positive impact on everyday life, commerce and industry than existing systems.Read moreRead less
Parsing the web: Exploiting redundancy to understand language. This project will automatically learn the grammatical structure of language by exploiting redundancy of facts, like 'Mozart was born in 1756', from a trillion words of web text. These facts will be used to understand more complex sentences. This will enable smart information use of text with grammatical information for large-scale information access for the first time. This project will strengthen Australia's world-class expertise, ....Parsing the web: Exploiting redundancy to understand language. This project will automatically learn the grammatical structure of language by exploiting redundancy of facts, like 'Mozart was born in 1756', from a trillion words of web text. These facts will be used to understand more complex sentences. This will enable smart information use of text with grammatical information for large-scale information access for the first time. This project will strengthen Australia's world-class expertise, providing opportunities for future researchers in this area. Our expanded C&C tools and trillion word corpus will be used by academics, companies and governments, in Australia and internationally, aiding applications including financial surveillance and fraud detection.
Read moreRead less
The role of memory and reasoning processes in associative learning. The project will investigate how people learn to detect cues that predict or cause significant events in their environment (associative learning). The research builds on recent empirical and theoretical work by the investigators supporting the role of deductive reasoning processes in associative learning. Novel experimental strategies will be used to identify the separate and interacting roles of lower-level memory processes a ....The role of memory and reasoning processes in associative learning. The project will investigate how people learn to detect cues that predict or cause significant events in their environment (associative learning). The research builds on recent empirical and theoretical work by the investigators supporting the role of deductive reasoning processes in associative learning. Novel experimental strategies will be used to identify the separate and interacting roles of lower-level memory processes and higher-level reasoning processes. Existing competing models and novel cooperative models will be tested. The research will lead to a better understanding of associative learning in humans, and will also inform the construction of intelligent artificial systems.Read moreRead less