Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications ....Spatial Cognition—Expressive Representation Formalisms and Effective Reasoning Mechanisms. The project will contribute significantly to the advancement of knowledge in breakthrough science in qualitative spatial reasoning and smart information use in geographic information systems. Expressive spatial languages are important in organising spatial knowledge, defining spatial query languages and guiding spatial data mining. Effective spatial reasoning mechanisms bring theory closer to applications including consistency checking and spatial query pre-processing. The project will help in extracting knowledge from massive spatial databases, meeting the growing needs of naive users for spatial information and establishing Australia as a major player in spatial cognition research and in the development of geo-location services.Read moreRead less
Foundations and Architectures for Agent Systems. Computer systems are now involved in many aspects of everyday life, commerce, and industry. Making these systems more intelligent has thus become a priority research issue. Agents systems, with their emphasis on autonomy, proactiveness, reactivity, and sociability, are widely regarded as a crucial technology for realising the capabilities that computer systems will need over the next few decades. The proposed research aims to make some fundamenta ....Foundations and Architectures for Agent Systems. Computer systems are now involved in many aspects of everyday life, commerce, and industry. Making these systems more intelligent has thus become a priority research issue. Agents systems, with their emphasis on autonomy, proactiveness, reactivity, and sociability, are widely regarded as a crucial technology for realising the capabilities that computer systems will need over the next few decades. The proposed research aims to make some fundamental contributions to agent systems that will be used to build future computer systems that will have an even more profound positive impact on everyday life, commerce and industry than existing systems.Read moreRead less
Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implement ....Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project will systematically develop a framework by combining modal-logics to adequately capture and reason about temporal, epistemic and social aspects of dynamic and multi-agent systems. The combined logics would be evaluated on practical applications.
Read moreRead less
Optimizing steel industry supply chains through constraint and market-oriented programming. Supply chain optimization is a difficult problem, but of considerable significance to business enterprises. Constraint programming technology is a promising approach to solving such problems, but is inadequate in the context of dynamic supply chains. Market-oriented programming solves resource allocation problems by setting up artificial computational economies of trading software agents and holds promise ....Optimizing steel industry supply chains through constraint and market-oriented programming. Supply chain optimization is a difficult problem, but of considerable significance to business enterprises. Constraint programming technology is a promising approach to solving such problems, but is inadequate in the context of dynamic supply chains. Market-oriented programming solves resource allocation problems by setting up artificial computational economies of trading software agents and holds promise both as an optimization tool and as a tool that supports explicit market negotiation. This project seeks to address several open questions relating to the integrated deployment of these two classes of techniques, in the context of building a practical supply chain optimization system for BHP Steel.Read moreRead less
Intelligent Structured Knowledge Source Integration via Software Agents. This project aims to use flexible information agents to integrate the World Wide Web with a machine readable ontology, namely a large, consistent collection of common sense knowledge. The best developed ontology in the world is Cyc. Cyc's repository of general purpose knowledge is rich and stable, but has a major limitation in requiring its knowledge to be hand-entered by experts. The outcomes of the project will be increas ....Intelligent Structured Knowledge Source Integration via Software Agents. This project aims to use flexible information agents to integrate the World Wide Web with a machine readable ontology, namely a large, consistent collection of common sense knowledge. The best developed ontology in the world is Cyc. Cyc's repository of general purpose knowledge is rich and stable, but has a major limitation in requiring its knowledge to be hand-entered by experts. The outcomes of the project will be increased functionality for ontologies, to enable expert reasoning programs wishing to use a formal ontology such as Cyc to have access to the wealth of knowledge on the World Wide Web.Read moreRead less
Integrated constraint-based planning and scheduling. Constraint programming is a relatively new technology based on artificial intellgence techniques that is becoming a popular tool for developing industrial optimisation solutions. While constraint programming has been used extensively for solving industrial scheduling problems, very little has been done in developing constraint-based integrated producting planning and scheduling systems. The size and complexity of typical production planning a ....Integrated constraint-based planning and scheduling. Constraint programming is a relatively new technology based on artificial intellgence techniques that is becoming a popular tool for developing industrial optimisation solutions. While constraint programming has been used extensively for solving industrial scheduling problems, very little has been done in developing constraint-based integrated producting planning and scheduling systems. The size and complexity of typical production planning and scheduling problems requires the innovative use of the latest developments in constraint programming technology, together with a variety of other artificial intelligence techniques. This project seeks to develop and implement a new conceptual framework for integrated constraint-based planning and scheduling, using BHP Steel as a test - bed.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
Dynamic Semantic Interoperability for Business Processes. The integration of independently developed applications constitutes
one of the major bottlenecks in modern software development in
business, industry, and defense, in particular for a nation such as
Australia that is highly reliant on overseas trade. Technologies that
facilitate the smooth application integration promise significant
savings in software development. By offering automated support task,
this project offers the potenti ....Dynamic Semantic Interoperability for Business Processes. The integration of independently developed applications constitutes
one of the major bottlenecks in modern software development in
business, industry, and defense, in particular for a nation such as
Australia that is highly reliant on overseas trade. Technologies that
facilitate the smooth application integration promise significant
savings in software development. By offering automated support task,
this project offers the potential of significant cost savings, highly
beneficial to any industry with a major ICT component. 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
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