- Engineering Courses
- Information Technology Courses
- - Advanced Materials and Smart Structures (AMSS)
- - AeIMS
- - Areas of Expertise and Consultancy
- - Artificial Intelligence Research Group
- - Astrophysical eScience Laboratory
- - Australian Housing Supply Chain Alliance (AHSCA)
- - Bioelectronics Neuroscience (BENS)
- - Centre for Research in Mathematics
- - Centre for Smart Modern Construction
- - Digital Humanities Technologies
- - Geotechnical, Water and Environmental Engineering Research
- - Health Informatics (eHealth)
- - Intelligent & Sustainable Electrical Systems
- - Networking, Security, and Cloud Research (NSCR)
- - Robotics, Vision and Signal Processing (RVSP)
- - Solar Energy Technologies
- - Sustainable Construction Management and Education (SCME)
- - Telehealth Research and Innovation Lab (THRIL)
- Our People
- News - SCEM Bytes
- Industrial Design
- Solar Car
- Contact the School of Computing, Engineering and Mathematics
- SCEM Schoolwide Work Integrated Learning Framework
Artificial Intelligence Research Group (AIRG)
To be an AI research group of international standing and vision, building a rich and stimulating research culture in research training and collaboration, and achieving research excellence through the development of theoretical foundations and innovative technologies for complex AI systems.
AIRG Research Focuses
- Knowledge representation and reasoning: Ontology based reasoning and data query; computational properties of existential rules; knowledge based reasoning with Big Data; Answer Set Programming (ASP).
- Blockchain research: Blockchain based data integrity verification; Blockchain based access control framework; data query in Blockchain; Blockchain sharding.
- Intelligent agents: automated negotiation; reasoning about strategy; trading agents.
- Machine learning: image processing; AI-based real time analysis and self-adaption.
- Information security: network security; secured data access in shared cloud storage; rule based access control policies.
Professor Yan Zhang: Yan.Zhang@westernsydney.edu.au
Current AIRG Research Projects
Project title: Artificial intelligence enhancing Blockchain technology
Blockchain technology provides a new concept for data management in current digital era, where data sharing, auditing, access and query answering are the key components. This project aims to use the advanced AI methodologies and technologies to enhance Blockchain based data management.
In particular, this project has three major goals. Our first goal is to develop a Blockchain based data integrity verification (auditing) in P2P cloud storage, making verification more open, transparent, and auditable. Under this framework, we plan to apply Merkle tree for data integrity verification, and analyze the performance of the system under the different Merkle tree structures. New sampling strategy and verification algorithms will be proposed and developed; smart contract will be then designed and implemented in the Blockchain to fulfill this verification process. We will also develop a number of real world applications based on this Blockchain based data integrity verification, including data matching for properties, insurance compliance checking, and auditing.
Blockchain can be viewed as a distributed database where transactions are stored in a ledger which all involved parties hold a copy of. Blocks are time stamped batches of valid transactions. In this Blockchain environment, efficient query answering is a challenging issue. Our second goal of this project is to develop an effective query answering mechanism for Blockchain systems, in which we will have a unified query language suitable for different levels of queries, it is efficient for handling Big Data, and is able to express complex knowledge/ontology based queries.
The third goal of this project is to develop a Blockchain based data access control system. The traditional data access control models have been suffering from the following problems: one point of failure; a user’s access to a resource is not publically known, which leaves space for malicious’ attacks; and most traditional access control models are centralized. Blockchain based access control model will completely overcome all these drawbacks, and provide more secure and robust data access. Advanced answer set programming (ASP) approach will be used in this development.
Key people: Yan Zhang, Simeon Simoff, Vernon Asuncion, Dongmo Zhang, and Yi Zhou
Partners: IBM (Australia), Intech Solutions
Contact: Yan Zhang - email@example.com
Project title: Building robust network topologies against cyber attacks
Network topology (i.e., how nodes are connected by links in a network) is vital for the operation of networks. Cyber attacks to bring down the nodes or links in networks have surged in recent years. By leveraging the Complex Networks theory, which is widely used to study complex real-world networks, this project aims to (1) design network topologies that are robust against cyber attacks under budget constraints, (2) develop new metrics for measuring and analysing network robustness such that we can use them as guidelines to enhance network robustness and (3) contribute the software tools in achieving the previous two aims as open source software.
The outcomes of this project can be broadly applied to infrastructure networks such as enterprise backbone networks, water/electricity distribution networks, transportation networks, IoT network for smart cities, etc
Key people: Weisheng Si, Yun Bai, Weixing Zheng
Partner: University of Sydney
Funding organization: NSW State Government
Contact: Weisheng Si - firstname.lastname@example.org
Project title: Multi-robot systems for autonomous driving
This project aims to develop automated negotiation technologies for autonomous driving. We investigate the protocols for autonomous vehicles to communicate and negotiate each other for sharing public roads and avoiding collisions. We treat autonomous vehicles as robots so that we can develop software systems based on the Robot Operating System to implement and test negotiation protocols.
Key people: Dongmo Zhang, Dave de Jonge, Jianglin Qiao and Michael Abdo
Contact: Dongmo Zhang - email@example.com
Project title: Efficient and fairer assessment or training systems via AI-based real-time analysis and self-adaption
Adaptive skill training and efficient and fair assessment systems are not foreign to AI-based techniques and strategies. Accurate and fair assessments on lengthy and complex student work, for instance, can be very tedious and draining due to the possible infinite answer variations and the corresponding need to scale their similarities and to repeat a good portion of comments or feedback, especially when some have to intensively assess many scores of such works to meet the deadlines. The assessment consistency becomes even more challenging when a relatively larger group of assessors are required to assess the work on their own and yet to produce the outcome of the same standard. Here we propose to track all students’ marks and feedback comments by all assessors and on all parts of students’ prior and current work real-time, analyse and predict the similarities, and prompt for most similar work assessed so far in terms of their received marks and comments. This will first of all lead to more uniform and therefore fairer assessments across different students and different assessors. Secondly it could provide predicted marks and feedback, pending potential rectification and modification, to greatly improve the assessment efficiency and consistency. The training system, on the other hand, can be built along a similar principle in that automated training exercises can be analysed real-time to alter the training content and complexity so as to best enhance the training effectiveness.
Key people: Zhuhan Jiang, and Jiansheng Huang
Contact: Zhuhan Jiang - firstname.lastname@example.org
Project title: Loop restricted existential rules and first-order rewritability for query answering
In ontology-based data access (OBDA), the classical database is enhanced with a theory called ontology in the form of logical assertions generating new intensional knowledge. A powerful form of such logical assertions is the tuple generating dependencies (TGDs), also called existential rules, where Horn rules are extended by allowing existential quantifiers to appear in the rule heads. In this project, we introduce a new language called loop restricted (LR) TGDs (existential rules), which are TGDs with certain restrictions on the loops embedded in the underlying rule set. We study the complexity of this new language. We show that the conjunctive query answering (CQA) under the LR TGDs is decidable. In particular, we prove that this language satisfies the so-called bounded derivation-depth property (BDDP), which implies that the CQA is first-order rewritable, and its data complexity is in AC0. We also prove that the combined complexity of the CQA is EXPTIME-complete, while the language membership is PSPACE-complete. Based on LR TGDs, we will extend the LR TGDs language to the generalized loop restricted (GLR) TGDs language. We will prove that this class of TGDs still remains to be first-order rewritable and properly contains all of other first-order rewritable TGDs classes discovered in the literature so far.
Key people: Yan Zhang, Vernon Asunciuon, and Heng Zhang
Contact: Yan Zhang - email@example.com
Project title: Logical foundations and applications of general intelligence
This project aims to develop the fundamental techniques that enable systems to understand descriptions of new tasks and to generate or learn their own strategies for the tasks effectively without human intervention. The investigation will be conducted in alignment with the researches on general game playing (GGP), which aims to build autonomous agent capable of playing any formally described games. The project also aims to apply the techniques of general problem solving to business automation, automated negotiation and electronic trading.
Key people: Dongmo Zhang, Michael Thielscher, Dave de Jonge, and Siri Padmanabhan Poti
Contact: Dongmo Zhang - firstname.lastname@example.org
Project title: Automated IQ test
AI benchmarking becomes an increasingly important task. As suggested by many researchers, Intelligence Quotient (IQ) test, which is widely regarded as the standard benchmark for testing human intelligence, is one of the best candidates for testing machine intelligence as well. Nevertheless, most existing IQ test datasets are not comprehensive enough for this purpose. As a result, the conclusions obtained are not representative. To address this issue, this project aims to create a large-scale IQ test dataset and to promote it as a standard AI benchmark. Research on automated IQ test cover many aspects of advanced AI research areas including knowledge representation and reasoning, machine learning, natural language processing, image understanding.
Key people: Yi Zhou, Zhiyong Feng, Guozheng Rao and Haodi Zhang
Contact: Yi Zhou - email@example.com
Project title: Answer set programming with function symbols
Answer set programs with function symbols may have infinite stable models in general, and as such, the traditional ASP solvers cannot ground such programs. A program is called finitely ground if there is a finite propositional logic program whose stable models are exactly the same as the stable models of this program. Therefore, finite groundability is an important property for logic programs with function symbols because it makes feasible to compute such programs' stable models using traditional ASP solvers. In this project, we explore new decidable classes of finitely ground programs
from polynomial bounded to exponential bounded programs, so that the new discovered classes will strictly contain all other existing decidable classes of finitely ground programs. We also study the relevant complexity properties for these classes of programs. We also investigate various applications of these new bounded ASP programs in complex domains such as planning, and implement practical solvers handling these bounded programs in effective ways.
Key people: Vernon Asuncion, Yan Zhang, and Heng Zhang
Contact: Vernon Asuncion - firstname.lastname@example.org
Project title: The triangularly guarded class of existential rules
In our recent research on existential rules in ontology based data access (OBDA), we introduced a new class of tuple-generating dependencies (TGDs) called triangularly guarded TGDs, which are TGDs with certain restrictions on the atomic derivation track embedded in the underlying rule set. In this project, we study the decidability of conjunctive query answering under this new class of TGDs. We will further show that this new class strictly contains some other important TGDs classes such as weak-acyclic, aGRD, guarded, sticky and shy. In this sense, we will demonstrate that this triangularly guarded class of TGDs provides a unified representation of all these aforementioned classes. Algorithms and prototype of checking the membership of this new class of TGDs will be also developed.
Key people: Vernon Asuncion and Yan Zhang
Contact: Vernon Asuncion - email@example.com