liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Deductive Planning and Composite Actions in Temporal Action Logic
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2007 (English)Licentiate thesis, monograph (Other academic)
Abstract [en]

Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. We introduce a translation from a subset of Temporal Action Logic to constraint logic programs that takes advantage of these characteristics to make the logic applicable, not just as a formal specification language, but in solving practical reasoning problems. Extensions are introduced that enable the generation of action sequences, thus paving the road for interesting applications in deductive planning. The use of qualitative temporal constraints makes it possible to follow a least commitment strategy and construct partially ordered plans. Furthermore, the logical language and logic program translation is extended with the notion of composite actions that can be used to formulate and execute scripted plans with conditional actions, non-deterministic choices, and loops. The resulting planner and reasoner is integrated with a graphical user interface in our autonomous helicopter research system and applied to logistics problems. Solution plans are synthesized together with monitoring constraints that trigger the generation of recovery actions in cases of execution failures.

Place, publisher, year, edition, pages
Institutionen för datavetenskap , 2007. , p. 86
Series
Linköping Studies in Science and Technology. Thesis, ISSN 0280-7971 ; 1329
Keywords [en]
Temporal Action Logic, deductive planning, composite actions, interval algebra, constraint logic programming, execution monitoring
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-9726Local ID: LiU-TEK-LIC-2007:38ISBN: 9789185895939 (print)OAI: oai:DiVA.org:liu-9726DiVA, id: diva2:24113
Presentation
2007-09-28, Alan Turing, Hus E, Campus Valla, Linköpings universitet, Linköping, 10:15 (English)
Opponent
Supervisors
Available from: 2007-10-12 Created: 2007-10-12 Last updated: 2023-03-07Bibliographically approved

Open Access in DiVA

cover(92 kB)143 downloads
File information
File name COVER01.pdfFile size 92 kBChecksum SHA-1
e3df41781df91f26fe42ecbc520b1e913de4217f1b596adb09f8c2d16e2d965624d885dc
Type coverMimetype application/pdf
fulltext(468 kB)802 downloads
File information
File name FULLTEXT01.pdfFile size 468 kBChecksum SHA-1
2c71e5de8adfa90ead3eb90cacb7f9197ea376357ad24046efc073581888df93304c5d6f
Type fulltextMimetype application/pdf
Order online >>

Authority records

Magnusson, Martin

Search in DiVA

By author/editor
Magnusson, Martin
By organisation
KPLAB - Knowledge Processing LabThe Institute of Technology
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 812 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 704 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf