Architecture for Reasoning in Hybrid Discrete-Continuous Domains

Hybrid domains are those featuring a mix of discrete and continuous variables. Recent research has resulted in sophisticated general purpose languages for modeling hybrid domains such as PDDL+ and H as well as efficient planning algorithms based on translation to logical formalisms. However, other reasoning tasks, such as execution monitoring and diagnosis, have not received as much attention. In this thesis, we address this shortcoming and propose execution monitoring and diagnostic reasoning algorithms based on action language H together with an agent architecture that combines planning, diagnostics, and execution monitoring for hybrid domains. The algorithms are based on an expanded translation of action language H to Constraint Answer Set Programming (CASP), which we developed for this project. We demonstrate our approach on two simple, but non-trivial scenarios including one that we tested on an actual robot.M.S.S.E., Software Engineering -- Drexel University, 201

Prolog and ASP Inference Under One Roof

Answer set programming (ASP) is a declarative programming paradigm stemming from logic programming that has been successfully applied in various domains. Despite amazing advancements in ASP solving, many applications still pose a challenge that is commonly referred to as grounding bottleneck. Devising, implementing, and evaluating a method that alleviates this problem for certain application domains is the focus of this paper. The proposed method is based on combining backtracking-based search algorithms employed in answer set solvers with SLDNF resolution from PROLOG. Using PROLOG inference on non-ground portions of a given program, both grounding time and the size of the ground program can be substantially reduced

The Future of Fundamental Science Led by Generative Closed-Loop Artificial Intelligence

Recent advances in machine learning and AI, including Generative AI and LLMs, are disrupting technological innovation, product development, and society as a whole. AI's contribution to technology can come from multiple approaches that require access to large training data sets and clear performance evaluation criteria, ranging from pattern recognition and classification to generative models. Yet, AI has contributed less to fundamental science in part because large data sets of high-quality data for scientific practice and model discovery are more difficult to access. Generative AI, in general, and Large Language Models in particular, may represent an opportunity to augment and accelerate the scientific discovery of fundamental deep science with quantitative models. Here we explore and investigate aspects of an AI-driven, automated, closed-loop approach to scientific discovery, including self-driven hypothesis generation and open-ended autonomous exploration of the hypothesis space. Integrating AI-driven automation into the practice of science would mitigate current problems, including the replication of findings, systematic production of data, and ultimately democratisation of the scientific process. Realising these possibilities requires a vision for augmented AI coupled with a diversity of AI approaches able to deal with fundamental aspects of causality analysis and model discovery while enabling unbiased search across the space of putative explanations. These advances hold the promise to unleash AI's potential for searching and discovering the fundamental structure of our world beyond what human scientists have been able to achieve. Such a vision would push the boundaries of new fundamental science rather than automatize current workflows and instead open doors for technological innovation to tackle some of the greatest challenges facing humanity today.Comment: 35 pages, first draft of the final report from the Alan Turing Institute on AI for Scientific Discover

Patient, carer, and staff perceptions of robotics in motor rehabilitation: a systematic review and qualitative meta‑synthesis.

Background: In recent years, robotic rehabilitation devices have often been used for motor training. However, to date, no systematic reviews of qualitative studies exploring the end-user experiences of robotic devices in motor rehabilitation have been published. The aim of this study was to review end-users’ (patients, carers and healthcare professionals) experiences with robotic devices in motor rehabilitation, by conducting a systematic review and thematic meta-synthesis of qualitative studies concerning the users’ experiences with such robotic devices. Methods: Qualitative studies and mixed-methods studies with a qualitative element were eligible for inclusion. Nine electronic databases were searched from inception to August 2020, supplemented with internet searches and forward and backward citation tracking from the included studies and review articles. Data were synthesised thematically following the Thomas and Harden approach. The CASP Qualitative Checklist was used to assess the quality of the included studies of this review. Results: The search strategy identified a total of 13,556 citations and after removing duplicates and excluding citations based on title and abstract, and full text screening, 30 studies were included. All studies were considered of acceptable quality. We developed six analytical themes: logistic barriers; technological challenges; appeal and engagement; supportive interactions and relationships; benefits for physical, psychological, and social function(ing); and expanding and sustaining therapeutic options. Conclusions: Despite experiencing technological and logistic challenges, participants found robotic devices acceptable, useful and beneficial (physically, psychologically, and socially), as well as fun and interesting. Having supportive relationships with significant others and positive therapeutic relationships with healthcare staff were considered the foundation for successful rehabilitation and recovery

A review on the usability,flexibility, affinity, and affordability of virtual technology for rehabilitation training of upper limb amputees

(1) Background: Prosthetic rehabilitation is essential for upper limb amputees to regain their ability to work. However, the abandonment rate of prosthetics is higher than 50% due to the high cost of rehabilitation. Virtual technology shows potential for improving the availability and cost-effectiveness of prosthetic rehabilitation. This article systematically reviews the application of virtual technology for the prosthetic rehabilitation of upper limb amputees.(2) Methods: We followed PRISMA review guidance, STROBE, and CASP to evaluate the included articles. Finally, 17 articles were screened from 22,609 articles.(3) Results: This study reviews the possible benefits of using virtual technology from four aspects: usability, flexibility, psychological affinity, and long-term affordability. Three significant challenges are also discussed: realism, closed-loop control, and multi-modality integration.(4) Conclusions: Virtual technology allows for flexible and configurable control rehabilitation, both during hospital admissions and after discharge, at a relatively low cost. The technology shows promise in addressing the critical barrier of current prosthetic training issues, potentially improving the practical availability of prosthesis techniques for upper limb amputees

Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming

The manipulation of articulated objects is of primary importance in Robotics, and can be considered as one of the most complex manipulation tasks. Traditionally, this problem has been tackled by developing ad-hoc approaches, which lack flexibility and portability. In this paper we present a framework based on Answer Set Programming (ASP) for the automated manipulation of articulated objects in a robot control architecture. In particular, ASP is employed for representing the configuration of the articulated object, for checking the consistency of such representation in the knowledge base, and for generating the sequence of manipulation actions. The framework is exemplified and validated on the Baxter dual-arm manipulator in a first, simple scenario. Then, we extend such scenario to improve the overall setup accuracy, and to introduce a few constraints in robot actions execution to enforce their feasibility. The extended scenario entails a high number of possible actions that can be fruitfully combined together. Therefore, we exploit macro actions from automated planning in order to provide more effective plans. We validate the overall framework in the extended scenario, thereby confirming the applicability of ASP also in more realistic Robotics settings, and showing the usefulness of macro actions for the robot-based manipulation of articulated objects. Under consideration in Theory and Practice of Logic Programming (TPLP).Comment: Under consideration in Theory and Practice of Logic Programming (TPLP

Behavioral and Neuroimaging Research on Developmental Coordination Disorder (DCD): A Combined Systematic Review and Meta-Analysis of Recent Findings

Data Availability Statement: The original contributions presented in the study are included in the article/Supplementary Material, further inquiries can be directed to the corresponding author/s. Supplementary Material: The Supplementary Material for this article can be found online at: https://www.frontiersin.org/articles/10.3389/fpsyg.2022.809455/full#supplementary-materialAim: The neurocognitive basis of Developmental Coordination Disorder (DCD; or motor clumsiness) remains an issue of continued debate. This combined systematic review and meta-analysis provides a synthesis of recent experimental studies on the motor control, cognitive, and neural underpinnings of DCD. Methods: The review included all published work conducted since September 2016 and up to April 2021. One-hundred papers with a DCD-Control comparison were included, with 1,374 effect sizes entered into a multi-level meta-analysis. Results: The most profound deficits were shown in: voluntary gaze control during movement; cognitive-motor integration; practice-/context-dependent motor learning; internal modeling; more variable movement kinematics/kinetics; larger safety margins when locomoting, and atypical neural structure and function across sensori-motor and prefrontal regions. Interpretation: Taken together, these results on DCD suggest fundamental deficits in visual-motor mapping and cognitive-motor integration, and abnormal maturation of motor networks, but also areas of pragmatic compensation for motor control deficits. Implications for current theory, future research, and evidence-based practice are discussed. Systematic Review Registration: PROSPERO, identifier: CRD42020185444.Australian Government Research Training Program Scholarship; Research Centre scheme, Australian Catholic University; Czech Science Foundation (GACR EXPRO scheme: 21-15728X); Knut and Alice Wallenberg Foundation (KAW 2020.0200).https://www.frontiersin.org/articles/10.3389/fpsyg.2022.809455/full#supplementary-materia

EEG-based brain-computer interfaces using motor-imagery: techniques and challenges.

Electroencephalography (EEG)-based brain-computer interfaces (BCIs), particularly those using motor-imagery (MI) data, have the potential to become groundbreaking technologies in both clinical and entertainment settings. MI data is generated when a subject imagines the movement of a limb. This paper reviews state-of-the-art signal processing techniques for MI EEG-based BCIs, with a particular focus on the feature extraction, feature selection and classification techniques used. It also summarizes the main applications of EEG-based BCIs, particularly those based on MI data, and finally presents a detailed discussion of the most prevalent challenges impeding the development and commercialization of EEG-based BCIs