Temporal Landmarks: What Must Happen, and When
نویسندگان
چکیده
Current temporal planners have a hard time solving large, real-world problems which involve dealing with metric time and concurrent actions. While landmarks have enabled classical planners to scale up to significantly larger problems, they have not yet brought as much benefit to temporal planning. We argue that the reason for this is that for landmarks to make an effective addition to planning with complex temporal interactions (such as required concurrency), they must incorporate information about the timing of conditions and events. We define temporal landmarks, which associate time intervals and time points, respectively, with state and action landmarks, thereby capturing both what must happen and when it must happen. We show how to derive temporal landmarks and constraints on their associated time points from planning problems, and how exploiting them, in a planner-independent way, can improve planner performance. Notably, the greatest gain is on problems which require concurrency, showing that the temporal information we add to landmarks complements the reasoning used by current temporal planners.
منابع مشابه
چرا در مورد درمان وریدی نگرانید؟
IV Therapy is an important option in incapable patients’ treatment. In this paper, we discuss about: A) For best control of them, we must know about what materials are in these drugs? B) For what reason they are use? C) What errors may be happen in use of them? Amount of IV fluids must be accommodating with loss of fluids. Firstly, we review amount of main body fluids. Main part of our body wei...
متن کاملTopography of Sylvian Fissure and Central Sulcus as Neurosurgical Landmarks: an Anatomical Study Using Cadaveric Specimens in Iran
Background and Aim: In the present study, the cerebral surface landmarks in human fresh autopsy specimens were investigated. Methods and Materials/Patients: Totally, 37 fresh adult autopsy human brain specimens from the Rasht Forensic Medicine Center were enrolled. Four specimens were excluded because of some traumatic injuries to cerebral cortex. Demographic information of all cases was obt...
متن کاملحل معمای درد قفسه سینه
Most of the patients imagine that chest pain is not sign of heart attack. But, may be pain is not sign of heart attack. Pain source may be from pulmonary, stomach, intestinal, psychologic or musculoskeletal problems. From these factors, when two or more factors combine to each other, similar signs are happen. All of these factors harden diagnosis of chest pain reason. Only with separation of pe...
متن کاملOn the Use of Temporal Landmarks for Planning with Deadlines
In this paper we present a temporal planning approach for handling problems with deadlines. The model relies on the extraction of temporal landmarks from the problem and the construction of a landmarks graph as a skeleton of the solution plan. A temporal landmark is a proposition that must be achieved in a solution plan to satisfy the problem deadline constraints. Each temporal landmark is asso...
متن کاملVerifying Safety Properties with the TLA+ Proof System
TLAPS, the TLA proof system, is a platform for the development and mechanical verification of TLA proofs. The TLA proof language is declarative, and understanding proofs requires little background beyond elementary mathematics. The language supports hierarchical and non-linear proof construction and verification, and it is independent of any verification tool or strategy. Proofs are written in ...
متن کامل