NDLI: Using Constraint Propagation to Reason about Unsynchronized Clocks

Please wait, while we are loading the content...

Using Constraint Propagation to Reason about Unsynchronized Clocks

Content Provider	Springer Nature Link
Author	Rodriguez, Rita V. Anger, Frank D.
Copyright Year	1998
Abstract	Numerous AI problems in planning, robot motion, distributed systems, cooperating agents, and intelligence gathering have domains with sub-collections of events or actions over time which are measured on incomparable or unsynchronized time scales from one to another. In such situations, a temporal model providing only a partial order on time moments is appropriate. Unlike a branching-time model, no sense of a common past and divergent futures occurs; unlike a “parallel worlds” model, check points or intercommunication between the sub-collections of events may exist, providing a true, rich partially ordered set of temporal information. In applications for which temporal intervals and their relations are appropriate, constraint propagation is a recognized reasoning tool. We discuss several temporal interval models and their relationship to one another but particularly focus on the general partial order model. In each model the emphasis is on the atomic relations, so we amplify on the meaning of atomic and show that what is atomic in one model may not be so in another. Utilizing results established earlier about the lattice properties of the models, the paper describes the closure of the atomic relations under composition and conjunction, relating the structures of relations in linear time, partially ordered time, and relativistic time. Lattice and algebraic isomorphisms explain what appeared to be only coincidental similarities between different models. The results are shown to provide especially efficient representations for constraint propagation algorithms.
Starting Page	191
Ending Page	202
Page Count	12
File Format	PDF
ISSN	13837133
Journal	Constraints
Volume Number	3
Issue Number	2-3
e-ISSN	15729354
Language	English
Publisher	Kluwer Academic Publishers
Publisher Date	1998-01-01
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Artificial Intelligence (incl. Robotics) Optimization Operation Research/Decision Theory
Content Type	Text
Resource Type	Article
Subject	Discrete Mathematics and Combinatorics Artificial Intelligence Computational Theory and Mathematics Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Improving Linear Constraint Propagation by Changing Constraint Representation

Decision Tradeoff Using Example-Critiquing and Constraint Programming

Increasing Constraint Propagation by Redundant Modeling: an Experience Report

General Properties and Termination Conditions for Soft Constraint Propagation

Constraint-Based Facial Animation

Constraint Programming: Strategic Directions

Scheduling Sport Tournaments using Constraint Logic Programming

Weighted Constraint Aggregation in Fuzzy Optimization

Three generalizations of the FOCUS constraint

Using Constraint Propagation to Reason about Unsynchronized Clocks

Similar Documents

Improving Linear Constraint Propagation by Changing Constraint Representation

Decision Tradeoff Using Example-Critiquing and Constraint Programming

Increasing Constraint Propagation by Redundant Modeling: an Experience Report

General Properties and Termination Conditions for Soft Constraint Propagation

Constraint-Based Facial Animation

Constraint Programming: Strategic Directions

Scheduling Sport Tournaments using Constraint Logic Programming

Weighted Constraint Aggregation in Fuzzy Optimization

Three generalizations of the FOCUS constraint

Using Constraint Propagation to Reason about Unsynchronized Clocks