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
Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordi ....Real-time high-level cognitive robotics controllers. Technological advances have seen the recent release of commercially affordable mobile robots. In the wake of Sony's immensely successful AIBO entertainment robot, it is anticipated that the market will be flooded with similar devices in short time. However, while traditional robotics focuses on problems like navigation and sensory perception, scant attention has been paid to the development of high-level cognitive robotics languages for coordinating these lower-level "skills". Such languages allow development of sophisticated robot controllers. We aim to develop a cognitive robotics language capable of controlling robots in real-time and in a multi-agent setting requiring coordination among agents.Read moreRead less
The Development of Creative Thinking Ability in TAFE Design Students. The aim is to develop an instructional framework as a conceptual basis for instruction aimed at TAFE design student use of imagery in creative thinking. The research addresses the challenges of recent post-compulsory education initiatives, which include a more specific focus on the development of creative problem-solving skills, but provide little guidance on instructional strategies. The research will synthesise the framewo ....The Development of Creative Thinking Ability in TAFE Design Students. The aim is to develop an instructional framework as a conceptual basis for instruction aimed at TAFE design student use of imagery in creative thinking. The research addresses the challenges of recent post-compulsory education initiatives, which include a more specific focus on the development of creative problem-solving skills, but provide little guidance on instructional strategies. The research will synthesise the framework from theories about cognitive processes, creative problem-solving and the use of mental imagery; and the results of an imagery training program and creative problem-solving interventions. The outcome will be an instructional framework for guiding the development of student creative thinking in design-based courses in TAFE.Read moreRead less