Dynamic temporal interpretation contexts for temporal abstraction

Temporal abstraction is the task of abstracting higher‐level concepts from time‐stamped data in a context‐sensitive manner. We have developed and implemented a formal knowledge‐based framework for decomposing and solving that task that supports acquisition, maintenance, reuse, and sharing of temporal‐abstraction knowledge. We present the logical model underlying the representation and runtime formation of interpretation contexts. Interpretation contexts are relevant for abstraction of time‐oriented data and are induced by input data, concluded abstractions, external events, goals of the temporal‐abstraction process, and certain combinations of interpretation contexts. Knowledge about interpretation contexts is represented as a context ontology and as a dynamic induction relation over interpretation contexts and other proposition types. Induced interpretation contexts are either basic, composite, generalized, or nonconvex. We provide two examples of applying our model using an implemented system; one in the domain of clinical medicine (monitoring of diabetes patients) and one in the domain of traffic engineering (evaluation of traffic‐control actions). We discuss several distinct advantages to the explicit separation of interpretation‐context propositions from the propositions inducing them and from the abstractions created within them.

[1]  Lawrence M. Fagan.  VM, representing time-dependent relations in a medical setting , 1980 .

[2]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[3]  Lawrence M. Fagan,et al.  Extensions to the rule-based formalism for a monitoring task , 1984 .

[4]  Edward H. Shortliffe,et al.  Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project (The Addison-Wesley series in artificial intelligence) , 1984 .

[5]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..

[6]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[7]  Peter B. Ladkin,et al.  Time Representation: A Taxonomy of Internal Relations , 1986, AAAI.

[8]  Yoav Shoham,et al.  Temporal Logics in AI: Semantical and Ontological Considerations , 1987, Artif. Intell..

[9]  Sourmitra Dutta,et al.  Temporal reasoning in medical expert systems , 1988, Proceedings of the Symposium on the Engineering of Computer-Based Medical.

[10]  T. Russ,et al.  Using hindsight in medical decision making. , 1989, Computer methods and programs in biomedicine.

[11]  Lawrence M. Fagan,et al.  Combining Physiologic Models and Symbolic Methods to Interpret Time-Varying Patient Data* , 1991, Methods of Information in Medicine.

[12]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[13]  Yuval Shahar,et al.  Knowledge acquisition for temporal-abstraction mechanisms , 1992 .

[14]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[15]  M A Musen,et al.  Knowledge reuse: temporal-abstraction mechanisms for the assessment of children's growth. , 1993, Proceedings. Symposium on Computer Applications in Medical Care.

[16]  Ira J. Haimowitz,et al.  Automated Trend Detection with Alternate Temporal Hypotheses , 1993, IJCAI.

[17]  M A Musen,et al.  RESUME: a temporal-abstraction system for patient monitoring. , 1993, Computers and biomedical research, an international journal.

[18]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[19]  Yuval Shahar,et al.  Task Modeling with Reusable Problem-Solving Methods , 1995, Artif. Intell..

[20]  Yuval Shahar,et al.  A knowledge-based method for temporal abstraction of clinical data , 1995 .

[21]  Ian A. Mason,et al.  Metamathematics of Contexts , 1995, Fundam. Informaticae.

[22]  Yuval Shahar,et al.  Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: application of PROTEGE-II to protocol-based decision support , 1995, Artif. Intell. Medicine.

[23]  Yuval Shahar,et al.  The context-sensitive pattern-matching task , 1995 .

[24]  Yuval Shahar,et al.  Knowledge-based temporal abstraction in clinical domains , 1996, Artif. Intell. Medicine.

[25]  Sasa Buvac.  Quantificational Logic of Context , 1996, AAAI/IAAI, Vol. 1.

[26]  Yuval Shahar,et al.  Synthesis of Research: EON: A Component-Based Approach to Automation of Protocol-Directed Therapy , 1996, J. Am. Medical Informatics Assoc..

[27]  M A Musen,et al.  Knowledge acquisition for temporal abstraction. , 1996, Proceedings : a conference of the American Medical Informatics Association. AMIA Fall Symposium.

[28]  Yuval Shahar,et al.  Knowledge-Based Spatiotemporal Abstraction , 1996 .

[29]  Yuval Shahar,et al.  A Framework for Knowledge-Based Temporal Abstraction , 1997, Artif. Intell..