A framework for knowledge-based temporal abstraction

Artificial Intelligence

Volumn 90, Issue 1-2, 1997, Pages 79-133

  Shahar, Yuval ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Knowledge acquisition; Knowledge representation; Temporal abstraction; Temporal reasoning

Indexed keywords

FORMAL LOGIC; KNOWLEDGE ACQUISITION; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION;

TEMPORAL ABSTRACTION; TEMPORAL REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 0031069719     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(96)00025-2     Document Type: Article

References (60)

1. M. Aben, Y. Shahar and M.A. Musen, Temporal abstraction mechanisms as KADS inferences, in: B.R. Gaines and M.A. Musen, eds., Proceedings of the Eighth Banff Knowledge-Acquisition for Knowledge-Based Systems Workshop Vol. 2, SRDG Publications, Department of Computer Science, University of Calgary (1994) 28-1-28-22.
2. J.F. Allen, Towards a general theory of action and time, Artif. Intell. 23 (1984) 123-154.
3. R.L. Blum, Discovery and representation of causal relationships from a large time-oriented clinical database: the RX project, in: D.A. Lindberg and P.L. Reichartz, eds., Lecture Notes in Medical Informatics 19 (Springer, New York, 1982).
4. B. Chandrasekaran, Towards a taxonomy of problem-solving types, AI Magazine 4 (1) (1983) 9-17.
5. B. Chandrasekaran, Generic tasks in knowledge-based reasoning: high-level building blocks for expert system design, IEEE Expert 1 (3) (1986) 23-30.
6. B. Chandrasekaran, Design problem solving: a task analysis, AI Magazine 11 (4) (1990) 59-71.
7. B. Chandrasekaran and S. Mittal, Deep versus compiled approaches to diagnostic problem solving, Int. J. Man-Mach. Stud. 19 (1983) 425-436.
8. W.J. Clancey, Heuristic classification, Artif. Intell. 27 (1985) 289-350.
9. S.B. Cousins and M.G. Kahn, The visual display of temporal information, Artif. Intell. Med. 3 (1991) 341-357.
10. A.K. Das and M.A. Musen, A temporal query system for protocol-directed decision support, Meth. Inform. Med. 33 (1994) 358-370.
11. A.K. Das, Y. Shahar, S.W. Tu and M.A. Musen, A temporal-abstraction mediator for protocol-based decision support, in: Proceedings of the Eighteenth Annual Symposium on Computer Applications in Medical Care, Washington, DC (1994) 320-324.
12. T. Dean and K. Kanazawa, Probabilistic temporal reasoning, in: Proceedings AAAI-88, Minneapolis, MN (1988) 524-528.
13. I.M. De Zegher-Geets, IDEFIX: intelligent summarization of a time-oriented medical database, M.S. Dissertation, Program in Medical Information Sciences, Stanford University School of Medicine, Stanford, CA (1987); also: Knowledge Systems Laboratory Tech. Rept. KSL-88-34, Department of Computer Science, Stanford University, Stanford, CA (1988).
14. S.M. Downs, M.G. Walker and R.L. Blum, Automated summarization of on-line medical records, in: R. Salamon, B. Blum and M. Jorgensen, eds., MEDINFO '86: Proceedings of the Fifth Conference on Medical Informatics (North-Holland, Amsterdam, 1986) 800-804.
15. H. Eriksson, Y. Shahar, S.W. Tu, A.R. Puerta and M.A. Musen, Task modeling with reusable problem-solving methods, Artif. Intell. 79 (1995) 293-326.
16. L. Eshelman, MOLE: a knowledge-acquisition tool for cover-and-differentiate systems, in: S. Marcus, ed., Automating Knowledge-Acquisition for Expert Systems (Kluwer Academic Publishers, Boston, MA, 1988).
17. L.M. Fagan, VM: representing time dependent relations in a medical setting, Ph.D. dissertation. Department of Computer Science, Stanford University, Stanford, CA (1980).
18. K.D. Forbus, Qualitative process theory, Artif. Intell. 24 (1984) 85-168.
19. C. Forgy, RETE: a fast algorithm for the many pattern/many object pattern-match problem, Artif. Intell. 19 (1982) 17-38.
20. J.H. Gennari, S.W. Tu, T.E. Rothenfluh and M.A. Musen, Mapping domains to methods in support of reuse, Int. J. Human-Comput. Stud. 41 (1994) 399-424.
21. J. Giarratano and G. Riley, Expert Systems: Principles and Programming (PWS Publishing Company, Boston, MA, 1994).
22. I.J. Haimowitz and I.S. Kohane, Automated trend detection with alternate temporal hypotheses, in: Proceedings IJCAI-93, Chambery (1993) 146-151.
23. B. Hayes-Roth, R. Washington, D. Ash, R. Hewett, A. Collinot, A. Vina and A. Seiver, Guardian: a prototype intelligent agent for intensive-care monitoring, Artif. Intell. Med. 4 (1992) 165-185.
24. G.E. Hughes and M.J. Cresswell, An Introduction to Modal Logic (Methuen, London, 1968).
25. M.G. Kahn, Combining physiologic models and symbolic methods to interpret time-varying patient data, Meth. Inform. Med. 30 (1991) 167-178.
26. K. Kahn and G.A. Gorry, Mechanizing temporal knowledge, Artif. Intell. 9 (1977) 87-108.
27. I.S. Kohane, Temporal reasoning in medical expert systems, Tech. Rept. 389, Laboratory of Computer Science, Massachusetts Institute of Technology, Cambridge, MA (1987).
28. M.M. Kuilboer, Y. Shahar, D.M. Wilson and M.A. Musen, Knowledge reuse: temporal-abstraction mechanisms for the assessment of children's growth, in: C. Safran, ed., Proceedings of the Seventeenth Annual Symposium on Computer Applications in Medical Care (McGraw-Hill, New York, 1993) 449-453.
29. P. Ladkin, Time representation: a taxonomy of interval relations, in: Proceedings AAAI-86, Philadelphia, PA (1986) 360-366.
30. C. Larizza, A. Moglia and M. Stefanelli, M-HTP: a system for monitoring heart-transplant patients, Artif. Intell. Med. 4 (1992) 111-126.
31. W.J. Long and T.A. Russ. A control structure for time dependent reasoning, in: Proceedings IJCAI-83, Karlsruhe, Germany (1983) 230-232.
32. S. Marcus, SALT: a knowledge-acquisition tool for propose-and-revise systems, in: S. Marcus, ed., Automating Knowledge Acquisition for Expert Systems ( Kluwer Academic Publishers, Boston, MA, 1988).
33. J. McCarthy, Applications of circumscription to formalizing commonsense knowledge, Artif. Intell. 28 (1986) 89-116.
34. J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, 1969) 463-502; also in: B.L. Webber and N.J. Nilsson, eds., Readings in Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1981).
35. J. McCarthy and P. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in: B. Meltzer and D. Michie, eds., Machine Intelligence 4 (Edinburgh University Press, Edinburgh, 1969) 463-502; also in: B.L. Webber and N.J. Nilsson, eds., Readings in Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1981).
36. D.V. McDermott, A temporal logic for reasoning about processes and plans, Cognit. Sci. 6 (1982) 101-155.
37. J. McDermott, Preliminary steps toward a taxonomy of problem-solving methods, in: S. Marcus, ed., Automating Knowledge Acquisition for Expert Systems (Kluwer Academic Publishers, Boston, MA, 1988).
38. M.A. Musen, Dimensions of knowledge sharing and reuse, Comput. Biomed. Res. 25 (1992) 435-467.
39. P.L. Miller, Expert Critiquing Systems: Practice-Based Medical Consultation by Computer (Springer-Verlag, New York, 1986).
40. M.A. Musen, J.H. Gennari, H. Eriksson, S.W. Tu and A.R. Puerta, PROTÉGÉ-II: computer support for development of intelligent systems from libraries of components, in: MEDINFO '95: Proceedings Eighth World Congress on Medical Informatics, Vancouver, BC (1995) 766-760.
41. A. Newell, The knowledge level, Artif. Intell. 18 (1982) 87-127.
42. A.R. Puerta, J.W. Egar, S.W. Tu and M.A. Musen, A multiple method knowledge acquisition shell for the automatic generation of knowledge acquisition tools, Knowledge Acquisition 4 (1992) 171-196.
43. T.A. Russ, Using hindsight in medical decision making, in: L.C. Kingsland, ed., Proceedings of the Thirteenth Annual Symposium on Computer Applications in Medical Care (IEEE Computing Society Press, Washington, 1989) 38-44.
44. Y. Shahar, A knowledge-based method for temporal abstraction of clinical data, Ph.D. Dissertation, Program in Medical Information Sciences, Stanford University School of Medicine, Stanford, CA (1994); also: Knowledge Systems Laboratory Report No. KSL-94-64 (1994); also: Department of Computer Science Report No. STAN-CS-TR-94-1529, Stanford University, Stanford, CA (1994). URL: http://elib.stanford.edu:80/TR/STAN:CS-TR-94-1529?abstract=
45. Y. Shahar, A knowledge-based method for temporal abstraction of clinical data, Ph.D. Dissertation, Program in Medical Information Sciences, Stanford University School of Medicine, Stanford, CA (1994); also: Knowledge Systems Laboratory Report No. KSL-94-64 (1994); also: Department of Computer Science Report No. STAN-CS-TR-94-1529, Stanford University, Stanford, CA (1994). URL: http://elib.stanford.edu:80/TR/STAN:CS-TR-94-1529?abstract=
46. Y. Shahar, S. Miksch and P.D. Johnson, An intention-based language for sharing clinical guidelines, in: Proceedings of the 1996 AMIA Annual Fall Symposium (formerly the Symposium on Computer Applications in Medical Care) (Hanley and Belfus, Philadelphia, PA, 1996) 592-596.
47. Y. Shahar and M. Molina, Knowledge-based spatiotemporal abstraction, in: Proceedings AAAI-96 Workshop on Spatial and Temporal Reasoning, Portland, OR (1996) 21-29.
48. Y. Shahar and M.A. Musen, RÉSUMÉ: a temporal-abstraction system for patient monitoring, Comput. Biomed. Res. 26 (1993) 255-273; reprinted in: J.H. van Bemmel and T. McRay, eds., Yearbook of Medical Informatics 1994 (F.K. Schattauer and the International Medical Informatics Association, Stuttgart, 1994) 443-461.
49. Y. Shahar and M.A. Musen, RÉSUMÉ: a temporal-abstraction system for patient monitoring, Comput. Biomed. Res. 26 (1993) 255-273; reprinted in: J.H. van Bemmel and T. McRay, eds., Yearbook of Medical Informatics 1994 (F.K. Schattauer and the International Medical Informatics Association, Stuttgart, 1994) 443-461.
50. Y. Shahar and M.A. Musen, Plan recognition and revision in support of guideline-based care, in: Proceedings AAAI Symposium on Representing Mental States and Mechanisms, Stanford, CA (1995) 118-126.
51. Y. Shahar and M.A. Musen, Knowledge-based temporal abstraction in clinical domains, Artif. Intell. Med. 8 (3) (1996) 267-298.
52. Y. Shahar and G. Purcell, The context-sensitive pattern-matching task, in: Proceedings IJCAI-95, Montreal, Que. (1995) 133-143.
53. Y. Shahar, S.W. Tu and M.A. Musen, Knowledge acquisition for temporal-abstraction mechanisms, Knowledge Acquisition 4 (1992) 217-236.
54. Y. Shoham, Temporal logics in AI: semantical and ontological considerations, Artif. Intell. 33 (1987) 89-104.
55. R. Snodgrass and I. Ahn, Temporal databases, IEEE Comput. 19 (9) (1986) 35-42.
56. L. Steels, Components of expertise, AI Magazine 29 (2) (1990) 28-49.
57. A. Stein, M.A. Musen and Y. Shahar, A knowledge-acquisition tool for temporal abstraction, in: Proceedings of the 1996 AMIA Annual Fall Symposium (formerly the Symposium on Computer Applications in Medical Care) (Hanley and Belfus, Philadelphia, PA, 1996) 204-208.
58. S.W. Tu, H. Eriksson, J.G. Gennari, Y. Shahar and M.A. Musen, Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: application of PROTÉGÉ-II to protocol-based decision support, Artif. Intell. Med. 7 (1995) 257-289.
59. B. Wielinga, A.T. Schreiber and J. Breuker, KADS: a modeling approach to knowledge engineering, Knowledge Acquisition 4 (1992) 5-53.
60. B.C. Williams, MINIMA: a symbolic approach to qualitative algebraic reasoning, in: Proceedings AAAI-88, St. Paul. MN (1988) 94-99.