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.
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.
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
Integrating Model Checking and Knowledge Dynamics for System Verification. The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modelin ....Integrating Model Checking and Knowledge Dynamics for System Verification. The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modeling can be integrated for more effective software verification and modification, which will significantly improve current software design and development procedures, increase the correctness and stability of software systems, and provide high security for e-Commerce transaction systems.Read moreRead less
Model Checking Knowledge and Probability in Pursuit-Evasion Games. The research will produce software enabling modellers to better understand their models in applications including planning under uncertainty, information flow security and systems fault diagnosis. The application studied in this project is military search and rescue mission planning, resulting in greater confidence in mission success. The research is also relevant to emergency response and collision avoidance. The project will ....Model Checking Knowledge and Probability in Pursuit-Evasion Games. The research will produce software enabling modellers to better understand their models in applications including planning under uncertainty, information flow security and systems fault diagnosis. The application studied in this project is military search and rescue mission planning, resulting in greater confidence in mission success. The research is also relevant to emergency response and collision avoidance. The project will support retention of Australian intellectual property with potential for future commercialisation. It will foster linkages between Australian researchers and an international defence alliance partner. Outcomes will be available to Australian Defence through existing Defence research sharing arrangements.Read moreRead less
Intelligent Information Assimilation. Making intelligent and informative choice usually involves assimilating information from multiple sources. The underlying emphasis and priorities of different sources vary. That makes the task of assimilating such information very difficult. Recent research on belief merging provides a formal framework designed to facilitate this task. In this project we will (1) examine existing and novel belief merging strategies, (2) study their impact on allied disciplin ....Intelligent Information Assimilation. Making intelligent and informative choice usually involves assimilating information from multiple sources. The underlying emphasis and priorities of different sources vary. That makes the task of assimilating such information very difficult. Recent research on belief merging provides a formal framework designed to facilitate this task. In this project we will (1) examine existing and novel belief merging strategies, (2) study their impact on allied disciplines, (3) extend the framework for suitable applications and (4) design, implement and test fielded applications of this framework. The outcome of this research will provide the basis for many industrial applications such as agent negotiation.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
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
Discovery Early Career Researcher Award - Grant ID: DE130100292
Funder
Australian Research Council
Funding Amount
$285,000.00
Summary
Towards a stronger proof system for combinatorial optimisation. Combinatorial optimisation problems such as staff rostering, vehicle routing or resource allocation are central to the efficiency of many businesses and industries. This project will improve optimisation technology by using the low-level structure of the problems to find better solutions. This will save time, money and reduce environmental impact.