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

Proposes a mechanism and a 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 an icon programming technique and a graphical user interface to 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 Microsoft Windows. Early experience of using the system shows that it is feasible to use logical inference rules to assist with the design of good multimedia presentations