Constraint-based formalisms are a useful and common way to deal with temporal reasoning tasks. Assertions represent temporal constraints between temporal objects, time-points or intervals: Metric temporal constraints between time points permit us to express a minimum and maximum temporal distance between two time points and to define a valid temporal interval for each one. However, existing approaches have limited expressiveness for representing non-disjunctive qualitative constraints of point algebra and the empirical results do not seem very adequate for managing a great number of time points or when the time for management is limited.In this paper, an efficient and expressive time point and duration-based temporal representation model with metric constraints is presented. The main features of the model refer to the formal properties of the internal time model and the specific representation of temporal constraints, which integrates constraints on time-points and on durations and is more adequate for their computational management. Sound and complete management processes are specified on the basis of model properties. From this specification, two choices for management are proposed: (i) with neither propagation nor preprocessing techniques, complete management algorithms have an O(e*n) complexity, but a linear empirical cost is obtained; (ii) with complete propagation an O(n 2 ) complexity is achieved.
End of preview. The entire article is 20 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/a-metric-time-point-and-duration-based-temporal-model-aufJRm6ppd
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
A metric time-point and duration-based temporal model
Barber, Federico A.
Follow ACM SIGART Bulletin
, Volume 4 (3)
Association for Computing Machinery – Jul 1, 1993
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
