MANAGING TASKS USING AN INTERVAL-BASED TEMPORAL LOGIC

摘要

We develop here a logic L(t) for reasoning about time. The main intended application is the task of a medical decision support system. The language of the logic is propositional extended with interval concepts. A brief description is given of the implementation of L(t) in prolog. The implementation is motivated by the management of cancer treatment and illustrated in terms of a small example. [References: 29]