[DL] Description Logic Online Seminar September Edition

[Ana Ozaki]

Dear members of the DL community,

We are very happy to announce that we are restarting this semester the Description Logic Seminar (https://dl.kr.org/seminar). The next edition will be on Friday September 6th at 2pm CET (*save the date*) . We are very pleased to have a talk by Elena Botoeva, University of Kent. Please find title/abstract below.

Speaker: Elena Botoeva

Title: Verification of neural-symbolic multi-agent systems

Abstract: Many artificial intelligence (AI) systems are designed to perform complex tasks in safety-critical scenarios.  To verify safety and more general properties about the evolution of such systems, in this talk I will present a powerful formalisation of AI agents as neural-symbolic agents composed of a neural perception system and a symbolic controller. The neural component performs an observation of the environment, based on which the controller chooses available actions. This formalisation allows us to capture a wide range of expressive AI systems, including single or multiple agents. I present a Mixed-Integer Linear Programming-based approach to verifying such systems against bounded temporal logic properties, which can be used for identifying shallow bugs in the system, and demonstrate it on a complex scenario of multiple aircraft operating an air-traffic collision avoidance system (VCAS).

The meeting will take place via Zoom:

https://uib.zoom.us/j/68566050538?pwd=6r1VmBJHCVu4Dro024QsV1Ez288j2D.1
Meeting ID: 685 6605 0538
Password: MLU1JamU

Best wishes,
Ana, Magdalena, Meghyn, and Jean

PS: Just a reminder that you can join the KR community Discord (and the #dl channel) via https://discord.gg/BBWpqEZT2v. Besides other relevant information regarding the KR & DL communities such as academic events and job offers, you will find talk announcements of the DL Seminar Series and other online events as well.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20240819/2cbdb106/attachment.htm>