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
Intelligent Agents for Concept Invention of Design Forms. Concept invention refers to the act of discovering new concepts for the first time. Concept invention may require a new interpretation and a shift in intentional mode that motivates new mappings of the situation prior to the discovery of a new concept. This project is concerned with developing intelligent design agents that are capable of inventing creative concepts of design forms, shapes and compositions while involved in the design pr ....Intelligent Agents for Concept Invention of Design Forms. Concept invention refers to the act of discovering new concepts for the first time. Concept invention may require a new interpretation and a shift in intentional mode that motivates new mappings of the situation prior to the discovery of a new concept. This project is concerned with developing intelligent design agents that are capable of inventing creative concepts of design forms, shapes and compositions while involved in the design process. A new approach of exploiting the notion of displacement of concepts with regard to concept invention in designing will be adopted and utilised in developing the structure of intelligent agents.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
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
Kernel and Margin Based Machine Learning Algorithms. Certain machine learning algorithms, such as support vector machines, utilizing
the ideas of large margins and kernels have attracted much attention lately
because of their impressive performance on real world problems such as optical
character recognition. We plan to refine and extend such algorithms to a wide
range of different machine learning problems such as gene sequence analysis,
image processing and text classification. Expected ....Kernel and Margin Based Machine Learning Algorithms. Certain machine learning algorithms, such as support vector machines, utilizing
the ideas of large margins and kernels have attracted much attention lately
because of their impressive performance on real world problems such as optical
character recognition. We plan to refine and extend such algorithms to a wide
range of different machine learning problems such as gene sequence analysis,
image processing and text classification. Expected outcomes include the
development of software that allows the solution of hitherto unsolved machine
learning problems, and the ability to solve problems larger than those solvable
by the current generation of machine learning tools.Read moreRead less
Developing Sophisticated e-Business Automation. This project will provide theoretical foundations and a practical platform for developing advanced e-business automation technology. As such, it will significantly enhance Australia's leading role in the cutting edge research on e-business automation. By applying the new methodology and technology, Australian IT industries will be able to develop highly efficient e-market application systems, which will be financially beneficial to most organizatio ....Developing Sophisticated e-Business Automation. This project will provide theoretical foundations and a practical platform for developing advanced e-business automation technology. As such, it will significantly enhance Australia's leading role in the cutting edge research on e-business automation. By applying the new methodology and technology, Australian IT industries will be able to develop highly efficient e-market application systems, which will be financially beneficial to most organizations as Australia business and institutions are moving towards a more electronically oriented future. With a strong research team and collaborative research training environment, this project will further promote Australia's international reputation as a leader in Computing and IT research.Read moreRead less
Logical Foundation and Implementation Technology for Automated Negotiation. The logic of bargaining is fundamental to understanding human negotiation and multiagent interaction. This project provides a new paradigm of negotiation with the integration of qualitative and quantitative analysis of bargaining processes and enhancement of implementation technologies for negotiation automation and trading agent design. The theoretic approach can be applied to a wide range of areas for the analysis of e ....Logical Foundation and Implementation Technology for Automated Negotiation. The logic of bargaining is fundamental to understanding human negotiation and multiagent interaction. This project provides a new paradigm of negotiation with the integration of qualitative and quantitative analysis of bargaining processes and enhancement of implementation technologies for negotiation automation and trading agent design. The theoretic approach can be applied to a wide range of areas for the analysis of economic, political and social phenomena. The techniques, algorithms and possible patents generated by the project can be directly used by the Australian IT industry for the development of efficient e-trading systems, allowing Australian business to take advantage of new e-market territories.Read moreRead less
Developing optimal synthesis strategies in distributed expert systems. The aim of this project is to investigate synthesis strategies in distributed expert systems (DESs). Such strategies are used to synthesize multiple solutions to the same task from different experts (either human experts or expert systerms) in order to obtain the final solution to the task. These strategies could be used in a wide application of domains such as insurance agencies and medical diagnosis systems. The expected ....Developing optimal synthesis strategies in distributed expert systems. The aim of this project is to investigate synthesis strategies in distributed expert systems (DESs). Such strategies are used to synthesize multiple solutions to the same task from different experts (either human experts or expert systerms) in order to obtain the final solution to the task. These strategies could be used in a wide application of domains such as insurance agencies and medical diagnosis systems. The expected outcomes are to develop computational strategies, neural network strategies, and case-based strategies for solving different synthesis cases.Read moreRead less
The Physics of Network Computation. This project combines expertise in nonlinear soliton physics and computational sciences in order to provide new insights into the physics of network computation. Our proposal addresses the mathematics and computer modelling underlying nonconscious problem solving. We develop a new template concept, the meta-mode, which embodies the network structure of knowledge and the linking mechanisms, which underpin human creativity. We establish the optimal connectiv ....The Physics of Network Computation. This project combines expertise in nonlinear soliton physics and computational sciences in order to provide new insights into the physics of network computation. Our proposal addresses the mathematics and computer modelling underlying nonconscious problem solving. We develop a new template concept, the meta-mode, which embodies the network structure of knowledge and the linking mechanisms, which underpin human creativity. We establish the optimal connectivity distributions to preserve distinct pattern classes yet allow model radical shifts in paradigms, and develop algorithms for autonomous connectivity optimisation. We investigate nonlinear process such as solitons and random Boolean networks as realisations of these principles.Read moreRead less