Traffic rules compliance checking of automated vehicle maneuvers

Bhuiyan, Hanif; Governatori, Guido; Bond, Andy; Rakotonirainy, Andry

doi:10.1007/s10506-022-09340-9

Cited by 5 publications

(2 citation statements)

References 43 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Rules must not impede AI-based tech development, as uncertainty can threaten investments. The US commerce department is creating accountability measures for AI tools (Bhuiyan, 2023), soliciting public feedback on assessing performance, safety, effectiveness, and bias, preventing misinformation, and ensuring privacy while fostering trustworthy AI systems.…”

Section: Discussionmentioning

confidence: 99%

The impact of ChatGPT on higher education

Dempere,

Modugu,

Hesham

et al. 2023

Front. Educ.

View full text Add to dashboard Cite

IntroductionThis study explores the effects of Artificial Intelligence (AI) chatbots, with a particular focus on OpenAI’s ChatGPT, on Higher Education Institutions (HEIs). With the rapid advancement of AI, understanding its implications in the educational sector becomes paramount.MethodsUtilizing databases like PubMed, IEEE Xplore, and Google Scholar, we systematically searched for literature on AI chatbots’ impact on HEIs. Our criteria prioritized peer-reviewed articles, prominent media outlets, and English publications, excluding tangential AI chatbot mentions. After selection, data extraction focused on authors, study design, and primary findings. The analysis combined descriptive and thematic approaches, emphasizing patterns and applications of AI chatbots in HEIs.ResultsThe literature review revealed diverse perspectives on ChatGPT’s potential in education. Notable benefits include research support, automated grading, and enhanced human-computer interaction. However, concerns such as online testing security, plagiarism, and broader societal and economic impacts like job displacement, the digital literacy gap, and AI-induced anxiety were identified. The study also underscored the transformative architecture of ChatGPT and its versatile applications in the educational sector. Furthermore, potential advantages like streamlined enrollment, improved student services, teaching enhancements, research aid, and increased student retention were highlighted. Conversely, risks such as privacy breaches, misuse, bias, misinformation, decreased human interaction, and accessibility issues were identified.DiscussionWhile AI’s global expansion is undeniable, there is a pressing need for balanced regulation in its application within HEIs. Faculty members are encouraged to utilize AI tools like ChatGPT proactively and ethically to mitigate risks, especially academic fraud. Despite the study’s limitations, including an incomplete representation of AI’s overall effect on education and the absence of concrete integration guidelines, it is evident that AI technologies like ChatGPT present both significant benefits and risks. The study advocates for a thoughtful and responsible integration of such technologies within HEIs.

show abstract

Section: Discussionmentioning

confidence: 99%

The impact of ChatGPT on higher education

Dempere,

Modugu,

Hesham

et al. 2023

Front. Educ.

View full text Add to dashboard Cite

show abstract

“…Defeasible Deontic Logic (DDL) [25] is an efficient rulebased non-monotonic formalism that proved successful for practical applications in the legal domain (see, for example, [20,23,47,10]) and suitable for different facets of legal reasoning [22]. Similarly, Answer Set Programming (ASP) [11] is a knowledge-based declarative approach to programming based on stable model semantics.…”

Section: Introductionmentioning

confidence: 99%

An ASP Implementation of Defeasible Deontic Logic

Governatori

2024

Preprint

View full text Add to dashboard Cite

show abstract

Encoding legislation: a methodology for enhancing technical validation, legal alignment and interdisciplinarity

Witt

Huggins

Governatori³

et al. 2023

Artif Intell Law

View full text Add to dashboard Cite

This article proposes an innovative methodology for enhancing the technical validation, legal alignment and interdisciplinarity of attempts to encode legislation. In the context of an experiment that examines how different legally trained participants convert select provisions of the Australian Copyright Act 1968 (Cth) into machine-executable code, we find that a combination of manual and automated methods for coding validation, which focus on formal adherence to programming languages and conventions, can significantly increase the similarity of encoded rules between coders. Participants nonetheless encountered various interpretive difficulties, including syntactic ambiguity, and intra- and intertextuality, which necessitated legal evaluation, as distinct from and in addition to coding validation. Many of these difficulties can be resolved through what we call a process of ‘legal alignment’ that aims to enhance the congruence between encoded provisions and the true meaning of a statute as determined by the courts. However, some difficulties cannot be overcome in advance, such as factual indeterminacy. Given the inherently interdisciplinary nature of encoding legislation, we argue that it is desirable for ‘rules as code’ (‘RaC’) initiatives to have, at a minimum, legal subject matter, statutory interpretation and technical programming expertise. Overall, we contend that technical validation, legal alignment and interdisciplinary teamwork are integral to the success of attempts to encode legislation. While legal alignment processes will vary depending on jurisdictionally-specific principles and practices of statutory interpretation, the technical and interdisciplinary components of our methodology are transferable across regulatory contexts, bodies of law and Commonwealth and other jurisdictions.

show abstract

Traffic rules compliance checking of automated vehicle maneuvers

Cited by 5 publications

References 43 publications

The impact of ChatGPT on higher education

The impact of ChatGPT on higher education

An ASP Implementation of Defeasible Deontic Logic

Encoding legislation: a methodology for enhancing technical validation, legal alignment and interdisciplinarity

Contact Info

Product

Resources

About