Graph Theoretic Perspectives on Reasoning about Time

演讲人: Prof. Martin Charles Golumbic University of Haifa, Israel
时间: 2015-04-16 14:00-2015-04-16 15:00
地点:FIT 1-312

Reasoning and acting within the time constraints of the real world are among the most fundamental notions of intelligence. Understanding the nature and structure of such constraints can help to find a satisfying solution or find a relaxation when no solution can be found. Given certain explicit temporal relationships between events, we may have the ability to infer additional relationships which are implicit in those given. For example, the transitivity of “before” and “contains” may allow inferring information regarding the sequence of events. Such inferences are essential in story understanding, planning and causal reasoning.
Temporal information may be qualitative where events are represented by abstract time points and time intervals, and we process and deduce relationships between them, such as pairs intersecting each other, one preceding, following or containing another, etc. Other information may be quantitative where durations can be measured, precise time stamps may be available, or numerical methods can be applied to understand a specific time line of events. We will explore a variety of these topics with an emphasis on graph theoretic models and algorithms.


Martin Charles Golumbic is Professor of Computer Science and Director of the Caesarea Edmond Benjamin de Rothschild Institute for Interdisciplinary Applications of Computer Science at the University of Haifa. He is the founding Editor-in-Chief of the journal “Annals of Mathematics and Artificial Intelligence” and is or has been a member of the editorial boards of several other journals including “Discrete Applied Mathematics”, “Constraints” and “AI Communications”. His current area of research is in combinatorial mathematics interacting with real world problems in computer science and artificial intelligence. 

Professor Golumbic received his Ph.D. in mathematics from Columbia University in 1975 under the direction of Samuel Eilenberg. He has held positions at the Courant Institute of Mathematical Sciences of New York University, Bell Telephone Laboratories, the IBM Israel Scientific Center and Bar-Ilan University. He has also had visiting appointments at the Université de Paris, the Weizmann Institute of Science, Ecole Polytechnique Fédérale de Lausanne, Universidade Federal do Rio de Janeiro, Rutgers University, Columbia University, Hebrew University and Tsinghua University.

He is the author of the book  “Algorithmic Graph Theory and Perfect Graphs”, coauthor of a second book “Tolerance Graphs” and has written many research articles in the areas of combinatorial mathematics, algorithmic analysis, expert systems, artificial intelligence, and programming languages. He has been a guest editor of special issues of several journals, the editor of the books “Advances in Artificial Intelligence, Natural Language and Knowledge-based Systems”, and “Graph Theory, Combinatorics and Algorithms: Interdisciplinary Applications”. His most recent book is “Fighting Terror Online: The Convergence of Security, Technology, and the Law”, published by Springer-Verlag.

Prof. Golumbic and was elected as Foundation Fellow of the Institute of Combinatorics and its Applications in 1995, and has been a Fellow of the European Artificial Intelligence society ECCAI since 2005.  He is a member of the Academia Europaea, honoris causa -- elected 2013. Martin Golumbic has been the chairman of over fifty national and international symposia. He a member of the Phi Beta Kappa, Pi Mu Epsilon, Phi Kappa Phi, Phi Eta Sigma honor societies and is married and the father of four bilingual, married daughters and has four granddaughters and five grandsons.