PhD Seminar • Artificial Intelligence | Machine Learning • Counterexample-Driven Learning for Rule-Based SystemsExport this event to calendar

Wednesday, July 3, 2024 — 11:00 AM to 12:00 PM EDT

Please note: This PhD seminar will take place in DC 2314 and online.

Frédéric Bouchard, PhD candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Krzysztof Czarnecki

Autonomous vehicles benefit from an interpretable knowledge representation, to specify and verify the safety, reliability and legal conformance of the vehicle’s behaviour. Rules are typically more interpretable than alternative approaches, so in previous work we presented the architecture of a fully rule-based behaviour planner that is successfully deployed in a real autonomous vehicle.

In this work, we formalize the counterexample-driven learning procedure that we use to construct a rule base that aims to make decisions with understandable causality. Starting with a set of requirements and a precise notion of their violation, we show how an expert can efficiently learn a driving policy from counterexample situations. During operation, these situations provide an explanation of why a rule applies. We demonstrate our computer-aided learning procedure using the publicly-accessible Carla simulator, which provides a realistic and non-trivial operational design domain.


To attend this PhD seminar in person, please go to DC 2314.

You can also attend virtually using MS Teams at https://teams.microsoft.com/l/meetup-join/19%3ameeting_YjUwYjU1NzQtZTBkMy00YWFmLWE5Y2ItODUyMDQ0MzRhODE5%40thread.v2/0?context=%7b%22Tid%22%3a%22723a5a87-f39a-4a22-9247-3fc240c01396%22%2c%22Oid%22%3a%228c44c38c-7196-4669-a057-4223bfed7454%22%7d.

Location 
DC - William G. Davis Computer Research Centre
Hybrid: DC 2314 | Online PhD seminar
200 University Ave West

Waterloo, ON N2L 3G1
Canada
Event tags 

S M T W T F S
30
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
  1. 2024 (186)
    1. September (1)
    2. August (6)
    3. July (21)
    4. June (17)
    5. May (23)
    6. April (41)
    7. March (27)
    8. February (25)
    9. January (25)
  2. 2023 (296)
    1. December (20)
    2. November (28)
    3. October (15)
    4. September (25)
    5. August (30)
    6. July (30)
    7. June (22)
    8. May (23)
    9. April (32)
    10. March (31)
    11. February (18)
    12. January (22)
  3. 2022 (245)
  4. 2021 (210)
  5. 2020 (217)
  6. 2019 (255)
  7. 2018 (217)
  8. 2017 (36)
  9. 2016 (21)
  10. 2015 (36)
  11. 2014 (33)
  12. 2013 (23)
  13. 2012 (4)
  14. 2011 (1)
  15. 2010 (1)
  16. 2009 (1)
  17. 2008 (1)