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
Reconceiving Machine Learning. The proposed research will develop a new way to consider problems to which machine learning can be applied. Machine learning is crucial enabler of the digital economy. The research will provide better opportunities for Australian industry to gain a competitive advantage with machine learning technology. The framework developed will enable better opportunities for collaborative research and will build and strengthen international linkages.
Where the Really Hard Problems Are: Beyond the Decision Case. This is a project in empirical artificial intelligence. We study factors affecting the average difficulty of computing optimal or near-optimal solutions to instances of problems whose worst cases are typically intractable. Most existing research on the distribution of hard instances concerns decision questions, where the issue is whether solutions exist or not. We seek comparable results for optimization, where the goal is the best so ....Where the Really Hard Problems Are: Beyond the Decision Case. This is a project in empirical artificial intelligence. We study factors affecting the average difficulty of computing optimal or near-optimal solutions to instances of problems whose worst cases are typically intractable. Most existing research on the distribution of hard instances concerns decision questions, where the issue is whether solutions exist or not. We seek comparable results for optimization, where the goal is the best solution, and for approximation, where the goal is a good solution. Expected outcomes include new heuristics for search algorithms, new methods for predicting search costs, and explanations of the average case behaviour of algorithms.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