{"id":"https://openalex.org/W7123580541","doi":"https://doi.org/10.1145/3769126.3769222","title":"Towards Machine-Readable Traffic Laws: Formalizing Traffic Rules into PROLOG Using LLMs","display_name":"Towards Machine-Readable Traffic Laws: Formalizing Traffic Rules into PROLOG Using LLMs","publication_year":2025,"publication_date":"2025-06-16","ids":{"openalex":"https://openalex.org/W7123580541","doi":"https://doi.org/10.1145/3769126.3769222"},"language":null,"primary_location":{"id":"doi:10.1145/3769126.3769222","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3769126.3769222","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Artificial Intelligence and Law","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3769126.3769222","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055349923","display_name":"May Myo Zin","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"May Myo Zin","raw_affiliation_strings":["Center for Juris-Informatics, ROIS-DS, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0000-0003-1315-7704","affiliations":[{"raw_affiliation_string":"Center for Juris-Informatics, ROIS-DS, Tokyo, Japan","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076266135","display_name":"Georg Borges","orcid":"https://orcid.org/0009-0001-3060-6543"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Georg Borges","raw_affiliation_strings":["Institute of Legal Informatics, Saarland University, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0009-0001-3060-6543","affiliations":[{"raw_affiliation_string":"Institute of Legal Informatics, Saarland University, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122956377","display_name":"Ken Satoh","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ken Satoh","raw_affiliation_strings":["Center for Juris-Informatics, ROIS-DS, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0000-0002-9309-4602","affiliations":[{"raw_affiliation_string":"Center for Juris-Informatics, ROIS-DS, Tokyo, Japan","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037991226","display_name":"Wachara Fungwacharakorn","orcid":"https://orcid.org/0000-0001-9294-3118"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wachara Fungwacharakorn","raw_affiliation_strings":["Center for Juris-Informatics, ROIS-DS, Tokyo, Japan"],"raw_orcid":"https://orcid.org/0000-0001-9294-3118","affiliations":[{"raw_affiliation_string":"Center for Juris-Informatics, ROIS-DS, Tokyo, Japan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5055349923"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.8184578,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"327","last_page":"336"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.11819999665021896,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.11819999665021896,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.08789999783039093,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10883","display_name":"Ethics and Social Impacts of AI","score":0.07360000163316727,"subfield":{"id":"https://openalex.org/subfields/3311","display_name":"Safety Research"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.6570000052452087},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6309000253677368},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.49540001153945923},{"id":"https://openalex.org/keywords/structuring","display_name":"Structuring","score":0.4433000087738037},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.42170000076293945},{"id":"https://openalex.org/keywords/clarity","display_name":"CLARITY","score":0.40049999952316284},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.38339999318122864},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.36570000648498535}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7775999903678894},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.6570000052452087},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6309000253677368},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5181000232696533},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49540001153945923},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4758000075817108},{"id":"https://openalex.org/C2775945657","wikidata":"https://www.wikidata.org/wiki/Q381442","display_name":"Structuring","level":2,"score":0.4433000087738037},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.42170000076293945},{"id":"https://openalex.org/C2777146004","wikidata":"https://www.wikidata.org/wiki/Q14949826","display_name":"CLARITY","level":2,"score":0.40049999952316284},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.38339999318122864},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3776000142097473},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.36570000648498535},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.3617999851703644},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.3456999957561493},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.3325999975204468},{"id":"https://openalex.org/C43971567","wikidata":"https://www.wikidata.org/wiki/Q3142865","display_name":"Logical reasoning","level":2,"score":0.3248000144958496},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3248000144958496},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.3012999892234802},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2962999939918518},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.28279998898506165},{"id":"https://openalex.org/C149271511","wikidata":"https://www.wikidata.org/wiki/Q1417149","display_name":"Rule-based system","level":2,"score":0.2773999869823456},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.27730000019073486},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.26080000400543213}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3769126.3769222","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3769126.3769222","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Artificial Intelligence and Law","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3769126.3769222","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3769126.3769222","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Artificial Intelligence and Law","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W184205147","https://openalex.org/W330957375","https://openalex.org/W1516849327","https://openalex.org/W2124648060","https://openalex.org/W2488996366","https://openalex.org/W2517053857","https://openalex.org/W2742088440","https://openalex.org/W2749567864","https://openalex.org/W2964293362","https://openalex.org/W3028335312","https://openalex.org/W3038904154","https://openalex.org/W3108234170","https://openalex.org/W3121030992","https://openalex.org/W3210646386","https://openalex.org/W4247645579","https://openalex.org/W4250846042","https://openalex.org/W4284699363","https://openalex.org/W4285113095","https://openalex.org/W4285813032","https://openalex.org/W4285813063","https://openalex.org/W4317655887","https://openalex.org/W4387645481","https://openalex.org/W4399035888","https://openalex.org/W4400646406","https://openalex.org/W4405042789"],"related_works":[],"abstract_inverted_index":{"Ensuring":[0],"autonomous":[1],"vehicles":[2],"(AVs)":[3],"adhere":[4],"to":[5,38,48,137],"traffic":[6,53,77,155],"rules":[7,14,54,65,78],"is":[8,32],"crucial":[9],"for":[10,23,62,89,133,145],"safety.":[11],"Formalizing":[12],"these":[13],"into":[15,55,85,96],"machine-readable":[16],"formats":[17],"offers":[18],"a":[19,57],"consistent,":[20],"unambiguous":[21],"foundation":[22],"automated":[24],"reasoning":[25],"and":[26,36,66,91,93,109,153],"compliance.":[27],"However,":[28],"the":[29,50,115,131,143],"formalization":[30],"process":[31],"traditionally":[33],"manual,":[34],"resource-intensive,":[35],"prone":[37],"error.":[39],"This":[40],"study":[41],"explores":[42],"using":[43,99],"large":[44],"language":[45,60,102],"models":[46],"(LLMs)":[47],"automate":[49],"translation":[51],"of":[52,72,117],"PROLOG,":[56],"declarative":[58],"programming":[59],"ideal":[61],"encoding":[63],"logical":[64],"relationships.":[67],"The":[68,111,128],"proposed":[69],"methodology":[70,136],"consists":[71],"three":[73],"key":[74],"phases:":[75],"extracting":[76],"from":[79],"diverse":[80],"textual":[81],"sources,":[82],"structuring":[83],"them":[84,95],"Logical":[86],"English":[87],"(LE)":[88],"clarity":[90],"consistency,":[92],"translating":[94],"PROLOG":[97],"representations":[98],"advanced":[100],"natural":[101],"processing":[103],"(NLP)":[104],"techniques,":[105],"including":[106],"in-context":[107],"learning":[108],"fine-tuning.":[110],"experimental":[112],"results":[113],"demonstrate":[114],"effectiveness":[116],"LLMs":[118],"in":[119,126,151],"automating":[120],"this":[121,135],"process,":[122],"achieving":[123],"high":[124],"accuracy":[125],"translation.":[127],"findings":[129],"underscore":[130],"potential":[132],"scaling":[134],"accommodate":[138],"broader":[139],"regulatory":[140],"frameworks,":[141],"paving":[142],"way":[144],"safer,":[146],"more":[147],"reliable":[148],"AV":[149],"operations":[150],"complex":[152],"dynamic":[154],"environments.":[156]},"counts_by_year":[],"updated_date":"2026-01-14T23:44:37.837170","created_date":"2026-01-14T00:00:00"}