{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T16:30:02Z","timestamp":1780677002408,"version":"3.54.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T00:00:00Z","timestamp":1694476800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T00:00:00Z","timestamp":1694476800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001779","name":"Monash University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001779","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Rev Socionetwork Strat"],"published-print":{"date-parts":[[2023,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Improving the safety of autonomous vehicles (AVs) by making driving decisions in accordance with traffic rules is a complex task. Traffic rules are often expressed in a way that allows for interpretation and exceptions, making it difficult for AVs to follow them. This paper proposes a novel methodology for driving decision making in AVs based on defeasible deontic logic (DDL). We use DDL to formalize traffic rules and facilitate automated reasoning, allowing for the effective handling of rule exceptions and the resolution of vague terms in rules. To supplement the information provided by traffic rules, we incorporate an ontology for AV driving behaviour and environment information. By applying automated reasoning to formalized traffic rules and ontology-based AV driving information, our methodology enables AVs to make driving decisions in accordance with traffic rules. We present a case study focussing on the overtaking traffic rule to illustrate the usefulness of our methodology. Our evaluation demonstrates the effectiveness of the proposed driving decision-making methodology, highlighting its potential to improve the safety of AVs on the road.<\/jats:p>","DOI":"10.1007\/s12626-023-00147-x","type":"journal-article","created":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T08:02:27Z","timestamp":1694505747000},"page":"233-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules"],"prefix":"10.1007","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6064-8525","authenticated-orcid":false,"given":"Hanif","family":"Bhuiyan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2144-4909","authenticated-orcid":false,"given":"Andry","family":"Rakotonirainy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0419-9443","authenticated-orcid":false,"given":"Meng Weng","family":"Wong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9925-1533","authenticated-orcid":false,"given":"Avishkar","family":"Mahajan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,9,12]]},"reference":[{"issue":"1","key":"147_CR1","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MITS.2016.2583491","volume":"9","author":"P Koopman","year":"2017","unstructured":"Koopman, P., & Wagner, M. (2017). Autonomous vehicle safety: An interdisciplinary challenge. IEEE Intelligent Transportation Systems Magazine, 9(1), 90\u201396. https:\/\/doi.org\/10.1109\/MITS.2016.2583491","journal-title":"IEEE Intelligent Transportation Systems Magazine"},{"issue":"1","key":"147_CR2","first-page":"110","volume":"1","author":"G Khorasani","year":"2013","unstructured":"Khorasani, G., Tatari, A., Yadollahi, A., & Rahimi, M. (2013). Evaluation of intelligent transport system in road safety. International Journal of Chemical, Environmental and Biological Sciences (IJCEBS), 1(1), 110\u2013118.","journal-title":"International Journal of Chemical, Environmental and Biological Sciences (IJCEBS)"},{"key":"147_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-022-09340-9","author":"H Bhuiyan","year":"2023","unstructured":"Bhuiyan, H., Governatori, G., Bond, A., & Rakotonirainy, A. (2023). Traffic rules compliance checking of automated vehicle maneuvers. Artificial Intelligence and Law Journal. https:\/\/doi.org\/10.1007\/s10506-022-09340-9","journal-title":"Artificial Intelligence and Law Journal"},{"issue":"2","key":"147_CR4","doi-asserted-by":"publisher","first-page":"193","DOI":"10.5235\/17579961.6.2.193","volume":"6","author":"R Leenes","year":"2014","unstructured":"Leenes, R., & Lucivero, F. (2014). Laws on robots, laws by robots, laws in robots: Regulating robot behaviour by design. Law, Innovation and Technology, 6(2), 193\u2013220.","journal-title":"Law, Innovation and Technology"},{"issue":"1","key":"147_CR5","first-page":"110","volume":"1","author":"G Khorasani","year":"2013","unstructured":"Khorasani, G., Tatari, A., Yadollahi, A., & Rahimi, M. (2013). Evaluation of intelligent transport system in road safety. International Journal of Chemical Environmental & Biological Sciences (IJCEBS), 1(1), 110\u2013118.","journal-title":"International Journal of Chemical Environmental & Biological Sciences (IJCEBS)"},{"key":"147_CR6","doi-asserted-by":"crossref","unstructured":"Leenes, R., Lucivero, F. (2015). Laws on robots, laws by robots, laws in robots: Regulating robot behaviour by design. 2015, pp. 193\u2013220.","DOI":"10.5235\/17579961.6.2.193"},{"key":"147_CR7","doi-asserted-by":"publisher","unstructured":"Rizaldi, A., et al. (2017). Formalising and monitoring traffic rules for autonomous vehicles in isabelle\/HOL. In Integrated formal methods. Lecture notes in computer science (vol. 10510, pp. 50\u201366). Springer. https:\/\/doi.org\/10.1007\/978-3-319-66845-1_4.","DOI":"10.1007\/978-3-319-66845-1_4"},{"issue":"6","key":"147_CR8","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1007\/s10992-013-9295-1","volume":"42","author":"G Governatori","year":"2013","unstructured":"Governatori, G., Olivieri, F., Rotolo, A., & Scannapieco, S. (2013). Computing strong and weak permissions in defeasible logic. Journal of Philosophical Logic, 42(6), 799\u2013829. https:\/\/doi.org\/10.1007\/s10992-013-9295-1","journal-title":"Journal of Philosophical Logic"},{"key":"147_CR9","doi-asserted-by":"crossref","unstructured":"Governatori, G., Romeu, P.C., & de Koker, L. (2020). On the formal representation of the australian spent conviction scheme. In V. Guti\u00e9rrez-Basulto, T. Kliegr, A. Soylu, M. Giese, & D. Roman (Eds.), Rules and reasoning (pp. 177\u2013185). Springer International Publishing.","DOI":"10.1007\/978-3-030-57977-7_14"},{"key":"147_CR10","doi-asserted-by":"publisher","unstructured":"Witt, A., Huggins, A., Governatori, G., & Buckley, J. (2021). Converting copyright legislation into machine-executable code: interpretation, coding validation and legal alignment. In Presented at the 18th ICAIL, S\u00e3o Paulo, Brazil, 2021. https:\/\/doi.org\/10.1145\/3462757.3466083.","DOI":"10.1145\/3462757.3466083"},{"key":"147_CR11","first-page":"655","volume":"2","author":"G Governatori","year":"2021","unstructured":"Governatori, G., et al. (2021). Logic and the law: Philosophical foundations, deontics, and defeasible reasoning. Handbook of Deontic Logic and Normative Reasoning, 2, 655\u2013760.","journal-title":"Handbook of Deontic Logic and Normative Reasoning"},{"key":"147_CR12","doi-asserted-by":"crossref","unstructured":"Collenette, J., Dennis, L. A., & Fisher, M. (2022). Advising autonomous cars about the rules of the road. arXiv:2209.14035. https:\/\/arxiv.org\/abs\/2209.14035.","DOI":"10.4204\/EPTCS.371.5"},{"issue":"3","key":"147_CR13","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s10506-017-9210-0","volume":"25","author":"H Prakken","year":"2017","unstructured":"Prakken, H. (2017). On the problem of making autonomous vehicles conform to traffic law. Artificial Intelligence and Law, 25(3), 341\u2013363. https:\/\/doi.org\/10.1007\/s10506-017-9210-0","journal-title":"Artificial Intelligence and Law"},{"key":"147_CR14","doi-asserted-by":"crossref","unstructured":"Yu, W., Li, J., Peng, L.-M., Xiong, X., Yang, K., & Wang, H. (2022). SOTIF risk mitigation based on unified ODD monitoring for autonomous vehicles. Journal of Intelligent and Connected Vehicles (no. ahead-of-print).","DOI":"10.1108\/JICV-04-2022-0015"},{"key":"147_CR15","doi-asserted-by":"publisher","first-page":"012011","DOI":"10.1088\/1757-899x\/235\/1\/012011","volume":"235","author":"Z Zhang","year":"2017","unstructured":"Zhang, Z., et al. (2017). The visual representation and acquisition of driving knowledge for autonomous vehicle. IOP Conference Series: Materials Science and Engineering, 235, 012011. https:\/\/doi.org\/10.1088\/1757-899x\/235\/1\/012011","journal-title":"IOP Conference Series: Materials Science and Engineering"},{"key":"147_CR16","doi-asserted-by":"publisher","unstructured":"Bhuiyan, H., Governatori, G., Islam, M. B., Bond, A., & Rakotonirainy, A. (2020). Traffic rules encoding using defeasible deontic logic. In Legal knowledge and information systems: JURIX 2020: the thirty-third annual conference, 2020. https:\/\/doi.org\/10.3233\/FAIA200844.","DOI":"10.3233\/FAIA200844"},{"key":"147_CR17","unstructured":"Morignot, P., & Nashashibi, F. (2012). An ontology-based approach to relax traffic regulation for autonomous vehicle assistance. https:\/\/arxiv.org\/ftp\/arxiv\/papers\/1212\/1212.0768.pdf. Accessed 30 Dec 2022."},{"key":"147_CR18","doi-asserted-by":"publisher","unstructured":"Zhao, L., Ichise, R., Sasaki, Y., Zheng, L., & Yoshikawa, T. (2016). Fast decision making using ontology-based knowledge base. In Intelligent vehicles symposium (IV) (pp. 173\u2013178). https:\/\/doi.org\/10.1109\/IVS.2016.7535382.","DOI":"10.1109\/IVS.2016.7535382"},{"key":"147_CR19","doi-asserted-by":"publisher","unstructured":"Buechel, M., Hinz, G., Ruehl, F., Schroth, H., Gyoeri, C., & Knoll, A. (2017). Ontology-based traffic scene modeling, traffic regulations dependent situational awareness and decision-making for automated vehicles. In 2017 IEEE intelligent vehicles symposium (IV) (pp. 1471\u20131476). https:\/\/doi.org\/10.1109\/IVS.2017.7995917.","DOI":"10.1109\/IVS.2017.7995917"},{"key":"147_CR20","doi-asserted-by":"publisher","first-page":"2492765","DOI":"10.1155\/2017\/2492765","volume":"2017","author":"SS Shadrin","year":"2017","unstructured":"Shadrin, S. S., Varlamov, O. O., & Ivanov, A. M. (2017). Experimental autonomous road vehicle with logical artificial intelligence. Journal of Advanced Transportation, 2017, 2492765. https:\/\/doi.org\/10.1155\/2017\/2492765","journal-title":"Journal of Advanced Transportation"},{"key":"147_CR21","doi-asserted-by":"publisher","first-page":"012025","DOI":"10.1088\/1757-899x\/534\/1\/012025","volume":"534","author":"DV Aladin","year":"2019","unstructured":"Aladin, D. V., Varlamov, O. O., Chuvikov, D. A., Chernenkiy, V. M., Smelkova, E. A., & Baldin, A. V. (2019). Logic-based artificial intelligence in systems for monitoring the enforcing traffic regulations. IOP Conference Series: Materials Science and Engineering, 534, 012025. https:\/\/doi.org\/10.1088\/1757-899x\/534\/1\/012025","journal-title":"IOP Conference Series: Materials Science and Engineering"},{"key":"147_CR22","unstructured":"Alves, G. V., Dennis, L., & Fisher, M. (2021). An agent-based architecture with support to ethical decisions on a road traffic scenario. In IROS workshop on building and evaluating ethical robotic systems 2021. https:\/\/personalpages.manchester.ac.uk\/staff\/louise.dennis\/pubs\/ADFers21.pdf. Accessed 29 Dec 2022."},{"issue":"4","key":"147_CR23","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1093\/ijlit\/eaac002","volume":"29","author":"S McLachlan","year":"2021","unstructured":"McLachlan, S., Neil, M., Dube, K., Bogani, R., Fenton, N., & Schaffer, B. (2021). Smart automotive technology adherence to the law:(De) constructing road rules for autonomous system development, verification and safety. International Journal of Law and Information Technology, 29(4), 255\u2013295. https:\/\/doi.org\/10.1093\/ijlit\/eaac002","journal-title":"International Journal of Law and Information Technology"},{"key":"147_CR24","unstructured":"Dean, A., & Jim, H. (2011). Semantic web for the working ontologist: Effective modeling in RDFS and OWL. Elsevier."},{"key":"147_CR25","doi-asserted-by":"publisher","unstructured":"Zhao, L., Ichise, R., Mita, S., & Sasaki, Y. (2015). Ontologies for advanced driver assistance systems,\" \u4eba\u5de5\u77e5\u80fd\u5b66\u4f1a\u7b2c\u4e8c\u7a2e\u7814\u7a76\u4f1a\u8cc7\u6599 (vol. 2015, no. SWO-035, p. 03). https:\/\/doi.org\/10.11517\/jsaisigtwo.2015.SWO-035_03.","DOI":"10.11517\/jsaisigtwo.2015.SWO-035_03"},{"key":"147_CR26","doi-asserted-by":"publisher","unstructured":"Suryawanshi, Y., Qiu, H., Ayara, A., & Glimm, B. (2019). An ontological model for map data in automotive systems. In Second international conference on artificial intelligence and knowledge engineering (AIKE) (pp. 140\u2013147). https:\/\/doi.org\/10.1109\/AIKE.2019.00034.","DOI":"10.1109\/AIKE.2019.00034"},{"key":"147_CR27","doi-asserted-by":"publisher","unstructured":"Rizaldi, A., Immler, F., & Althoff, M. (2016). A formally verified checker of the safe distance traffic rules for autonomous vehicles. In NASA formal methods. lecture notes in computer science (vol. 9690, pp. 175\u2013190). Springer. https:\/\/doi.org\/10.1007\/978-3-319-40648-0_14.","DOI":"10.1007\/978-3-319-40648-0_14"},{"key":"147_CR28","doi-asserted-by":"publisher","unstructured":"Pek, C., Zahn, P., & Althoff, M. (2017). Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules. In IEEE intelligent vehicles symposium (IV) (pp. 1477\u20131483). https:\/\/doi.org\/10.1109\/IVS.2017.7995918.","DOI":"10.1109\/IVS.2017.7995918"}],"container-title":["The Review of Socionetwork Strategies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12626-023-00147-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s12626-023-00147-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s12626-023-00147-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T07:36:26Z","timestamp":1698392186000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s12626-023-00147-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,12]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2023,10]]}},"alternative-id":["147"],"URL":"https:\/\/doi.org\/10.1007\/s12626-023-00147-x","relation":{},"ISSN":["2523-3173","1867-3236"],"issn-type":[{"value":"2523-3173","type":"print"},{"value":"1867-3236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,12]]},"assertion":[{"value":"3 March 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 August 2023","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 September 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"On behalf of all authors, the corresponding author states that there is no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}