[PlanetKR] Description Logic Online Seminar September Edition

[Ana Ozaki]

Dear members of the KR 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.

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://kr.org/pipermail/planetkr/attachments/20240819/b8165bd8/attachment.htm>