Using interval temporal logic and inference rules for the automatic generation of multimedia presentations

We propose a mechanism and system for the automatic generation of interactive multimedia presentations from their specifications. A presentation specification contains three parts: the resources, the temporal information, and the spatial information. We use a ICON programming technique and a graphical user interface allow the presentation designer to quickly specify what he/she wants. Our system takes these requirements and relies on inference rules written in Prolog to generate interactive presentations. These inference rules are based on interval temporal logic and important issues in multimedia presentations, such as the hardware limitations of an ordinary personal computer and the properties of a multimedia resource. Our prototype system run under MS Windows. The early experience of using the system shows that it is feasible to use logic inference rules to assist the design of good multimedia presentations.