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
Automatic Ontology Learning and Data Reasoning in Web Mining. This research has an impact on both research and practical applications. In research, it provides opportunities for research students to carry out research using both data mining and data reasoning to solving Web based application problems. In practical, it can help IT industry to design the new generation of Web mining systems in order to provide invaluable service to users. This research also develops new techniques for data automa ....Automatic Ontology Learning and Data Reasoning in Web Mining. This research has an impact on both research and practical applications. In research, it provides opportunities for research students to carry out research using both data mining and data reasoning to solving Web based application problems. In practical, it can help IT industry to design the new generation of Web mining systems in order to provide invaluable service to users. This research also develops new techniques for data automatic processing within areas of smart information use in Australia. In particular it further develops data mining techniques by introducing data reasoning models for using discovered knowledge. It must be useful to improve the efficiency of the existing data mining systems. Read moreRead less