Fable-based Learning: Seminar by Prof Jimmy Lee

Event details

  • When: 21st August 2018 13:30 - 14:30
  • Where: Cole 1.33b
  • Format: Seminar

CUHK + UniMelb = Fable-based Learning + A Tale of Two Cities

Prof Jimmy Lee, Chinese University of Hong Kong

This talk reports on the pedagogical innovation and experience of a joint venture by The Chinese University of Hong Kong (CUHK) and the University of Melbourne (UniMelb) in the development of MOOCs on the computer science subject of “Modeling and Solving Discrete Optimization Problems”.  In a nutshell, the MOOCs feature the Fable-based Learning approach, which is a form of problem-based learning encapsulated in a coherent story plot.  Each video lecture begins with an animation that tells a story based on the Chinese classic “Romance of the Three Kingdoms”, in which the protagonists in the novel encounter a problem requiring technical assistance from the two professors from modern time via a magical tablet bestowed upon them by a fairy god.  The new pedagogy aims at increasing learners’ motivation as well as situating the learners in a coherent learning context.  In addition to scriptwriting, animation production and situating the teaching materials in the story plot, another challenge of the project is the remote distance and potential cultural gap between the two institutions as well as the need to produce all teaching materials in both (Mandarin) Chinese and English to cater for different geographical learning needs.  The MOOCs have been running recurrently on Coursera since 2017.  Some learner statistics and feedbacks will be presented.  The experience and preliminary observations of adopting the online materials in a Flipped Classroom setting at CUHK will also be detailed.

This video at Youtube shows the trailer for the Coursera Course:


Jimmy Lee has been on the faculty of The Chinese University of Hong Kong since 1992, where he is currently the Assistant Dean (Education) in the Faculty of Engineering and a Professor in the Department of Computer Science and Engineering.  His major research focuses on constraint satisfaction and optimization with applications in discrete optimization, but he is also involved in investigating ways of improving students’ learning experience via proper use of technologies.  Jimmy is a two-time recipient (2004 and 2015) of the Vice-Chancellor’s Exemplary Teaching Award and most recently the recipient of the University Education Award (2017) at CUHK.

Seminar: SMT, Planning and Snowmen

Event details

  • When: 6th August 2018 11:00 - 12:00
  • Where: Cole 1.33a
  • Series: AI Seminar Series
  • Format: Seminar

Professor Mateu Villaret, from Universitat de Girona is a visiting scholar with the AI group from July 1st until September 30th. Professor Villaret works on algorithms for routing and scheduling with the AI group at St Andrews.

As well as solving practical problems, he also enjoys puzzle games. That is the basis of this talk, about using Planning and SMT to solve the “Snowman” puzzle.

Seminar: AI-augmented algorithms — how I learned to stop worrying and love choice

The speaker is Lars Kotthoff, previously a PhD student here, now and Assistant Professor at the University of Wyoming. All welcome.


Often, there is more than one way to solve a problem. It could be a different
parameter setting, a different piece of software, or an entirely different
approach. Choosing the best way is usually a difficult task, even for experts.
AI and machine learning allow to leverage performance differences of
algorithms (for a wide definition of “algorithm”) on different problems and
choose the best algorithm for a given problem automatically. In AI itself,
these techniques have redefined the state of the art in several areas and led
to innovative approaches to solving challenging problems.

In this talk, I will give examples of how AI can help to solve challenging
computational problems, what techniques have been applied, and how you can do
the same. I will argue that AI has fundamental implications for software
development, engineering, and computer science in general — stop making
decisions when coding, having more algorithmic choices is better!


Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)

Event details

  • When: 23rd June 2017 13:00 - 14:00
  • Where: Cole 1.33a
  • Series: AI Seminar Series
  • Format: Seminar

Jacob Howe, City University, London

Abstract: This talk will recap how a watched literal DPLL based SAT solver can be succinctly coded in 20 lines of Prolog. The focus of the talk will be the extension of this solver to an SMT solver which will be discussed with a particular focus on the case where the theory is that of rational-tree constraints, and its application in a reverse engineering problem.
[Note change of time from that previously advertised]