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
Temporal Composite Actions with Constraints
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, Department of Computer and Information Science, UASTECH - Autonomous Unmanned Aircraft Systems Technologies. Linköping University, The Institute of Technology.
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology. (APD)ORCID iD: 0000-0002-5500-8494
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab. Linköping University, The Institute of Technology.
2012 (English)In: Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR), AAAI Press, 2012, p. 478-488Conference paper, Published paper (Refereed)
Abstract [en]

Complex mission or task specification languages play a fundamentally important role in human/robotic interaction.  In realistic scenarios such as emergency response, specifying temporal, resource and other constraints on a mission is an essential component due to the dynamic and contingent nature of the operational environments. It is also desirable that in addition to having a formal semantics, the language should be sufficiently expressive, pragmatic and abstract. The main goal of this paper is to propose a mission specification language that meets these requirements. It is based on extending both the syntax and semantics of a well-established formalism for reasoning about action and change, Temporal Action Logic (TAL), in order to represent temporal composite actions with constraints.  Fixpoints are required to specify loops and recursion in the extended language. The results include a sound and complete proof theory for this extension. To ensure that the composite language constructs are adequately grounded in the pragmatic operation of robotic systems, Task Specification Trees (TSTs) and their mapping to these constructs are proposed. The expressive and pragmatic adequacy of this approach is demonstrated using an emergency response scenario.

Place, publisher, year, edition, pages
AAAI Press, 2012. p. 478-488
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:liu:diva-74668ISBN: 978-1-57735-560-1 (print)ISBN: 978-1-57735-561-8 (print)OAI: oai:DiVA.org:liu-74668DiVA, id: diva2:489882
Conference
13th International Conference on Principles of Knowledge Representation and Reasoning (KR), June 10-14, Rome, Italy
Projects
CUASCADICSNFFP5LinkLab
Funder
Swedish Foundation for Strategic Research Linnaeus research environment CADICSeLLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research CouncilAvailable from: 2012-02-03 Created: 2012-02-03 Last updated: 2018-01-12

Open Access in DiVA

No full text in DiVA

Other links

http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4487/4917

Authority records

Doherty, PatrickKvarnström, JonasSzalas, Andrzej

Search in DiVA

By author/editor
Doherty, PatrickKvarnström, JonasSzalas, Andrzej
By organisation
KPLAB - Knowledge Processing LabUASTECH - Autonomous Unmanned Aircraft Systems TechnologiesThe Institute of Technology
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 334 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