DIAGRAMMATIC REPRESENTATION FOR A SPACE OF INTERVALS

The paper presents a two-dimensional graphical representation for the space of intervals and interval relations. It consists of the representation of the space of all intervals (the IS-diagram), and two diagrammatic representations of the space of relations between intervals: the W-diagram (based on the IS-diagram), and lattice diagram (for the neighbourhood lattice of the set of basic relations). Also, a set of new graphical symbols for the interval relations is proposed. Examples of application of the proposed representations to represent knowledge about interval algebra and certain interval problems are given, to illustrate the possibilities and advantages of the proposed representation.

[1]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[2]  Ernest Gardeñes,et al.  SIGLA-PL/1 DEVELOPMENT AND APPLICATIONS , 1980 .

[3]  Jean-François Rit,et al.  Propagating Temporal Constraints for Scheduling , 1986, AAAI.

[4]  Fei Song,et al.  The Interpretation of Temporal Relations in Narrative , 1988, AAAI.

[5]  Benjamin Kuipers,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..

[6]  Henry A. Kautz,et al.  Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .

[7]  Amitabha Mukerjee,et al.  A Qualitative Model for Space , 1990, AAAI.

[8]  Peter van Beek,et al.  Exact and approximate reasoning about temporal relations 1 , 1990, Comput. Intell..

[9]  A. Neumaier.  Interval methods for systems of equations , 1990 .

[10]  H. Ratschek,et al.  Interval tools for global optimization , 1991 .

[11]  Klaus Nökel.  Temporally Distributed Symptoms in Technical Diagnosis , 1991, Lecture Notes in Computer Science.

[12]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

[13]  Claudio Bettini,et al.  A Formalization of Interval-Based Temporal Subsumption in First Order Logic , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[14]  John R. Lee,et al.  Visual Reasoning: its Formal Semantics and Applications , 1993, J. Vis. Lang. Comput..

[15]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[16]  Gérard Ligozat.  Towards a general characterization of conceptual neighborhoods in temporal and spatial reasoning , 1994 .

[17]  Zenon Kulpa,et al.  DIAGRAMMATIC REPRESENTATION AND REASONING , 1994 .

[18]  Eric Hammer,et al.  Logic and Visual Information , 1995 .

[19]  Jon Barwise,et al.  Logical reasoning with diagrams , 1996 .

[20]  Zenon Kulpa.  Diagrammatic Representation of Interval Space in Proving Theorems about Interval Relations , 1997, Reliab. Comput..