Exercise 12.16 In this question, you are to write a definite clause knowledge base for the design of custom video presentations.

Assume that the video is annotated using the relation segment(SegId, Duration, Covers), where SegId is an identifier for the segment. (In a real application this will be enough information to extract the video segment). Duration is the time of the segment

(in seconds). Covers is a list of topics covered by the video segment. An example of a video annotation is the database segment(seg0, 10, [welcome]).

segment(seg1, 30, [skiing, views]).

segment(seg2, 50, [welcome, computationalintelligence, robots]).

segment(seg3, 40, [graphics, dragons]).

segment(seg4, 50, [skiing, robots]).

A presentation is a sequence of segments. You will represent a presentation by a list of segment identifiers.

(a) Axiomatize a predicate presentation(MustCover, Maxtime, Segments)

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, the query ask presentation([welcome, skiing, robots], 90, Segs).

should return at least the following two answers (perhaps with the segments in some other order):

presentation([welcome, skiing, robots], 90, [seg0, seg4]).

presentation([welcome, skiing, robots], 90, [seg2, seg1]).

Give the intended interpretation of all symbols used and demonstrate that you have tested your axiomatization (including finding all answers to your query) in AILog or Prolog. Explain briefly why each answer is an answer.

(b) Assuming you have a good user interface and a way to actually view the presentations, list three things that the preceding program does not do that you may want in such a presentation system. (There is no correct answer for this part. You must be creative to get full marks).