Deduction Algorithms for Some Extensions of Allen’s Interval Logic

2017 ◽  
Vol 44 (5) ◽  
pp. 345-356
Author(s):  
G. S. Plesniewicz ◽  
Nguyen Thi Minh Vu
Keyword(s):  
Author(s):  
Luca Aceto ◽  
Dario Della Monica ◽  
Anna Ingólfsdóttir ◽  
Angelo Montanari ◽  
Guido Sciavicco
Keyword(s):  

Author(s):  
G. Jayanthi ◽  
V. Uma

Geographic features in the real world are represented by spatial entities such as point, line, and area in two-dimensional surfaces. These features tend to evolve in time, thereby characterizing change in their physical identity, evolution into new species, thus describing geomorphological change of geographic features. These phenomena can be formalized using spatio-temporal relations. Formal representation of changing geographic (spatial) features is the interest of this chapter. Formal methods for representing the event and process that causes geomorphological change are presented. The formalization of geographic entities that are temporally and spatially related in a two-dimensional plane using the interval logic and spatial logic would facilitate the understanding of how modeling of space-time using spatio-temporal relations represents spatial evolution over time. Representation of temporal dynamism can be accomplished using various models. Modeling using spatio-temporal graph is more apt as it contributes to the cause-effect analysis.


1994 ◽  
Vol 3 (2) ◽  
pp. 131-165 ◽  
Author(s):  
L. K. Dillon ◽  
G. Kutty ◽  
L. E. Moser ◽  
P. M. Melliar-Smith ◽  
Y. S. Ramakrishna

1991 ◽  
Vol 01 (03) ◽  
pp. 303-326
Author(s):  
PETER P.K. CHIU ◽  
Y.S. CHEUNG

A new methodology for the specification of process control systems involving time interval information and verification of their design is proposed. The specification is based on interval logic and a time-interval operator is defined. By means of this operator, time interval information is incorporated in the specification. Thus properties that involve time intervals can be verified. Moreover, combinational and sequential processes can be specified. An application example for a process control system is demonstrated.


Sign in / Sign up

Export Citation Format

Share Document