Extending {TIM} domain analysis to handle {ADL} constructs

Cresswell, S. and Fox, M. and Long, D.; McCluskey, T.L., ed. (2002) Extending {TIM} domain analysis to handle {ADL} constructs. In: AIPS '02 Workshop on Knowledge Engineering Tools and Techniques for A.I. Planning, 2002-04-23 - 2002-04-27. (http://www.cis.strath.ac.uk/research/publications/...)

Abstract

Planning domain analysis provides information which is useful to the domain designer, and which can also be exploited by a planner to reduce search. The TIM domain analysis tool infers types and invariants from an input domain definition and initial state. In this paper we describe extensions to the TIM system to al- low efficient processing of domains written in a more expressive language with features of ADL: types, con- ditional effects, universally quantified effects and neg- ative preconditions.

• Share and Export
  

  MPEG-21 DIDLASCII CitationHTML CitationMETSMultiline CSVEndNoteEP3 XMLAtomJSONRDF+N-TriplesRIS (EndNote Online, Zotero, Ref manager, etc)RefWorksSimple MetadataRDF+XMLBibTeXRDF+N3Data Cite XMLMODSOpenURL ContextObject in SpanDublin CoreReferOpenURL ContextObjectRIOXX2 XML
• Item metadata

  Item type:	Conference or Workshop Item(Paper)
  ID code:	1950
  Dates:	Date Event April 2002 Published
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Strathprints Administrator
  Date deposited:	02 Nov 2006
  Last modified:	11 Nov 2024 16:11
  URI:	https://strathprints.strath.ac.uk/id/eprint/1950