CoreSense: A Hybrid Cognitive Architecture for Deep Understanding

Digital, Industry & SpaceHORIZON-RIAID: 101070254
EC Contribution
€54,098
Consortium Size
7 orgs
Start Year
2022
Summary

Cognitive robots are augmenting their autonomy, enabling them to deployments in increasingly open-ended environments. This offers enormous possibilities for improvements in human economy and wellbeing. However, it also poses strong risks that are difficult to assess and control by humans. The trend towards increased autonomy conveys augmented problems concerning reliability, resilience, and trust for autonomous robots in open worlds. The essence of the problem can be traced to robots suffering from a lack of understanding of what is going on and a lack of awareness of their role in it. This is a problem that artificial intelligence approaches based on machine learning are not addressing well. Autonomous robots do not fully understand their open environments, their complex missions, their intricate realizations, and the unexpected events that affect their performance. An improvement in the capability to understand of autonomous robots is needed. This project tries to provide a solution to this need in the form of 1) a theory of understanding, 2) a theory of awareness, 3) reusable software assets to apply these theories in real robots, and 4) three demonstrations of its capability to a) augment resilience of drone teams, b) augment flexibility of manufacturing robots, and c) augment human alignment of social robots. In summary, we will develop a cognitive architecture for autonomous robots based on a formal concept of understanding, supporting value-oriented situation understanding and self-awareness to improve robot flexibility, resilience and explainability.

Consortium (7)

Project Results (52)

Source: CORDIS, the EU research results database.

Publications (24)
A Higher-Order Vampire (Short Paper)
Lecture Notes in Computer Science, Automated Reasoning· 2025DOI
Ahmed Bhayat, Martin Suda
Demonstration of an Open-source ROS 2 Framework and Simulator for Situated Interactive Social Robot
· 2025DOI
Sara Cooper, Raquel Ros, Séverin Lemaignan, Ferran Gebellí, Lorenzo Ferrini, Luka Juri?ić
Evaluation of a model-driven approach for the integration of robot operating system-based complex robot systems
International Journal of Advanced Robotic Systems· 2025DOI
Nadia Hammoudeh García, Yuzhang Chen, David Lieb, Andreas Wortmann
Open source robot localization for nonplanar environments
Journal of Field Robotics· 2025DOI
Francisco Martín Rico, José Miguel Guerrero Hernández, Rodrigo Pérez‐Rodríguez, Juan Diego Peña‐Narvaez, Alberto García Gómez‐Jacinto
Personalised Explainable Robots Using LLMs
· 2025DOI
Ferran Gebellí, Lavinia Hriscu, Raquel Ros, Séverin Lemaignan, Alberto Sanfeliu, Anaís Garrell
The Vampire Day
· 2025DOI
Filip Bártek, Ahmed Bhayat, Robin Coutelier, Márton Hajdu, Matthias Hetzenberger, Petra Hozzová, Laura Kovács, Jakob Rath, Michael Rawson, Giles Reger, Martin Suda, Johannes Schoisswohl, Andrei Voronkov
A Formal Proof of R(4,5)=25
15th International Conference on Interactive Theorem Proving (ITP 2024)· 2024DOI
Gauthier, Thibault; Brown, Chad E.
A Methodology for Designing Knowledge-Driven Missions for Robots
2024 7th Iberian Robotics Conference (ROBOT)· 2024DOI
Guillermo GP-Lenza, Carmen DR.Pita-Romero, Miguel Fernandez-Cortizas, Pascual Campoy
A survey of ontology-enabled processes for dependable robot autonomy
Frontiers in Robotics and AI· 2024DOI
Esther Aguado; Esther Aguado; Virgilio Gomez; Virgilio Gomez; Miguel Hernando; Claudio Rossi; Ricardo Sanz; Ricardo Sanz
Benchmarking Sim2Real Gap: High-fidelity Digital Twinning of Agile Manufacturing
· 2024DOI
S. Katyaraa , S. Sharmab , P. Damacharlac , C.Garcia -Santiagoa , L. Dhiranid ,B. S. Chowdhrye
Category Theory for Autonomous Robots: The Marathon 2 Use Case
Robot 2023: Sixth Iberian Robotics Conference· 2024DOI
Aguado, Esther; Gómez, Virgilio; Hernando, Miguel; Rossi, Claudio; Sanz, Ricardo
Category Theory for Autonomous Robots: The Marathon 2 Use Case
Lecture Notes in Networks and Systems, Robot 2023: Sixth Iberian Robotics Conference· 2024DOI
Esther Aguado, Virgilio Gómez, Miguel Hernando, Claudio Rossi, Ricardo Sanz
Collaborating for Success: Optimizing System Efficiency and Resilience Under Agile Industrial Settings
Cornel university· 2024DOI
Sunny Katyara, Suchita Sharma, Praveen Damacharla, Carlos Garcia Santiago, Francis O'Farrell, Philip Long
Data in Brief
Data in Brief· 2024DOI
Irene González Fernández; Juan Diego Peña Narváez; José Miguel Guerrero Hernández; Rodrigo Pérez Rodríguez; Alejandro González Cantón; Francisco Javier Rodríguez Lera
IEEE Access
IEEE Access· 2024DOI
Martin Vastl; Jonáš Kulhánek; Jiří Kubalík; Erik Derner; Robert Babuška
Learning Guided Automated Reasoning: A Brief Survey
Lecture Notes in Computer Science, Logics and Type Systems in Theory and Practice· 2024DOI
Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban
Multi S-Graphs: An Efficient Distributed Semantic-Relational Collaborative SLAM
IEEE Robotics and Automation Letters· 2024DOI
Miguel Fernandez-Cortizas, Hriday Bavle, David Perez-Saura, Jose Luis Sanchez-Lopez, Pascual Campoy, Holger Voos
The Landscape of Collective Awareness in Multi-robot Systems
Springer Proceedings in Advanced Robotics, European Robotics Forum 2024· 2024DOI
Miguel Fernandez-Cortizas, David Perez-Saura, Ricardo Sanz, Martin Molina, Pascual Campoy
Towards a Theory of Awareness
Proceedings of the 16th International Conference on Agents and Artificial Intelligence· 2024DOI
Ricardo Sanz, Manuel Rodríguez, Martín Molina, Esther Aguado, Virgilio Gómez
A multi-UAV system for coverage path planning applications with in-flight re-planning capabilities
Journal of Field Robotics· 2023DOI
Marco Andrés Luna; Martin Molina; Rodrigo Da‐Silva‐Gomez; Javier Melero‐Deza; Pedro Arias‐Perez; Pascual Campoy
A visual questioning answering approach to enhance robot localization in indoor environments
Frontiers in Neurorobotics· 2023DOI
Juan Diego Peña-Narvaez, Francisco Martín, José Miguel Guerrero, Rodrigo Pérez-Rodríguez
Autonomous Robots
Autonomous Robots· 2023DOI
Steve Macenski; Shrijit Singh; Francisco Martín; Jonatan Ginés
Bridging the Gap between Simulation and Real Autonomous UAV Flights in Industrial Applications
Aerospace· 2023DOI
Rafael Perez-Segui; Pedro Arias-Perez; Javier Melero-Deza; Miguel Fernandez-Cortizas; David Perez-Saura; Pascual Campoy
Portable Multi-Hypothesis Monte Carlo Localization for Mobile Robots
2023 IEEE International Conference on Robotics and Automation (ICRA)· 2023DOI
Alberto García, Francisco Martín, José Miguel Guerrero, Francisco J. Rodríguez, Vicente Matellán
Deliverables (27)
Other Results (1)
Periodic Reporting for period 2 - CoreSense (CoreSense: A Hybrid Cognitive Architecture for Deep Understanding)