States, Transitions, and Life Tracks in Temporal Concept Analysis

Based on Formal Concept Analysis, we introduce Temporal Concept Analysis as a temporal conceptual granularity theory for movements of general objects in abstract or “real” space and time such that the notions of states, situations, transitions and life tracks of objects in conceptual time systems are defined mathematically. The life track lemma is a first approach to granularity reasoning. Applications of Temporal Concept Analysis in medicine and in chemical industry are demonstrated as well as recent developments of computer programs for graphical representations of temporal systems. Basic relations between Temporal Concept Analysis and other temporal theories, namely theoretical physics, mathematical system theory, automata theory, and temporal logic are discussed.

[1]  Hans-Hermann Bock,et al.  Classification, Data Analysis, and Knowledge Organization , 1991 .

[2]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[3]  Roger Penrose,et al.  THE NATURE OF SPACE AND TIME , 1994 .

[4]  Karl von Meyenn.  Über das Relativitätsprinzip und die aus demselben gezogenen Folgerungen , 1990 .

[5]  Albert Einstein,et al.  The collected papers of Albert Einstein , 1987 .

[6]  Daniel M. Dubois,et al.  Computing Anticipatory Systems , 1998 .

[7]  Emil L. Post.  Finite combinatory processes—formulation , 1936, Journal of Symbolic Logic.

[8]  Karl Erich Wolff.  Interpretation of Automata in Temporal Concept Analysis , 2002, ICCS.

[9]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[10]  Dov M. Gabbay,et al.  Temporal logic (vol. 1): mathematical foundations and computational aspects , 1994 .

[11]  R. Wille.  Dyadic Mathematics — Abstractions from Logical Thought , 2004 .

[12]  R. P. Dilworth.  Review: G. Birkhoff, Lattice theory , 1950 .

[13]  Karl Erich Wolff,et al.  Turing Machine Representation in Temporal Concept Analysis , 2005, ICFCA.

[14]  Karl Erich Wolff,et al.  Time Dimension, Objects, and Life Tracks. A Conceptual Analysis , 2003, ICCS.

[15]  Harry S. Delugach,et al.  Conceptual Structures at Work , 2004, Lecture Notes in Computer Science.

[16]  Yi Lin.  General Systems Theory: A Mathematical Approach , 1999 .

[17]  Peter Becker.  Multi-dimensional Representations of Conceptual Hierarchies , 2001 .

[18]  Yasuhiko Takahara,et al.  General Systems Theory: Mathematical Foundations , 1975 .

[19]  Lotfi A. Zadeh,et al.  The Concepts of a Linguistic Variable and its Application to Approximate Reasoning , 1975 .

[20]  Michael A. Arbib,et al.  Topics in Mathematical System Theory , 1969 .

[21]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (Vol. 4): epistemic and temporal reasoning , 1995 .

[22]  Ludwig von Bertalanffy,et al.  General System Theory , 1969 .

[23]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[24]  K. Wolff.  Temporal Concept Analysis , 2001 .

[25]  A. Einstein.  Zur Elektrodynamik bewegter Körper , 1905 .

[26]  Galia Angelova,et al.  Conceptual Structures: Integration and Interfaces , 2002, Lecture Notes in Computer Science.

[27]  Jeremy Butterfield.  The arguments of time , 2006 .

[28]  Dov M. Gabbay,et al.  Epistemic and temporal reasoning , 1995 .

[29]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[30]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

[31]  Bernhard Ganter,et al.  Conceptual Structures for Knowledge Creation and Communication , 2003, Lecture Notes in Computer Science.

[32]  Christopher Isham,et al.  Time: Time and Modern Physics , 2002 .

[33]  Karl Erich Wolff,et al.  A First Course in Formal Concept Analysis How to Understand Line Diagrams , 2003 .

[34]  F. Faulbaum.  SoftStat '93: Advances in Statistical Software 4. , 1995 .

[35]  Klaus Denecke,et al.  Galois connections and applications , 2004 .

[36]  A. Einstein.  The Collected Papers of Albert Einstein, Volume 2: The Swiss Years: Writings, 1900-1909 , 1989 .

[37]  Artur Buchenau.  Kritik der reinen Vernunft , 1928 .

[38]  Karl Erich Wolff,et al.  'Particles' and 'Waves' as Understood by Temporal Concept Analysis , 2004, ICCS.

[39]  Karl Erich Wolff,et al.  Comparison of Biplot Analysis and Formal Concept Analysis in the case of a Repertory Grid , 1991 .

[40]  Fred S. Roberts,et al.  Applications of combinatorics and graph theory to the biological and social sciences , 1989 .

[41]  John F. Sowa,et al.  Conceptual Structures: Fulfilling Peirce's Dream , 1997, Lecture Notes in Computer Science.

[42]  Jaap Van Brakel,et al.  Foundations of measurement , 1983 .

[43]  J. van Benthem,et al.  Temporal logic , 1995 .

[44]  J. Butterfield,et al.  On the Emergence of Time in Quantum Gravity , 1999 .

[45]  Rudolf Wille,et al.  Introduction to formal concept analysis , 1996 .

[46]  Jacques Janssen.  Applied stochastic models and data analysis. Special Issue on Finance , 1992 .

[47]  S. Hawking.  A Brief History of Time: From the Big Bang to Black Holes , 1988 .

[48]  Hartmut von Hentig.  Magier oder Magister? : über die Einheit der Wissenschaft im Verständigungsprozeß , 1972 .

[49]  Sadaaki Miyamoto,et al.  Rough Sets and Current Trends in Computing , 2012, Lecture Notes in Computer Science.

[50]  Rudolf Wille,et al.  Conceptual Graphs and Formal Concept Analysis , 1997, ICCS.

[51]  Edgard Elbaz.  Particles and Waves , 1998 .

[52]  Elena Castellani.  Interpreting bodies : classical and quantum objects in modern physics , 1998 .

[53]  Karl Erich Wolff,et al.  Concepts in Fuzzy Scaling Theory: order and granularity , 2002, Fuzzy Sets Syst..

[54]  Immanuel Kant.  Kritik Der Reinen Vernunft , 2004 .

[55]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[56]  A. Tversky,et al.  Foundations of Measurement, Vol. III: Representation, Axiomatization, and Invariance , 1990 .

[57]  Janusz Zalewski,et al.  Rough sets: Theoretical aspects of reasoning about data , 1996 .

[58]  Karl Erich Wolff,et al.  A Conceptual View of Knowledge Bases in Rough Set Theory , 2000, Rough Sets and Current Trends in Computing.

[59]  Aristotle.  The Complete Works Of Aristotle , 1954 .

[60]  Werner Krabs,et al.  Dynamische Systeme: Steuerbarkeit und chaotisches Verhalten , 1998 .

[61]  Karl Erich Wolff.  Concepts, states, and systems , 2001 .

[62]  Varadaraja V. Raman.  The Collected Papers of Albert Einstein. Vol. 2. The Swiss Years: Writings, 1900−1909 , 1990 .

[63]  S. Wendt.  The Concept of "State" in System Theory , 1998 .