Logic programming for deliberative robotic task planning

Over the last decade, the use of robots in production and daily life has increased. With increasingly complex tasks and interaction in different environments including humans, robots are required a higher level of autonomy for efficient deliberation. Task planning is a key element of deliberation. It combines elementary operations into a structured plan to satisfy a prescribed goal, given specifications on the robot and the environment. In this manuscript, we present a survey on recent advances in the application of logic programming to the problem of task planning. Logic programming offers several advantages compared to other approaches, including greater expressivity and interpretability which may aid in the development of safe and reliable robots. We analyze different planners and their suitability for specific robotic applications, based on expressivity in domain representation, computational efficiency and software implementation. In this way, we support the robotic designer in choosing the best tool for his application

Dialogue Possibilities between a Human Supervisor and UAM Air Traffic Management: Route Alteration

This paper introduces a novel approach to detour management in Urban Air Traffic Management (UATM) using knowledge representation and reasoning. It aims to understand the complexities and requirements of UAM detours, enabling a method that quickly identifies safe and efficient routes in a carefully sampled environment. This method implemented in Answer Set Programming uses non-monotonic reasoning and a two-phase conversation between a human manager and the UATM system, considering factors like safety and potential impacts. The robustness and efficacy of the proposed method were validated through several queries from two simulation scenarios, contributing to the symbiosis of human knowledge and advanced AI techniques. The paper provides an introduction, citing relevant studies, problem formulation, solution, discussions, and concluding comments.Comment: 18 pages, 2 figures, accepted to the Advances in Artificial Intelligence and Machine Learning (AAIML) journa

Development of a Novel Media-independent Communication Theology for Accessing Local & Web-based Data: Case Study with Robotic Subsystems

Realizing media independence in today’s communication system remains an open problem by and large. Information retrieval, mostly through the Internet, is becoming the most demanding feature in technological progress and this web-based data access should ideally be in user-selective form. While blind-folded access of data through the World Wide Web is quite streamlined, the counter-half of the facet, namely, seamless access of information database pertaining to a specific end-device, e.g. robotic systems, is still in a formative stage. This paradigm of access as well as systematic query-based retrieval of data, related to the physical enddevice is very crucial in designing the Internet-based network control of the same in real-time. Moreover, this control of the end-device is directly linked up to the characteristics of three coupled metrics, namely, ‘multiple databases’, ‘multiple servers’ and ‘multiple inputs’ (to each server). This triad, viz. database-input-server (DIS) plays a significant role in overall performance of the system, the background details of which is still very sketchy in global research community. This work addresses the technical issues associated with this theology, with specific reference to formalism of a customized DIS considering real-time delay analysis. The present paper delineates the developmental paradigms of novel multi-input multioutput communication semantics for retrieving web-based information from physical devices, namely, two representative robotic sub-systems in a coherent and homogeneous mode. The developed protocol can be entrusted for use in real-time in a complete user-friendly manner

Embedding Robotic Process Automation into Process Management: Case Study of using taskt

XYZ Company routinely faced penalties imposed by the United States Internal Revenue Service (IRS) for non-compliance in depositing federal withholding taxes related to the managed benefits plans for its clients. Since the rules for depositing the federal taxes were complex and differed between the benefits plans, it was common for XYZ Company to accrue penalties imposed by the IRS. Desiring to eliminate penalties by complying 100% with the IRS guidelines, XYZ Company considered various solutions. Finally, XYZ Company implemented a Robotic Process Automation (RPA) solution using the open source tool—taskt—to achieve 100% compliance in depositing federal withholding taxes and eliminate penalties. Discussion of solution improvements, reflection and next steps, technical challenges, lessons learned, and design science retrospective is provided

AN ANALYSIS OF HOW THE U.S. GOVERNMENT CAN EFFECTIVELY TACKLE SUPPLY CHAIN BARRIERS TO SCALE UP THE LOW COST UNMANNED AERIAL VEHICLE (UAV) SWARMING TECHNOLOGY (LOCUST) PROGRAM

The LOCUST program is a scalable system of inexpensive swarming unmanned aerial vehicles to provide disruptive capability in contested environments against anti-area access denial defenses, enabling manned strike operations and localized landing site superiority with reduced cost, risk, and operator launch and workload. Our research and analysis will emphasize the challenges of moving from a U.S. Special Operations Command (USSOCOM) effort to a large program of record. Specific supply chain concerns that will be addressed include: 1) DOD organizational structure; 2) service-specific objectives and currently operating platforms; 3) requirements generation and related procurements to include production and quality challenges; 4) safety and quality assurance standards; 5) lead times, inventory plans, and throughput to include supplier base considerations and consolidations; and 6) latest evolving technologies and continuous improvement principles. Our team will utilize the Define, Measure, Analyze, Improve, Control (DMAIC) evaluative methodology that focuses on data-driven improvement cycles to better optimize process, design and results. Our results and recommendations highlighted multiple strategies that the Office of Naval Research (ONR) must focus on when developing the LOCUST supply chain. These conclusions and findings address both current supply chain development opportunities for the LOCUST program, as well as where the program must focus its efforts in the future.http://archive.org/details/ananalysisofhowt1094563516Civilian, Department of the NavyCivilian, Department of the ArmyCivilian, Department of the ArmyApproved for public release; distribution is unlimited

A Survey of User Interfaces for Robot Teleoperation

Robots are used today to accomplish many tasks in society, be it in industry, at home, or as helping tools on tragic incidents. The human-robot systems currently developed span a broad variety of applications and are typically very different from one another. The interaction techniques designed for each system are also very different, although some effort has been directed in defining common properties and strategies for guiding human-robot interaction (HRI) development. This work aims to present the state-of-the-art in teleoperation interaction techniques between robots and their users. By presenting potentially useful design models and motivating discussions on topics to which the research community has been paying little attention lately, we also suggest solutions to some of the design and operational problems being faced in this area