1 / 51

Temporal Concept Logic Objects, States, and Systems

Temporal Concept Logic Objects, States, and Systems. Karl Erich Wolff University of Applied Sciences Darmstadt Ernst Schröder Center for Conceptual Knowledge Processing Research Group Concept Analysis at Darmstadt University of Technology. Old Unsolved Problems in Temporal Logic.

lynne
Download Presentation

Temporal Concept Logic Objects, States, and Systems

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Temporal Concept LogicObjects, States, and Systems Karl Erich Wolff University of Applied Sciences Darmstadt Ernst Schröder Center for Conceptual Knowledge Processing Research Group Concept Analysis at Darmstadt University of Technology

  2. Old Unsolved Problems in Temporal Logic • Aristotle asked (Vol. 6, book III – VI): • What is the meaning of ... • movement, change • continuum, infinity • place, empty place • solid body, object • time, point of time • (state) ? Aristotle

  3. Famous Space-Time Scientists • Zenon of Elea 495 – 430 • Aristotle 384 – 322 • Galileo Galilei 1564 – 1642 • Isaac Newton 1643 – 1727 • Immanuel Kant 1724 – 1804 • Jules Henri Poincaré 1854 – 1912 • Max Planck 1858 – 1947 • Albert Einstein 1879 – 1955 • Werner Heisenberg 1901 – 1976

  4. Recent Approaches in Temporal Logic • Arthur Norman Prior: Tense Logic (1957) • P "It has at some time been the case that … , • F "It will at some time be the case that … , • H "It has always been the case that … , • G "It will always be the case that ... .“ • Hans Kamp (Linguistics, Stuttgart University) • Spq "q has been true since a time when p was true" • Upq "q will be true until a time when p is true" • Johan van Benthem (ILLC Amsterdam, CSLI Stanford) • The Logic of Time (1983) • Logic and the Flow of Information (1991)

  5. Precision and Granularity Aristotle (Physics, book VI, 239a, 23): During the time when a system is moving, not only moving in some of its parts, it is impossible that the moving system is precisely at a certain place. We need a theoretical treatment of granularity!

  6. Einstein’s Granularity Remark Albert Einstein: „Zur Elektrodynamik bewegter Körper“ Annalen der Physik 17 (1905): 891-921 Footnote on page 893: „Die Ungenauigkeit, welche in dem Begriff der Gleichzeitigkeit zweier Ereignisse an (annähernd) demselben Orte steckt und gleichfalls durch eine Abstraktion überbrückt werden muß, soll hier nicht erörtert werden.“

  7. Partial Solutions in Modern Time Theories • Automata Theory: States, Transitions • generalized by • Labeled Transition Systems with Attributes: • No explicit time representation • Petri Nets: States, Transitions, Token, Time • States and Transitions are • not related to Time • Mathematical System Theory • What is a state? (Zadeh 1964) • What is a system? (Lin 1999)

  8. What do we mean by a State of a System? • Something which is stable for a moment? • Stable:Constant as to some granularity • Moment(instant, point of time):A time object described in some context • For each moment the system should be in exactly one state!

  9. Conceptual Time Systems • Description of ... • Temporal systems as scaled many-valued contexts • Instants as formal objects (time granules) • Granularity by Conceptual Scales • Then • States are defined as object concepts

  10. Example: Air Conditioning Plant At any hour: Temperatures: Outdoor Room 3 Room 2 Hot Water In the following: Only for 3 days

  11. Temperatures during the first three days

  12. What is a state of this system? The same state in three situations!

  13. Situations: state-time pairsfor the outdoor temperatureand the hours (not the days)

  14. A movie in situation space: Outdoor Temperature First Day

  15. A movie in situation space: Outdoor Temperature First Day

  16. A movie in situation space: Outdoor Temperature First Day

  17. A movie in situation space: Outdoor Temperature First Day

  18. A movie in situation space: Outdoor Temperature First Day

  19. A movie in situation space: Outdoor Temperature First Day

  20. A movie in situation space: Outdoor Temperature First Day

  21. A movie in situation space: Outdoor Temperature Second Day

  22. A movie in situation space: Outdoor Temperature Second Day

  23. A movie in situation space: Outdoor Temperature Second Day

  24. A movie in situation space: Outdoor Temperature Second Day

  25. A movie in situation space: Outdoor Temperature Second Day

  26. A movie in situation space: Outdoor Temperature Second Day

  27. A movie in situation space: Outdoor Temperature Second Day

  28. A movie in situation space: Outdoor Temperature Second Day

  29. A movie in situation space: Outdoor Temperature Second Day

  30. A movie in situation space: Outdoor Temperature Second Day

  31. A movie in situation space: Outdoor Temperature Second Day

  32. A movie in situation space: Outdoor Temperature Second Day

  33. A movie in situation space: Outdoor Temperature Second Day

  34. A movie in situation space: Outdoor Temperature Second Day

  35. A movie in situation space: Outdoor Temperature Third Day

  36. A movie in situation space: Outdoor Temperature Third Day

  37. A movie in situation space: Outdoor Temperature Third Day

  38. A movie in situation space: Outdoor Temperature Third Day

  39. A movie in situation space: Outdoor Temperature Third Day

  40. A movie in situation space: Outdoor Temperature Third Day

  41. A movie in situation space: Outdoor Temperature Third Day

  42. A movie in situation space: Outdoor Temperature Third Day

  43. A movie in situation space: Outdoor Temperature Third Day

  44. A movie in situation space: Outdoor Temperature Third Day

  45. A movie in situation space: Outdoor Temperature Third Day

  46. What is a transition? In Temporal Concept Logic: For the definition of states we do not need an ordering on the set G time objects. For introducing transitions we use a time relation Ron G. A basic R-transition is defined as an element (g,h) of R. For f: G X the induced transition on X is defined as ( (g,h), f(g), f(h) ). Example: Transitions in the state space or in the situation space.

  47. Life tracks and objects birth cooperation One object at the same point of time in two different situations? ? copy

  48. Objects as subsystems Each object is in each moment g in exactly one situation. forbidden

  49. The state space of a family (in the language of the therapeut)

  50. Transitions in Automata In Automata Theory: A transition is a labeled pair of states. The order of time is represented only by the names „initial states“ and „terminal states“. Automata and even the more general structure of Labeled Transitions Systems with Attributes (LTSA) can be represented by conceptual time systems (with actual objects and a time relation) such that the automaton-transitions are represented by conceptual transitions. (Map Reconstruction Theorem)

More Related