Search: onr:"swepub:oai:DiVA.org:liu-9726" >
Deductive Planning ...
Deductive Planning and Composite Actions in Temporal Action Logic
-
- Magnusson, Martin, 1978- (author)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
- Doherty, Patrick (thesis advisor)
- Linköpings universitet,KPLAB - Laboratoriet för kunskapsbearbetning,Tekniska högskolan
-
- Meyer, John-Jules, Professor Doctor (opponent)
- Universiteit Utrecht
-
(creator_code:org_t)
- ISBN 9789185895939
- Institutionen för datavetenskap, 2007
- English 86 s.
-
Series: Linköping Studies in Science and Technology. Thesis, 0280-7971 ; 1329
- Related links:
-
https://liu.diva-por...
-
show more...
-
https://liu.diva-por... (primary) (Raw object)
-
https://urn.kb.se/re...
-
show less...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Temporal Action Logic
- deductive planning
- composite actions
- interval algebra
- constraint logic programming
- execution monitoring
- Computer science
- Datalogi
Publication and Content Type
- vet (subject category)
- lic (subject category)
Find in a library
To the university's database