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.
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
Flexible and Robust Protocol-Based Interaction between Agents in Open Systems. There has been much discussion of the importance of software agents for supporting a wide variety of interaction between businesses and individuals over the internet. Important applications include e-commerce and b2b applications. For the potential of software agents to be realised in open systems, issues of flexibility, robustness, and extensibility are critical. This project addresses the development of flexible ....Flexible and Robust Protocol-Based Interaction between Agents in Open Systems. There has been much discussion of the importance of software agents for supporting a wide variety of interaction between businesses and individuals over the internet. Important applications include e-commerce and b2b applications. For the potential of software agents to be realised in open systems, issues of flexibility, robustness, and extensibility are critical. This project addresses the development of flexible and powerful mechanisms for interaction, within the context of FIPA (Foundation for Intelligent Physical Agents) standards. The project uses FIPA's Agentcities as a test bed, enabling us to build on and co-operate with a large European project starting mid 2001.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
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.
Open Agent Architectures for Intelligent Distributed Decision Making. Sophisticated software systems are part of the essential infrastructure of our daily lives. Complex systems such as the internet, finance, or telecommunications software cannot have a centralised point of control or a single developer. The aim of this project is to develop an architecture and support infrastructure enabling intelligent agents to locate and use services in such open systems. The fundamental questions that must ....Open Agent Architectures for Intelligent Distributed Decision Making. Sophisticated software systems are part of the essential infrastructure of our daily lives. Complex systems such as the internet, finance, or telecommunications software cannot have a centralised point of control or a single developer. The aim of this project is to develop an architecture and support infrastructure enabling intelligent agents to locate and use services in such open systems. The fundamental questions that must be addressed include issues such as how agents will find and use newly added services and how services will communicate with each other, given that they are developed independently.Read moreRead less
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