Reasoning about Rational Agents from a Programming Languages Perspective. Rational agents are complex system components inspired by models of rationality, in which beliefs, desires and intentions are represented explicitly. Intelligent agents are fast becoming mainstream and have wide-ranging industrial application. However, a serious obstacle to the deployment of rational agents is a lack of understanding of how to design and reason about agents to provide performance and correctness guarantees ....Reasoning about Rational Agents from a Programming Languages Perspective. Rational agents are complex system components inspired by models of rationality, in which beliefs, desires and intentions are represented explicitly. Intelligent agents are fast becoming mainstream and have wide-ranging industrial application. However, a serious obstacle to the deployment of rational agents is a lack of understanding of how to design and reason about agents to provide performance and correctness guarantees. This project will investigate extensions to intelligent agent architectures and develop tools for reasoning about complex systems built using those architectures. This will not only enable reliable prediction of performance, but contribute to a general methodology for intelligent agent design.
Read moreRead less
Supporting adaptive, interactive documents. The project will improve comprehensibility of technical material, reduce paper usage, encourage collaborative science, improve the reliability of published science (by allowing post-publication annotation and correction), and improve the accessibility of technical material for readers who are blind or have poor vision. The project also holds considerable potential for supporting Australian companies in the publishing and document processing industries.
Accurate Performance Modelling and Prediction of Cluster Computers. The tools, methodologies and data produced by this project will assist
Australian academic and industrial organisations in choosing the most
cost-effective cluster configurations for their specific high
performance computing requirements. It will also help an Australian
company to compete with increasing strength against the major
multinationals. The project will also draw together and promote future
research links between ....Accurate Performance Modelling and Prediction of Cluster Computers. The tools, methodologies and data produced by this project will assist
Australian academic and industrial organisations in choosing the most
cost-effective cluster configurations for their specific high
performance computing requirements. It will also help an Australian
company to compete with increasing strength against the major
multinationals. The project will also draw together and promote future
research links between two major academic institutions in this field.
Finally, the project will provide high-level training in research,
with industrial grounding, in the high performance computing industry.
Read moreRead less
Planning and Learning in BDI Agents. Intelligent agents are becoming increasingly important in a range of complex and dynamic applications. BDI agent systems are extremely successful robust and flexible, in real time applications. However they are not actually able to do any traditional planning. Nor do they incorporate learning. This project will incorporate learning and planning capabilities into a BDI system framework, in a focussed and integrated manner that allows benefits from these approa ....Planning and Learning in BDI Agents. Intelligent agents are becoming increasingly important in a range of complex and dynamic applications. BDI agent systems are extremely successful robust and flexible, in real time applications. However they are not actually able to do any traditional planning. Nor do they incorporate learning. This project will incorporate learning and planning capabilities into a BDI system framework, in a focussed and integrated manner that allows benefits from these approaches where appropriate, but without compromising the real-time capability of existing BDI systems. Learned information and new plans will then be fully incorporated for later use by the standard BDI mechanisms.Read moreRead less
Applying the Lessons of the Virtual Battlefield to Financial Modelling - Investigating Innovative use of Distributed Simulation. The development of Distributed Simulations is recognised as an increasingly important part of training, scientific modelling and acquisitions in the defense community. While the benefits of simulation are well understood the actual development costs and complexity remain prohibitive, requiring expert programming skills and training. These limitations are greatly impedi ....Applying the Lessons of the Virtual Battlefield to Financial Modelling - Investigating Innovative use of Distributed Simulation. The development of Distributed Simulations is recognised as an increasingly important part of training, scientific modelling and acquisitions in the defense community. While the benefits of simulation are well understood the actual development costs and complexity remain prohibitive, requiring expert programming skills and training. These limitations are greatly impeding the wider adoption of simulation in the broader business community.
To address these issues this proposal investigates the means of applying simulation technologies to a domain in which user-configurable desktop tools, such as spreadsheets and word processors, are more the norm - for example financial modelling.
We aim to extend the development of tools and techniques that support the desktop use of simulation and to assess the relative merits of these approaches. Our eventual goal is to provide approachable simulation services, without adversely compromising their inherent power, to a far wider range of application domains.
Read moreRead less
Structures and Protocols for Inference. The proposed research is expected to lead to increased adoption and efficiency of use of machine learning technologies. It will develop new and better ways to use existing machine learning software in a manner that allows easier integration into commercial products. It will increase the competitiveness of Australian industry.
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.
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.
Complex Decision Making in Intelligent Agent Systems. This project will bring benefit in that it will increase the ability of autonomous computer systems to make complex decisions in dynamic environments. As the use of intelligent autonomous technology is increasing, from smart air-traffic control systems to personal digital assistants to internet software agents, there is also increased demand for more sophisticated reasoning. This is showing in a range of applications such as autonomous vehicl ....Complex Decision Making in Intelligent Agent Systems. This project will bring benefit in that it will increase the ability of autonomous computer systems to make complex decisions in dynamic environments. As the use of intelligent autonomous technology is increasing, from smart air-traffic control systems to personal digital assistants to internet software agents, there is also increased demand for more sophisticated reasoning. This is showing in a range of applications such as autonomous vehicles and equipment, scheduling and resourcing, and business processing. This project will contribute to provide such capabilities to existing technology. It will also assist the Australian Partner Organisation to stay at the forefront internationally in this fast moving area.Read moreRead less
Accurate analysis of combinatorial problems: from the particular to the general. Combinatorial problems pervade all aspects of our social, environmental and economic life, but finding good solutions to these problems can take too much computer time. This project will develop new analysis tools that are effective at reducing this time, thus allowing for better solutions to be found.