Go backward to 3 House Plumbing
Go up to Top
4 Designing Video Presentations
In this question you are to write a CILog knowledge base for the
design of custom video presentations.
You should assume that the video is annotated using the relation
where SegId is an identifier for the segment. (In a real application
this will be enough information to extract the segment from the video
disk). Duration is the time of the segment (in seconds). Covers is
a list of topics that is covered by the video segment. An example of a
video annotation is the database:
segment(SegId, Duration, Covers)
A presentation is a sequence of segments. You will represent a
presentation by a list of segment identifiers.
- Axiomatize a predicate
That is true if Segments is a presentation whose total running time
is less than or equal to Maxtime seconds, such that all of the
topics in the list MustCover are covered by a segment in the
presentation. The aim of this predicate is to design presentations
that cover a certain number of topics within a time limit.
For example, given the query:
presentation(MustCover, Maxtime, Segments).
should at least return the two answers (perhaps with the segments in
the other order):
cilog: ask presentation([welcome,skiing,robots], 90, Segs).
Two procedures you may find useful are:
Answer: presentation([welcome, skiing, robots], 90, [seg0, seg4]).
Answer: presentation([welcome, skiing, robots], 90, [seg2, seg1]).
% member(E,L) is true if E is in list L
% notin(E,L) is true if E is not in list L
A \= B &
What is required for part (a) is reasonably
straightforward. However, this example domain will be used for future
problems, so it is worthwhile thinking about what you may want in
such a presentation design program.
Assuming you have a good user interface and a way to actually view the
presentations, list three things that the above program doesn't do
that you may want in such a presentation system.
[There is no right answer for this part, you need to be creative
to get full marks].
material, ©David Poole, Alan Mackworth and Randy Goebel, 1999