Planning to chronicle

DOI10.1007/978-3-030-66723-8_17zbMATH Open1469.68132arXiv2011.02135OpenAlexW3174608914MaRDI QIDQ3381972FDOQ3381972

Authors: Hazhar Rahmani, Dylan A. Shell, Jason M. O'Kane 

Publication date: 20 September 2021

Published in: Algorithmic Foundations of Robotics XIV (Search for Journal in Brave)

Abstract: An important class of applications entails a robot monitoring, scrutinizing, or recording the evolution of an uncertain time-extended process. This sort of situation leads an interesting family of planning problems in which the robot is limited in what it sees and must, thus, choose what to pay attention to. The distinguishing characteristic of this setting is that the robot has influence over what it captures via its sensors, but exercises no causal authority over the evolving process. As such, the robot's objective is to observe the underlying process and to produce a `chronicle' of occurrent events, subject to a goal specification of the sorts of event sequences that may be of interest. This paper examines variants of such problems when the robot aims to collect sets of observations to meet a rich specification of their sequential structure. We study this class of problems by modeling a stochastic process via a variant of a hidden Markov model, and specify the event sequences of interest as a regular language, developing a vocabulary of `mutators' that enable sophisticated requirements to be expressed. Under different suppositions about the information gleaned about the Markov model, we formulate and solve different planning problems. The core underlying idea is the construction of a product between the event model and a specification automaton. The paper reports and compares performance metrics by drawing on some small case studies analyzed in depth in simulation.

Full work available at URL: https://arxiv.org/abs/2011.02135

Recommendations

• Decision-theoretic planning for autonomous robotic surveillance
• scientific article; zbMATH DE number 1737293
• What observations really tell us
• Robot introspection through learned hidden Markov models
• AUTONOMOUS PLANNING UNDER UNCERTAINTY: PLANNING MODELS

zbMATH Keywords

planningraconteuringreconnoiteringstory-telling

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence for robotics (68T40)

Cites Work

• Online planning algorithms for POMDPS
• DESPOT: online POMDP planning with regularization
• Computing the edit distance of a regular language
• Title not available (Why is that?)
• Planning Algorithms
• Title not available (Why is that?)
• Cyber Detectives: Determining When Robots or People Misbehave
• Fast string correction with Levenshtein automata
• Narrative planning: balancing plot and character
• Proving language inclusion and equivalence by coinduction

Cited In (1)

• Decision-theoretic planning for autonomous robotic surveillance

Uses Software

• POMDPS
• DESPOT

This page was built for publication: Planning to chronicle

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3381972)