Applying Allen's constraint propagation algorithm for non-linear time
Journal of Logic, Language and Information 5 (2) (1996)
| Abstract | The famous Allen's interval relations constraint propagation algorithm was intended for linear time. Its 13 primitive relations define all the possible mutual locations of two intervals on the time-axis. In this paper an application of the algorithm for non-linear time is suggested. First, a new primitive relation is added. It is called excludes since an occurrence of one event in a certain course of events excludes an occurrence of the other event in this course. Next, new composition rules for relations between intervals are presented: some of the old rules are extended by the relation excludes, and entirely new ones are formulated for composing the relation excludes with the other relations. Four different composition tables are considered. The choice of a composition table depends on whether time is branching or not, and whether intervals can contain non-collinear subintervals or not. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesMisao Nagayama & Mitsuhiro Okada (2001). A New Correctness Criterion for the Proof Nets of Non-Commutative Multiplicative Linear Logics. Journal of Symbolic Logic 66 (4):1524-1542.
Márta Somogyvári (2009). Time and Responsibility. World Futures 65 (5):342-355.
ElŻbieta Hajnicz (1999). Some Considerations on Branching Areas of Time. Journal of Logic, Language and Information 8 (1):17-43.
Sylvain Degeilh & Anne Preller (2005). Efficiency of Pregroups and the French Noun Phrase. Journal of Logic, Language and Information 14 (4).
Anne Preller (2007). Linear Processing with Pregroups. Studia Logica 87 (2-3):171 - 197.
David Vander Laan (2010). A Relevance Constraint on Composition. Australasian Journal of Philosophy 88 (1):135 – 145.
Elżbieta Hajnicz (1995). Some Considerations on Non-Linear Time Intervals. Journal of Logic, Language and Information 4 (4):335-357.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
