Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

CoreSense: A Hybrid Cognitive Architecture for Deep Understanding

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Cognitive Capability Domain Analysis (öffnet in neuem Fenster)

Domain analysis of cognitive capability needed by the testbeds addressing the uses of the ROS community and addressing the robot dependability domain

Theory of Awareness (öffnet in neuem Fenster)

Formalization of the theory of awareness. This deliverable will be re-released in M48.

Social Testbed Concept and Requirements Specification (öffnet in neuem Fenster)

Definition of the experimental concept for the social testbed including measurements of functional performance and qualitative and quantitative KPIs

Theory of Understanding (öffnet in neuem Fenster)

Formalization of the theory of understanding This deliverable will be rereleased at the end of the project in M48

Specification of the CoreSense Architecture (öffnet in neuem Fenster)

System specifications and detailed design of the three architecture subsystems.

State of the Art and Needs for a Theory of Understanding and Awareness (öffnet in neuem Fenster)

State of the art and analysis of needs for the project developments in understanding and awareness

Analysis of Ontologies and of Ontological Formalisms (öffnet in neuem Fenster)

Analysis of extant ontologies of relevance and of suitable ontological formalisms for the needs of the project

Conceptual Analysis and Architecture Requirements Specification (öffnet in neuem Fenster)

Conceptual analysis and requirements specifications of the three architecture subsystems

Website and social media channels (öffnet in neuem Fenster)

Systems set up M3 and final report on status and performance M48

CoreSense open-source community (öffnet in neuem Fenster)

Report on the eastablishment and promotion of an open-source robotics community to use and test our technologies. Systems set up [M24] and final report on status and performance [M48].

Manufacturing Testbed Concept and Requirements Specification (öffnet in neuem Fenster)

Definition of the test concept scope of operations nonroutine tasks and the production machines involved for the manufacturing testbed

Communication Toolkit (öffnet in neuem Fenster)

Graphical resources and templates for external communication of project activities

Inspection Testbed Concept and Requirements Specification (öffnet in neuem Fenster)

Analysis of the domain concept definition and requirements for the inspection testbed

CoreSense/ROS Development Guidelines (öffnet in neuem Fenster)

Code development guidelines and support for developers using ROS

State of the Art Analysis of Model-driven, Model-based Robotic Systems (öffnet in neuem Fenster)

Report of the state of the art and related technologies analysis of robotic systems toolchains based on models

Specification of the System Life Cycle (öffnet in neuem Fenster)

Cognitive robot system engineering life cycle concept and applicability

Specification of the Toolchain (öffnet in neuem Fenster)

Architecture concept of the toolchain Description of the core modules Description of the concept of extensibility of the toolchain through associated plugins

Dissemination, Communication and Exploitation Plan (öffnet in neuem Fenster)

Details on the dissemination communication and exploitation strategies and periodic reporting on them This deliverable will be rereleased with updates on activities at M24 M36 and M48

Data Management Plan (öffnet in neuem Fenster)

Data management plan according to HE rules The plan will be periodically reviewed and updated if necessary in M24 M36 and M48

Data dictionary (öffnet in neuem Fenster)

Deliver a data dictionary browser, reusing the Sigma ontology browser, suitable for coordinating data integration efforts across CoreSense.

CoreSense Toolchain (öffnet in neuem Fenster)

Main modules of the Toolchain publicly available, both, as open-source code on a version system (GitHub) and as public release. The publicly available repository will provide documentation for Toolchain developers and for end-users. The manual and guideline for the extensibility of the tooling will also be made available. As is the case of the cognitive modules, this task will use a continuous release model. This deliverable will be re-released at the end of the project.

Higher-order logic based ontology (öffnet in neuem Fenster)

Deliver a higher-order logic ontology with expressions in the THF and SUO-KIF languages, suitable for reasoning under the Vampire/Deepire ATP system and supporting a data dictionary for overall project integration.

ROS Platform Instrumentation (öffnet in neuem Fenster)

Instrumented version of the ROS2 platform with software sensors/actuators for self-management.

CoreSense Ontologies (öffnet in neuem Fenster)

This deliverable contains the ontologies –ISO, UAO, CSO– captured in an ontological formalism(s). This deliverable will be re-released in M48.

Competency questions (öffnet in neuem Fenster)

Deliver a set of competency questions, modeled after [Pease 2021], suitable for processing under ATP, to demonstrate the operational reasoning capabilities of the ontology. The questions will be expressed both in English and Higher Order Logic (THF and SUO-KIF), and show detailed proofs of solutions in TPTP3 format.

Automated theorem proving (öffnet in neuem Fenster)

Deliver an automated reasoning system, as an extension to Vampire/Deepire, that can reason over the CoreSense HOL ontology and is optimized for it. This will include machine learning extensions and optimized strategies for higher-order Vampire, as well as extensions for reasoning with the closed world assumption and various modal logic and temporal logic operators.

Physics-aware modeling module prototype (öffnet in neuem Fenster)

Software implementation of the physics-aware modeling module: in M24, we deliver the proof-of-concept version.

Veröffentlichungen

The Vampire Day (öffnet in neuem Fenster)

Autoren: 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
Veröffentlicht in: 2025
Herausgeber: Arxiv
DOI: 10.48550/ARXIV.2506.03030

Demonstration of an Open-source ROS 2 Framework and Simulator for Situated Interactive Social Robot (öffnet in neuem Fenster)

Autoren: Sara Cooper, Raquel Ros, Séverin Lemaignan, Ferran Gebellí, Lorenzo Ferrini, Luka Juri?ić
Veröffentlicht in: 2025
Herausgeber: ACM
DOI: 10.5555/3721488.3721763

A Formal Proof of R(4,5)=25 (öffnet in neuem Fenster)

Autoren: Gauthier, Thibault; Brown, Chad E.
Veröffentlicht in: 15th International Conference on Interactive Theorem Proving (ITP 2024), 2024
Herausgeber: Dagstuhl Research Online Publications
DOI: 10.48550/ARXIV.2404.01761

Personalised Explainable Robots Using LLMs (öffnet in neuem Fenster)

Autoren: Ferran Gebellí, Lavinia Hriscu, Raquel Ros, Séverin Lemaignan, Alberto Sanfeliu, Anaís Garrell
Veröffentlicht in: 2025
Herausgeber: ACM
DOI: 10.5555/3721488.3721668

Towards a Theory of Awareness (öffnet in neuem Fenster)

Autoren: Ricardo Sanz, Manuel Rodríguez, Martín Molina, Esther Aguado, Virgilio Gómez
Veröffentlicht in: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
Herausgeber: SCITEPRESS - Science and Technology Publications
DOI: 10.5220/0012595100003636

Category Theory for Autonomous Robots: The Marathon 2 Use Case (öffnet in neuem Fenster)

Autoren: Aguado, Esther; Gómez, Virgilio; Hernando, Miguel; Rossi, Claudio; Sanz, Ricardo
Veröffentlicht in: Robot 2023: Sixth Iberian Robotics Conference, 2024
Herausgeber: Springer
DOI: 10.48550/ARXIV.2303.01152

A Methodology for Designing Knowledge-Driven Missions for Robots (öffnet in neuem Fenster)

Autoren: Guillermo GP-Lenza, Carmen DR.Pita-Romero, Miguel Fernandez-Cortizas, Pascual Campoy
Veröffentlicht in: 2024 7th Iberian Robotics Conference (ROBOT), 2024
Herausgeber: IEEE
DOI: 10.1109/ROBOT61475.2024.10796896

Portable Multi-Hypothesis Monte Carlo Localization for Mobile Robots (öffnet in neuem Fenster)

Autoren: Alberto García, Francisco Martín, José Miguel Guerrero, Francisco J. Rodríguez, Vicente Matellán
Veröffentlicht in: 2023 IEEE International Conference on Robotics and Automation (ICRA), 2023
Herausgeber: IEEE
DOI: 10.1109/ICRA48891.2023.10160957

Multi S-Graphs: An Efficient Distributed Semantic-Relational Collaborative SLAM (öffnet in neuem Fenster)

Autoren: Miguel Fernandez-Cortizas, Hriday Bavle, David Perez-Saura, Jose Luis Sanchez-Lopez, Pascual Campoy, Holger Voos
Veröffentlicht in: IEEE Robotics and Automation Letters, Ausgabe 9, 2024, ISSN 2377-3766
Herausgeber: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/LRA.2024.3399997

Data in Brief (öffnet in neuem Fenster)

Autoren: 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
Veröffentlicht in: Data in Brief, 2024, ISSN 2352-3409
Herausgeber: ScienceDirect
DOI: 10.1016/J.DIB.2024.111086

Autonomous Robots (öffnet in neuem Fenster)

Autoren: Steve Macenski; Shrijit Singh; Francisco Martín; Jonatan Ginés
Veröffentlicht in: Autonomous Robots, 2023, ISSN 0929-5593
Herausgeber: Kluwer Academic Publishers
DOI: 10.48550/ARXIV.2305.20026

A multi-UAV system for coverage path planning applications with in-flight re-planning capabilities (öffnet in neuem Fenster)

Autoren: Marco Andrés Luna; Martin Molina; Rodrigo Da‐Silva‐Gomez; Javier Melero‐Deza; Pedro Arias‐Perez; Pascual Campoy
Veröffentlicht in: Journal of Field Robotics, 2023, ISSN 1556-4967
Herausgeber: Wiley
DOI: 10.1002/ROB.22342

A survey of ontology-enabled processes for dependable robot autonomy (öffnet in neuem Fenster)

Autoren: Esther Aguado; Esther Aguado; Virgilio Gomez; Virgilio Gomez; Miguel Hernando; Claudio Rossi; Ricardo Sanz; Ricardo Sanz
Veröffentlicht in: Frontiers in Robotics and AI, 2024, ISSN 2296-9144
Herausgeber: Frontiers
DOI: 10.3389/FROBT.2024.1377897

IEEE Access (öffnet in neuem Fenster)

Autoren: Martin Vastl; Jonáš Kulhánek; Jiří Kubalík; Erik Derner; Robert Babuška
Veröffentlicht in: IEEE Access, 2024, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.48550/ARXIV.2205.15764

Bridging the Gap between Simulation and Real Autonomous UAV Flights in Industrial Applications (öffnet in neuem Fenster)

Autoren: Rafael Perez-Segui; Pedro Arias-Perez; Javier Melero-Deza; Miguel Fernandez-Cortizas; David Perez-Saura; Pascual Campoy
Veröffentlicht in: Aerospace, 2023, ISSN 2226-4310
Herausgeber: MDPI
DOI: 10.3390/AEROSPACE10090814

A visual questioning answering approach to enhance robot localization in indoor environments (öffnet in neuem Fenster)

Autoren: Juan Diego Peña-Narvaez, Francisco Martín, José Miguel Guerrero, Rodrigo Pérez-Rodríguez
Veröffentlicht in: Frontiers in Neurorobotics, Ausgabe 17, 2023, ISSN 1662-5218
Herausgeber: Frontiers Media SA
DOI: 10.3389/FNBOT.2023.1290584

Open source robot localization for nonplanar environments (öffnet in neuem Fenster)

Autoren: 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
Veröffentlicht in: Journal of Field Robotics, Ausgabe 41, 2025, ISSN 1556-4959
Herausgeber: Wiley
DOI: 10.1002/ROB.22353

Evaluation of a model-driven approach for the integration of robot operating system-based complex robot systems (öffnet in neuem Fenster)

Autoren: Nadia Hammoudeh García, Yuzhang Chen, David Lieb, Andreas Wortmann
Veröffentlicht in: International Journal of Advanced Robotic Systems, Ausgabe 22, 2025, ISSN 1729-8806
Herausgeber: SAGE Publications
DOI: 10.1177/17298806251363648

Learning Guided Automated Reasoning: A Brief Survey (öffnet in neuem Fenster)

Autoren: Lasse Blaauwbroek, David M. Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban
Veröffentlicht in: Lecture Notes in Computer Science, Logics and Type Systems in Theory and Practice, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-61716-4_4

Benchmarking Sim2Real Gap: High-fidelity Digital Twinning of Agile Manufacturing (öffnet in neuem Fenster)

Autoren: S. Katyaraa , S. Sharmab , P. Damacharlac , C.Garcia -Santiagoa , L. Dhiranid ,B. S. Chowdhrye
Veröffentlicht in: 2024
Herausgeber: arxiv
DOI: 10.48550/ARXIV.2409.10784

The Landscape of Collective Awareness in Multi-robot Systems (öffnet in neuem Fenster)

Autoren: Miguel Fernandez-Cortizas, David Perez-Saura, Ricardo Sanz, Martin Molina, Pascual Campoy
Veröffentlicht in: Springer Proceedings in Advanced Robotics, European Robotics Forum 2024, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-76424-0_17

Category Theory for Autonomous Robots: The Marathon 2 Use Case (öffnet in neuem Fenster)

Autoren: Esther Aguado, Virgilio Gómez, Miguel Hernando, Claudio Rossi, Ricardo Sanz
Veröffentlicht in: Lecture Notes in Networks and Systems, Robot 2023: Sixth Iberian Robotics Conference, 2024
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-58676-7_4

A Higher-Order Vampire (Short Paper) (öffnet in neuem Fenster)

Autoren: Ahmed Bhayat, Martin Suda
Veröffentlicht in: Lecture Notes in Computer Science, Automated Reasoning, 2025
Herausgeber: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63498-7_5

Collaborating for Success: Optimizing System Efficiency and Resilience Under Agile Industrial Settings (öffnet in neuem Fenster)

Autoren: Sunny Katyara, Suchita Sharma, Praveen Damacharla, Carlos Garcia Santiago, Francis O'Farrell, Philip Long
Veröffentlicht in: Cornel university, 2024
Herausgeber: arxiv
DOI: 10.48550/ARXIV.2409.08166

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0