Managing tasks using an interval-based temporal logic

摘要

We develop here a logic % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9qq-f0-yqaqVeLsFr0-vr% 0-vr0db8meaabaqaciGacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1% uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbcKqzagGae8NeHW0aaSba% aKazbauabaqcLbyacaWG0baajqwaafqabaaaaa!4823!\[\mathcal{L}_t \] for reasoning about time. The main intended application is the task management 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 % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9qq-f0-yqaqVeLsFr0-vr% 0-vr0db8meaabaqaciGacaGaaeqabaWaaeaaeaaakeaatuuDJXwAK1% uy0HwmaeHbfv3ySLgzG0uy0Hgip5wzaGqbcKqzagGae8NeHW0aaSba% aKazbauabaqcLbyacaWG0baajqwaafqabaaaaa!4823!\[\mathcal{L}_t \] in Prolog. The implementation is motivated by the management of cancer treatment and illustrated in terms of a small example.