Ontology-based agent-oriented development methodologies. Establishing an industry strength unified agent-oriented methodology which focuses on interoperability and reusability will create stronger commitment to the new technology and stability in the commercial sector in Australia. Our methodology will create significant potential for Australian software companies, due to the added productivity and long term customer satisfaction through reusability, interoperability and pay-off of the developed ....Ontology-based agent-oriented development methodologies. Establishing an industry strength unified agent-oriented methodology which focuses on interoperability and reusability will create stronger commitment to the new technology and stability in the commercial sector in Australia. Our methodology will create significant potential for Australian software companies, due to the added productivity and long term customer satisfaction through reusability, interoperability and pay-off of the developed systems. This not only brings profits to Australian companies through the exploitation of this frontier technology, but also enhances the standard of living through increased satisfaction of the Australian public in their increasing use of software as they interact with today's computer-controlled world.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
Complexity Measures Of Design Spaces As Basis For Mass Customisation Of Novel Designs. This project aims to develop, implement and test a means to determine the potential of any arbitrary design generator to produce a diversity of designs and to utilise that means to control the mass customisation of novel designs. Globalisation of markets has produced the need to be able to mass customise designs that are not simple variants of existing designs. Any improvement in Australia's capacity to provid ....Complexity Measures Of Design Spaces As Basis For Mass Customisation Of Novel Designs. This project aims to develop, implement and test a means to determine the potential of any arbitrary design generator to produce a diversity of designs and to utilise that means to control the mass customisation of novel designs. Globalisation of markets has produced the need to be able to mass customise designs that are not simple variants of existing designs. Any improvement in Australia's capacity to provide this service will improve both its internal efficiency and increase its competitiveness in the increasing international marketplace for designing through the production of the basis for a new class of designing tools.Read moreRead less
Curious Places: Agent-Mediated Self-Aware Worlds. This project develops and demonstrates a model of curious places: physical and digital environments that adapt their behaviour based on their experiences. This means that we can implement new kinds of places, rooms, public spaces, that respond to human activity and new technology by creating their own goals and behaviours. This is a benefit to Australia by expanding its capability in home automation and leading developments in novel human-comput ....Curious Places: Agent-Mediated Self-Aware Worlds. This project develops and demonstrates a model of curious places: physical and digital environments that adapt their behaviour based on their experiences. This means that we can implement new kinds of places, rooms, public spaces, that respond to human activity and new technology by creating their own goals and behaviours. This is a benefit to Australia by expanding its capability in home automation and leading developments in novel human-computer interfaces. This benefit can provide economic gain to Australia through the development of frontier technologies.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
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
Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, internation ....Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, international funding agencies have targeted agent-oriented technologies as essential ingredients for prosperity in the 21st century. This project will help to ensure that Australia shares in that prosperity.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
Risk Management using Agent-Based Virtual Environments. Since September 11, terrorism and its prevention has been high on the agenda of modern governments. On reflection, there were many signs that could have alerted US government officials to what was about to transpire and saved many lives. But much of the knowledge needed to detect and handle such situations can not be learnt from a book. Many things we need to experience in order to learn. This project combines the investigators' expertise i ....Risk Management using Agent-Based Virtual Environments. Since September 11, terrorism and its prevention has been high on the agenda of modern governments. On reflection, there were many signs that could have alerted US government officials to what was about to transpire and saved many lives. But much of the knowledge needed to detect and handle such situations can not be learnt from a book. Many things we need to experience in order to learn. This project combines the investigators' expertise in knowledge based, agent based and natural language fields to produce an interactive virtual environment for the user to engage with.Read moreRead less