Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
J.F. Allen, “Towards a general theory of action and time,” Artificial Intelligence, vol. 23, pp. 123–154, 1984.
F. Bacchus, J. Tenenberg, and J.A. Koomen, “A non-reified temporal logic,” Artificial Intelligence, vol. 52, pp. 87–108, 1991.
BTA, “Guidelines on the management of asthma,” THORAX: The Journal of the British Thoratic Society, vol. 48, pp. 1–24, 1993.
J.P. Burgess, “Basic Tense Logic,” Extensions of Classical Logic, of Handbook of Philosophical Logic, edited by D. Gabby and R. Guenthner, D. Reidel Publishing Company, vol. 2, pp. 89–133, 1985.
S.K. Das, Deductive Databases and Logic Programming, Addison-Wesley, 1992.
S.K. Das and J. Fox, “A logic for reasoning about safety in decision support systems,” in Proceeding of the Second European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, edited by Clarke et al., Springer-Verlag, November 1993, pp. 79–84.
S.K. Das, J. Fox, P. Hammond, and D. Elsdon, Making safe decisions, submitted for publication, 1995.
S.K. Das and M.H. Williams, “A path finding method for checking integrity in deductive databases,” Data and Knowledge Engineering, vol. 4, pp. 223–244, 1989.
R. Dechter, I. Meiri, and J. Pearl, “Temporal constraint network,” Artificial Intelligence, vol. 49, pp. 61–95, 1991.
E.A. Emerson and J.Y. Halpern, “Sometime and not never revisited: On branching versus linear time temporal logic,” Journal of the Association of Computing Machinery, vol. 33, pp. 151–178, 1986.
J. Fox, S.K. Das, and D. Elsdon, “Decision making and planning in autonomous systems: Theory, technology and applications,” in Proceeding of the ECAI Workshop on Decision Theory for DAI Applications, August 1994.
A. Galton, “A critical examination of Allen's theory of action and time,” Artificial Intelligence, vol. 42, pp. 159–188, 1990.
J.Y. Halpern and Y. Shoham, “A propositional modal logic of time intervals,” Journal of the Association for Computing Machinery, vol. 38, pp. 935–962, 1991.
P. Hammond, “Decision support and safety reasoning in oncology,” Technical Report RED Project, Imperial Cancer Research Fund, London, 1994.
P. Hammond and D. Elsdon, “Decision support and safety in asthma management,” Technical Report RED Project, Imperial Cancer Research Fund, London, 1994.
P. Hammond, A.L. Harris, S.K. Das, and J.C. Wyatt, “Safety and decision support in oncology,” Methods of Information in Medicine, vol. 33, pp. 371–381, 1994.
B.A. Haugh, “Non-standard semantics for the method of temporal arguments,” in Proceedings of the 10th International Joint Conference on Artificial Intelligence, 1987, pp. 449–455.
I.L. Humberstone, “Interval semantics for tense logics: Some remarks,” Journal of Philosophical Logic, 1979.
J.A.W. Kamp, Tense Logic and the Theory of Linear Order, Ph.D. Thesis, University of California, Los Angeles, 1968.
B. Knight and J. Ma, “Time representation: A taxonomy of temporal models,” Artificial Intelligence Review, vol. 7, pp. 401–419, 1994.
R. Kowalski and M. Sergot, “A logic-based calculus of events,” New Generation Computing, vol. 4, pp. 67–95, 1986.
D.V. McDermott, “A temporal logic for reasoning about processes and plans,” Cognitive Science, vol. 6, pp. 101–155, 1982.
MRC, “Carboplatin based combination chemotherapy for good prognosis metastatic malignant teratoma,” Technical Report, MRC Cancer Trial Office, Cambridge, 1990.
A.N. Prior, Time and Modality, Oxford University Press, 1957.
N. Rescher and A. Urquhart, Temporal Logic, Springer-Verlag. 1971.
Y. Shoham, “Temporal logics in AI: Semantical and ontological considerations,” Artificial Intelligence, vol. 33, pp. 89–104, 1987.
J. van Benthem, “Time, logic and computation,” in Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency (LNCS-354), Springer-Verlag, pp. 1–49, June 1988.
J. van Benthem, The Logic of Time, Dordrecht, 1991.
Y. Venema, “Expressiveness and completeness of an interval tense logic,” Notre Dame Journal of Formal Logic, vol. 31, pp. 529–547, 1990.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Das, S.K., Hammond, P. Managing tasks using an interval-based temporal logic. Appl Intell 6, 311–323 (1996). https://doi.org/10.1007/BF00132736
Issue Date:
DOI: https://doi.org/10.1007/BF00132736