INDU: An Interval and Duration Network
作者： AK Pujari , GV Kumari , A Sattar , None
DOI:
关键词: Interval algebra 、 Discrete mathematics 、 Algorithm 、 Lattice (order) 、 Mathematics 、 Global consistency 、 Regular polygon
摘要: The significance of representing duration information along with the qualitative time intervals is well argued in literature. A new framework INVU (INterval and DUration) network consisting 25 basic relations, proposed here. INDU cam handle interval one single structure. It inherits many interesting properties Allen's Interval Algebra (of 13 relations) but it also exhibits severed additional features. We present several representations (ORD-clause, Geometric Lattice) chatracterise its tractable subclasses such as Convex Pre-convex classes. important contribution current study to show that for (Convex Pre-convex) 4-consistency necessary guarantee global consistency INDU-network.
参考文章(12)
Gérard Ligozat, A new proof of tractability for 0RD-horn relations national conference on artificial intelligence. pp. 395- 401 ,(1996)
Manolis Koubarakis, Dense time and temporal constraints with principles of knowledge representation and reasoning. pp. 24- 35 ,(1992)
Henry Kautz, Marc Vilain, Constraint propagation algorithms for temporal reasoning national conference on artificial intelligence. pp. 377- 382 ,(1986)
Arun K. Pujari, Abdul Sattar, A New Framework for Reasoning about Points, Intervals and Durations international joint conference on artificial intelligence. pp. 1259- 1264 ,(1999)
Gérard Ligozat, ’’Corner‘‘ Relations in Allen‘s algebra Constraints - An International Journal. ,vol. 3, pp. 165- 177 ,(1998) , 10.1023/A:1009721626239
Bernhard Nebel, Hans-Jürgen Bürckert, Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra Journal of the ACM. ,vol. 42, pp. 43- 66 ,(1995) , 10.1145/200836.200848
Eugene C. Freuder, A Sufficient Condition for Backtrack-Free Search Journal of the ACM. ,vol. 29, pp. 24- 32 ,(1982) , 10.1145/322290.322292
Federico A. Barber, A metric time-point and duration-based temporal model Intelligence\/sigart Bulletin. ,vol. 4, pp. 30- 49 ,(1993) , 10.1145/152947.152955
Peter van Beek, Reasoning about qualitative temporal information Artificial Intelligence. ,vol. 58, pp. 297- 326 ,(1992) , 10.1016/0004-3702(92)90011-L
Rattana Wetprasit, Abdul Sattar, Temporal reasoning with qualitative and quantitative information about points and durations national conference on artificial intelligence. pp. 656- 663 ,(1998)