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
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
Exploiting Structure in AI Planning. The research will improve our ability to build generic, automated planning systems, which can efficiently select effective courses of actions in a range of situations such as crisis management, project planning, military operations planning, and transportation. It will help reduce the cost of building software to more efficiently solve important problems occurring in validating, controlling, and diagnosing complex systems. More generally, it will advance our ....Exploiting Structure in AI Planning. The research will improve our ability to build generic, automated planning systems, which can efficiently select effective courses of actions in a range of situations such as crisis management, project planning, military operations planning, and transportation. It will help reduce the cost of building software to more efficiently solve important problems occurring in validating, controlling, and diagnosing complex systems. More generally, it will advance our understanding of how machines can intelligently solve complex problems by identifying and exploiting their relevant structure.Read moreRead less
A more intelligent knowledge-based system apprentice. Our previous techniques already had an impact on Australian industry, with five Australian companies marketing such technology, and for three of these it is a central technology. We expect an early uptake of the enhancements we propose by these companies, greatly increasing their international competitiveness against other rule technologies. Three of these companies are very recent, so we would expect other company uptake of the new enhance ....A more intelligent knowledge-based system apprentice. Our previous techniques already had an impact on Australian industry, with five Australian companies marketing such technology, and for three of these it is a central technology. We expect an early uptake of the enhancements we propose by these companies, greatly increasing their international competitiveness against other rule technologies. Three of these companies are very recent, so we would expect other company uptake of the new enhanced technology. In turn Australian companies using the technology will improve their competitiveness in an increasingly knowledge-based economy by being able to more rapidly and easily deploy knowledge-based systems. Our previous techniques have already had a significant impact in medical practice.Read moreRead less
Resource-bounded adaptive inference of accurate conditional probability estimates from data. This project will develop machine learning techniques with a valuable new capability: the ability to produce estimates of complex conditional probabilities to varying levels of expected accuracy depending upon the constraints of available computational resources. This will provide significant competitive advantage to developers of many types of online application by allowing them to maximise utilisation ....Resource-bounded adaptive inference of accurate conditional probability estimates from data. This project will develop machine learning techniques with a valuable new capability: the ability to produce estimates of complex conditional probabilities to varying levels of expected accuracy depending upon the constraints of available computational resources. This will provide significant competitive advantage to developers of many types of online application by allowing them to maximise utilisation of available computational resources when making inferences from data, together with the flexibility to trade-off accuracy and computing resources during system design. Australia will also benefit by strengthening its machine learning expertise, which is central to many complex and intelligent systems and the booming data mining industry.Read moreRead less
Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.Read moreRead less
Towards Invisibly Intelligent Appliances via Experience-based Computing. As computers become more pervasive, people will inevitably interact with a wide range of networked appliances. This proposal aims to develop prototype enabling technology to allow appliances to operate cooperatively and seamlessly with minimum human input - 'invisible intelligence'. Experience-based computing is the key concept underlying the technology. A prototype 'operating experience' will be developed to sit on top of ....Towards Invisibly Intelligent Appliances via Experience-based Computing. As computers become more pervasive, people will inevitably interact with a wide range of networked appliances. This proposal aims to develop prototype enabling technology to allow appliances to operate cooperatively and seamlessly with minimum human input - 'invisible intelligence'. Experience-based computing is the key concept underlying the technology. A prototype 'operating experience' will be developed to sit on top of existing operating systems that will allow appliances to join and leave networks, and interact with other appliances. Also to be developed are a modeling framework, language and methodology for specifying appliance behaviour, and allow learning from experience.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.
Efficient Strategies for Mining Negative Association Rules. Negative association rules (NAR) catch mutually-exclusive correlations
among items. They play important roles just as traditional association
rules (TAR) do. For example, in stock market surveillance based on alert logs, NARs detect which alerts are false. There are essential differences between mining TARs and NARs because NARs are hidden in infrequent itemsets. This research will develop efficient strategies for mining NARs in datab ....Efficient Strategies for Mining Negative Association Rules. Negative association rules (NAR) catch mutually-exclusive correlations
among items. They play important roles just as traditional association
rules (TAR) do. For example, in stock market surveillance based on alert logs, NARs detect which alerts are false. There are essential differences between mining TARs and NARs because NARs are hidden in infrequent itemsets. This research will develop efficient strategies for mining NARs in databases. These strategies are expected to be about ten times faster than existing ones. This project will deliver database-independent and high-performance mining algorithms for decision-making. The results can benefit Australian marketing and financial companies as well as health and security departments for smart information use.Read moreRead less