For human-robot teams that operate in space, safety and robustness are paramount. In situations such as habitat construction, station inspection, or cooperative exploration, incorrect assumptions about the environment or task across the team could lead to mission failure. Thus it is important to resolve any ambiguity about the mission between teammates before embarking on a commanded task. The safeguards guaranteed by formal methods can be used to synthesize correct-by-construction reactive controllers for a robot using Linear Temporal Logic. If a robot fails to synthesize a controller given an instruction, it is clear that there exists a logical inconsistency in the environmental assumptions and/or described interactions. These specifications however are typically crafted in a language unique to the verification framework, requiring the human collaborator to be fluent in the software tool used to construct it. Furthermore, if the controller fails to synthesize, it may prove difficult to easily repair the specification. Language is a natural medium to generate these specifications using modern symbol grounding techniques. Using language empowers non-expert humans to describe tasks to robot teammates while retaining the benefits of formal verification. Additionally, dialogue could be used to inform robots about the environment and/or resolve any ambiguities before mission execution. This paper introduces an architecture for natural language interaction using a symbolic representation that informs the construction of a specification in Linear Temporal Logic. The novel aspect of this approach is that it provides a mechanism for resolving synthesis failure by hypothesizing corrections to the specification that are verified through human-robot dialogue. Experiments involving the proposed architecture are demonstrated using a simulation of an Astrobee robot navigating in the International Space Station.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Resolving Ambiguity via Dialogue to Correct Unsynthesizable Controllers for Free-Flying Robots


    Beteiligte:
    Rosser, Joshua (Autor:in) / Arkin, Jacob (Autor:in) / Patki, Siddharth (Autor:in) / Howard, Thomas M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    04.03.2023


    Format / Umfang :

    19550918 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    Vision navigator for free-flying robots

    Azarbayejani, Ali J. / Alexander, Harold L. | SPIE | 1992


    METHOD AND SYSTEM FOR RESOLVING RANGE AMBIGUITY

    PERNSTÅL THOMAS / SMITH JONFORSEN GARY | Europäisches Patentamt | 2017

    Freier Zugriff

    RESOLVING RANGE RATE AMBIGUITY IN SENSOR RETURNS

    Europäisches Patentamt | 2024

    Freier Zugriff