Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
LTL representation of road junction rules: https://github.com/laca-is/SAE-RoR.
- 2.
For the sake of clarity of the rules of the road language, we choose to use the term enter as an action which represents not only a driver entering a road junction, but also emerging from a road junction to another road.
References
Alves, G.V., Dennis, L., Fisher, M.: Formalisation of the rules of the road for embedding into an autonomous vehicle agent. In: International Workshop on Verification and Validation of Autonomous Systems, Oxford, UK, pp. 1–2, July 2018. https://sites.google.com/site/wsvavas2018/home/proceedings
BBC News: UK wants fully autonomous cars on road, February 2019. https://www.bbc.com/news/technology-47144449
Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
Burkacky, O., Deichmann, J., Doll, G., Knochenhauer, C.: Rethinking car software and electronics architecture | McKinsey. https://www.mckinsey.com/industries/automotive-and-assembly/our-insights/rethinking-car-software-and-electronics-architecture
Davey, T.: Towards a code of ethics in artificial intelligence with Paula Boddington, July 2017. https://futureoflife.org/2017/07/31/towards-a-code-of-ethics-in-artificial-intelligence/
Dennis, L.A.: Gwendolen semantics: 2017. Technical report ULCS-17-001, University of Liverpool, Department of Computer Science (2017)
Dennis, L.A., Fisher, M., Webster, M.P., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. 19(1), 5–63 (2012). https://doi.org/10.1007/s10515-011-0088-x
Department for Transport: Using the road (159 to 203) - The Highway Code - Guidance - GOV.UK (2017). https://www.gov.uk/guidance/the-highway-code/using-the-road-159-to-203
Fernandes, L.E.R., Custodio, V., Alves, G.V., Fisher, M.: A rational agent controlling an autonomous vehicle: implementation and formal verification. In: Bulwahn, L., Kamali, M., Linker, S. (eds.) Proceedings First Workshop on Formal Verification of Autonomous Vehicles. Electronic Proceedings in Theoretical Computer Science, vol. 257, pp. 35–42 (2017). https://doi.org/10.4204/EPTCS.257.5
Fisher, M.: An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, Hoboken (2011). https://doi.org/10.1002/9781119991472, http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470027886.html
Herrmann, A., Brenner, W., Stadler, R.: Autonomous Driving: How the Driverless Revolution will Change the World, 1st edn. Emerald Publishing, Bingley (2018)
Law Commission - UK: Automated Vehicles: Summary of the Analysis of Responses to the Preliminary Consultation Paper, June 2019. https://www.lawcom.gov.uk/project/automated-vehicles/
Marks, J.: How to ensure the safety of self-driving cars: Part 1/5, June 2018. https://medium.com/@olley_io/how-to-ensure-the-safety-of-self-driving-cars-part-1-5-2fcc891ea90b
Pattis, R.E.: Teaching EBNF first in CS 1. In: Proceedings of the Twenty-Fifth SIGCSE Symposium on Computer Science Education, Phoenix, Arizona, USA, pp. 300–303. SIGCSE 1994. ACM, New York (1994). https://doi.org/10.1145/191029.191155
Prakken, H.: On the problem of making autonomous vehicles conform to traffic law. Artif. Intell. Law 25(3), 341–363 (2017). https://doi.org/10.1007/s10506-017-9210-0, https://doi.org/10.1007/s10506-017-9210-0
Southworth, P.: Driverless cars to be on Britain’s roads by the end of the year, government reveals. The Telegraph, February 2019. https://www.telegraph.co.uk/news/2019/02/06/driverless-cars-britains-roads-end-year-government-reveals/
Vellinga, N.E.: From the testing to the deployment of self-driving cars: legal challenges to policymakers on the road ahead. Comput. Law Secur. Rev. 33(6), 847–863 (2017). https://doi.org/10.1016/j.clsr.2017.05.006, http://www.sciencedirect.com/science/article/pii/S0267364917301334
Wooldridge, M., Rao, A.: Foundations of Rational Agency, Applied Logic Series, vol. 14. Springer, Netherlands (1999). https://doi.org/10.1007/978-94-015-9204-8, http://www.springer.com/gp/book/9780792356011
Acknowledgements
Work partially supported through EPSRC research project Verifiable Autonomy [EP/L024845].
The authors kindly thank the anonymous reviewers for the insightful suggestions which have considerably improved the quality of our paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Alves, G.V., Dennis, L., Fisher, M. (2020). Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent. In: Sekerinski, E., et al. Formal Methods. FM 2019 International Workshops. FM 2019. Lecture Notes in Computer Science(), vol 12232. Springer, Cham. https://doi.org/10.1007/978-3-030-54994-7_16
Download citation
DOI: https://doi.org/10.1007/978-3-030-54994-7_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-54993-0
Online ISBN: 978-3-030-54994-7
eBook Packages: Computer ScienceComputer Science (R0)