ON INTERVAL-BASED TEMPORAL PLANNING - AN IQ-STRATEGY

Cited 1 time in webofscience Cited 0 time in scopus
  • Hit : 340
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorRICHARDS, Bko
dc.contributor.authorJIANG, Yko
dc.contributor.authorChoi, Ho-Jinko
dc.date.accessioned2013-02-27T06:52:35Z-
dc.date.available2013-02-27T06:52:35Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued1991-
dc.identifier.citationLECTURE NOTES IN ARTIFICIAL INTELLIGENCE, v.542, pp.226 - 235-
dc.identifier.urihttp://hdl.handle.net/10203/67091-
dc.description.abstractAllen & Koomen's interval planner and Dean & McDermott's time map manager (TMM) offer different approaches to temporal database management in planning. In this paper we present a temporal planning system that integrates ideas from both methods, and at the same time develops several new ideas. In particular, we treat time points and intervals within a common structure, and adopt an alternative method for handling temporal constraints based on constraint logic programming. To provide a proper characterization of actions within an interval environment, we invoke the notion of noninterference conditions to handle action interaction and the qualification problem. To deal with the persistence problem, we adopt a spectrum of methods based on TMM's stretching and clipping rules. We show that our approach allows a temporally minimum specification for preconditions, which not only improves the clarity of the specification of an action, but perhaps also reduces the computational cost of constraint satisfaction. The formal aspects of our temporal approach are encapsulated in an interval temporal logic called IQ which is functionally more expressive than first order logic. The specification of our temporal reasoning is modelled in IQ-Prolog - a computation-oriented subsidiary language of IQ.-
dc.languageEnglish-
dc.publisherSPRINGER VERLAG-
dc.titleON INTERVAL-BASED TEMPORAL PLANNING - AN IQ-STRATEGY-
dc.typeArticle-
dc.identifier.wosidA1991KV08300024-
dc.type.rimsART-
dc.citation.volume542-
dc.citation.beginningpage226-
dc.citation.endingpage235-
dc.citation.publicationnameLECTURE NOTES IN ARTIFICIAL INTELLIGENCE-
dc.contributor.localauthorChoi, Ho-Jin-
dc.contributor.nonIdAuthorRICHARDS, B-
dc.contributor.nonIdAuthorJIANG, Y-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorINTERVALS-
dc.subject.keywordAuthorPOINTS-
dc.subject.keywordAuthorPLANNING-
dc.subject.keywordAuthorACTIONS-
dc.subject.keywordAuthorFRAME PROBLEM-
dc.subject.keywordAuthorQUALIFICATION PROBLEM-
dc.subject.keywordAuthorMAXIMAL INTERVAL PRINCIPLE-
dc.subject.keywordAuthorTEMPORAL LOGICS-
dc.subject.keywordAuthorCONSTRAINT SATISFACTION-
dc.subject.keywordAuthorCOLLAPSING AND STRETCHING CLIPPING-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 1 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0