November 3rd, 2024
November 3rd, 2024
Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology
Located @KR 2024, Hanoi, Vietnam
SYNERGY is a workshop that aims at fostering in-depth discussions on Knowledge Representation (KR) and neuro-symbolic architectures with the goal of advancing intelligent robotics to new levels of sophistication.
Integrating robust KR-based methodologies into robot-centric architectures holds significant promise for enhancing the intelligence of robotic systems. However, the development of such architectures is complex, typically involving diverse components each with unique challenges. Effective coordination among these components is essential, demanding well-defined yet flexible architectures.
Recent advancements in machine learning (ML) and large-language models (LLMs) have brought opportunities for transformative breakthroughs in robotics through neuro-symbolic architectures. However, along with these opportunities come notable challenges. For instance, LLMs can facilitate smoother human-machine interfaces and serve as repositories of common-sense knowledge. Nonetheless, their susceptibility to prompt phrasing and tendency to generate erroneous outputs pose substantial hurdles, particularly in mission-critical and safety-critical applications like robotics.
SYNERGY offers a platform for experts across these domains to share their research and experiences, focusing on the challenges encountered and potential solutions. While the workshop centers on KR-based architectures, we also invite submissions related to ML and LLMs, provided they clearly demonstrate relevance and significance to KR and neuro-symbolic architectures within the context of intelligent robotics.
From Infinite to Finite Traces and Back: Linear Temporal Logic in Sequential Decision Making
Linear Temporal Logic (LTL) has a long history in CS and AI due to its ability to express sophisticated temporal properties over infinite traces. Recently, finite-trace variants of LTL, such as LTL on Finite Traces (LTLf) and Pure Past LTL (PPLTL), have gained popularity in AI, particularly in sequential decision-making tasks where an autonomous agent nominally loops through three finite phases: acquiring a goal, reasoning strategically to achieve it, and executing the resulting strategy (or plan). A key advantage of these finite-trace variants is their reducibility to equivalent regular automata, which can be determinized and transformed into two-player games on graphs. This gives them unprecedented computational effectiveness and scalability. Can these advantages be extended to infinite traces? In this talk, we provide a positive answer. By leveraging Manna and Pnueli’s safety-progress hierarchy for LTL, we introduce infinite-trace extensions of LTLf and PPLTL that retain the full expressive power of LTL, while preserving the crucial feature that the game arena for strategy extraction can still be derived from deterministic finite automata.
Formal Aspects of Strategic Reasoning
Strategic reasoning is essential in numerous fields, including game theory, artificial intelligence, economics, and cybersecurity, as it involves devising and analyzing strategies to achieve goals in both competitive and cooperative settings. This talk will explore the formal aspects of strategic reasoning, focusing on the mathematical and logical underpinnings that enable precise and effective strategy formulation. Key model frameworks, such as Alternating-time Temporal Logic (ATL) and Strategy Logic, one of the most powerful logic for strategic reasoning, will be discussed to illustrate their roles in understanding and predicting strategic interactions.
Answer Set Programming and Large Language Models interaction with YAML
Mario Alviano, Fabrizio Lo Scudo, Lorenzo Grillo, Luis Angel Rodriguez Reiners
Situation Calculus Temporally Lifted Abstractions for Generalized Planning
Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
An Experiment with LLM in Contract Extraction
Nhan Le, Tran Cao Son
Communication with Individuals with Disabilities and the Role of LLMs
May Lutzen, Marcello Balduccini
Here the Zoom Link to follow SYNERGY remotely: https://yorku.zoom.us/j/98334736209?pwd=BSu5pb7vbY7bXRh5QCGbtFbugWwTjY.1
Paper Submission Deadline: July 24, 2024
Notification Deadline: August 21, 2024
Workshop Registration Deadline: September 4, 2024
Camera-Ready Paper Due: September 28, 2024
SYNERGY Workshop: November 3rd, 2024
SYNERGY aims to provide a collaborative platform for experts working in knowledge representation, neuro-symbolic architectures, machine learning, and robotics to exchange ideas, discuss challenges, and explore innovative solutions. We encourage submissions that demonstrate clear connections to KR and neuro-symbolic architectures, even if the primary focus is on ML or LLMs.
The topics of interest for SYNERGY include, but are not limited to:
Knowledge representation frameworks for intelligent robotics
Neuro-symbolic architectures and their applications in robotics
Coordination and integration of multiple components in robot-focused architectures
Machine learning (ML) techniques and large-language models (LLMs) in the context of robotics
Interfaces and interactions between robots and humans enabled by ML and LLMs
Challenges and solutions in using ML and LLMs for robotics, with emphasis on safety and reliability
We welcome original research contributions, work-in-progress reports, and position papers addressing the workshop themes. We plan to publish original contributions as part of “CEURWorkshop Proceedings” (https://ceur-ws.org/index.html). Accepted non-original contributions will be given visibility on the conference Web site including a link to the original publication, if available.
Contributions must not exceed 14 pages (references excluded) for full papers and 7 pages (references excluded) for short papers. Contributions must be formatted using the single-column CEURART style (https://ceurws.wordpress.com/2020/03/31/ceurws-publishes-ceurart-paper-style/). All contributions must be written in English.
IMPORTANT NOTE REGARDING THE OVERLEAF TEMPLATE: Overleaf has recently imposed limits on project compilation times. The template provided for the CEURAT website (found here) might exceed these limits. To avoid this issue, we recommend either using a local installation of LaTeX or try one or all of the followings
changing the compiler from "lualatex" to "pdflatex";
removing the figure located on lines 461 to 467 of the original template. This figure is quite large and can cause the template to fail during compilation; or
trying to compile the project multiple times, as the failed compilation might be resolved with another attempt.
All the papers must be submitted through the CMT portal: https://cmt3.research.microsoft.com/KR2024/Track/26/Submission/Create.
At least one author of each accepted paper will be required to attend the workshop to present the contribution.
Program Co-Chairs:
Francesco Fabiano, New Mexico State University
Marcello Balduccini, Saint Joseph's University
Local Chair:
Yves Lesperance, York University
Program Committee
Daniela Inclezan, Miami University
Esra Erdem, Sabanci University
Fabio Tardivo, New Mexico State University
Francesco Ricca, University of Calabria
Gopal Gupta, University of Texas at Dallas
Mario Alviano, University of Calabria
Son Tran, New Mexico State University
Please direct any inquiries and questions to SYNERGY's co-chairs:
Francesco Fabiano: ffabiano@nmsu.edu
Marcello Balduccini: mbalducc@sju.edu