Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent
Autor: | Louise A. Dennis, Gleifer Vaz Alves, Michael Fisher |
---|---|
Rok vydání: | 2020 |
Předmět: |
Electronic speed control
Operations research Computer science 020207 software engineering 06 humanities and the arts 02 engineering and technology 0603 philosophy ethics and religion Road junction Order (business) Obstacle 0202 electrical engineering electronic engineering information engineering Code (cryptography) Temporal logic 060301 applied ethics Representation (mathematics) |
Zdroj: | Lecture Notes in Computer Science ISBN: 9783030549930 FM Workshops (1) |
Popis: | The design of autonomous vehicles includes obstacle detection and avoidance, route planning, speed control, etc. However, there is a lack of an explicitely representation of the rules of the road on an autonomous vehicle. Additionally, it is necessary to understand the behaviour of an autonomous vehicle in order to check whether or not it works according to the rules of the road. Here, we propose an agent-based architecture to embed the rules of the road into an agent representing the behaviour of an autonomous vehicle. We use temporal logic to formally represent the rules of the road in a way it should be possible to capture when and how a given rule of the road can be applied. Our contributions include: i. suggestion of changes in the rules of the road; ii. representation of rules in a suitable way for an autonomous vehicle agent; iii. dealing with indeterminate terms in the Highway Code. |
Databáze: | OpenAIRE |
Externí odkaz: |