SVG Image
< Terug naar evenementen
 LAB42 lezing: Effectiviteit van Mission-time Linear Temporal Logic (MLTL) in AI-toepassingen
8
Maart
2024

LAB42 lezing: Effectiviteit van Mission-time Linear Temporal Logic (MLTL) in AI-toepassingen

Temporele logica is een essentieel hulpmiddel geworden voor veel AI-toepassingen, van verificatie tot planning en synthese. Mission-time Linear Temporal Logic (MLTL) voegt gehele grenzen met gesloten intervallen toe aan de temporele operatoren van LTL, waardoor eenheid-agnostische specificatie over eindige sporen mogelijk wordt. Het is misschien wel de meest gebruikte variant van MTL en de meest gebruikte subset van STL in industriële en AI-toepassingen. MLTL optimaliseert de afweging tussen de uitdrukbaarheid van een breed scala aan realistische vereisten en de mogelijkheid om generieke, eenvoudig te valideren formules te schrijven. We benadrukken succesvolle AI-toepassingen rond MLTL-vereisten, waaronder Robonaut2 en de NASA Lunar Gateway Vehicle System Manager. We bieden een overzicht van de vooruitgang bij het analyseren van MLTL, leggen de motivatie achter deze ontwikkelingen uit en benadrukken hiaten in de stand van de techniek waar toekomstig werk nodig is.

FOAM-seminars
Het FOAM Seminar, georganiseerd door computerwetenschappers van het ILLC, biedt onderzoek naar vragen van fundamentele aard in de informatica en AI, op onderzoeksgebieden als algoritmen, optimalisatie, datamanagement, planning, kennisrepresentatie en multi-agent systemen. De lezingen zijn breed toegankelijk en worden gepitcht op het niveau dat je aantreft tijdens een plenaire lezing van een relevante conferentie (zoals IJCAI, AAAI, KR, ICAPS, AAMAS, EC, PODS, LICS, STOC, FOCS en SODA).

Aankomend >

Aankomende evenementen

Bekijk alle evenementen >
Kickstart AI Meetup: AI in Interactive Worlds, all about spatial computing

13 februari

Kickstart AI Meetup: AI in Interactive Worlds, all about spatial computing

Kickstart AI organiseert op donderdag 13 februari 2025 een inspirerende meetup in Amsterdam. Ontdek hoe AI de creatieve industrieën transformeert, van 3D-ontwerp tot game-animaties. Mis deze kans niet om te leren van experts en mee te discussiëren over de toekomst van AI in ruimtelijk computergebruik.

Lees meer >

Controletheorie en versterkend leren: verbindingen en uitdagingen

17 - 21 Maart 2025

Controletheorie en versterkend leren: verbindingen en uitdagingen

Dit voorjaarsprogramma 2025 bij CWI brengt experts uit de regeltheorie en reinforcement learning samen om gedeelde uitdagingen en kansen te verkennen.

Lees meer >

Responsible AI bij het RAAIT Congress 2025

27 Maart 2025

Responsible AI bij het RAAIT Congress 2025

Hoe kun je kunstmatige intelligentie (AI) inzetten om mens, maatschappij en de planeet te ondersteunen? Dit is de centrale vraag van het programma Responsible Applied Artificial Intelligence (RAAIT). In samenwerking met drie universiteiten Amsterdam, Rotterdam en Utrecht en diverse praktijkpartners, werkt RAAIT aan oplossingen die de verantwoorde toepassing van AI bevorderen. Deze innovatieve benaderingen worden gepresenteerd tijdens het Responsible AI Congres & Experience op donderdag 27 maart 2025.

Lees meer >