Untitled

Calmet, Jacques; Campbell, J. A.

doi:10.1023/a:1018920108903

Cited by 6 publications

(1 citation statement)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many innovations have preceded what we now know as AI (Stark and Pylyshyn, 2020 ). The mathematical and computational progress has had a significant impact on what made today's AI possible and flourish so quickly in the span of the last few years (Calmet and John, 1997 ; Xu et al, 2021 ). Many place their bet on AI's potential to revolutionize most fields.…”

Section: Introductionmentioning

confidence: 99%

Specific challenges posed by artificial intelligence in research ethics

Bouhouita-Guermech,

Gogognon,

Bélisle-Pipon

2023

Front. Artif. Intell.

View full text Add to dashboard Cite

BackgroundThe twenty first century is often defined as the era of Artificial Intelligence (AI), which raises many questions regarding its impact on society. It is already significantly changing many practices in different fields. Research ethics (RE) is no exception. Many challenges, including responsibility, privacy, and transparency, are encountered. Research ethics boards (REB) have been established to ensure that ethical practices are adequately followed during research projects. This scoping review aims to bring out the challenges of AI in research ethics and to investigate if REBs are equipped to evaluate them.MethodsThree electronic databases were selected to collect peer-reviewed articles that fit the inclusion criteria (English or French, published between 2016 and 2021, containing AI, RE, and REB). Two instigators independently reviewed each piece by screening with Covidence and then coding with NVivo.ResultsFrom having a total of 657 articles to review, we were left with a final sample of 28 relevant papers for our scoping review. The selected literature described AI in research ethics (i.e., views on current guidelines, key ethical concept and approaches, key issues of the current state of AI-specific RE guidelines) and REBs regarding AI (i.e., their roles, scope and approaches, key practices and processes, limitations and challenges, stakeholder perceptions). However, the literature often described REBs ethical assessment practices of projects in AI research as lacking knowledge and tools.ConclusionEthical reflections are taking a step forward while normative guidelines adaptation to AI's reality is still dawdling. This impacts REBs and most stakeholders involved with AI. Indeed, REBs are not equipped enough to adequately evaluate AI research ethics and require standard guidelines to help them do so.

show abstract

Section: Introductionmentioning

confidence: 99%

Specific challenges posed by artificial intelligence in research ethics

Bouhouita-Guermech,

Gogognon,

Bélisle-Pipon

2023

Front. Artif. Intell.

View full text Add to dashboard Cite

show abstract

A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

Calmet¹,

Campbell²

2010

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Reasoning about coding theory: The benefits we get from computer algebra

Ballarin

Paulson

1998

Artificial Intelligence and Symbolic Computation

View full text Add to dashboard Cite

Abstract. The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, that supports this claim: the mechanised proofs depend on non-trivial algorithms from computer algebra and increase the reasoning power of the theorem prover. The unsoundness of computer algebra systems is a major problem in interfacing them to theorem provers. Our approach to obtaining a sound overall system is not blanket distrust but based on the distinction between algorithms we call sound and ad hoc respectively. This distinction is blurred in most computer algebra systems. Our experimental interface therefore uses a computer algebra library. It is based on theorem templates, which provide formal specifications for the algorithms.

show abstract

Untitled

Cited by 6 publications

References 38 publications

Specific challenges posed by artificial intelligence in research ethics

Specific challenges posed by artificial intelligence in research ethics

A Revisited Perspective on Symbolic Mathematical Computing and Artificial Intelligence

Reasoning about coding theory: The benefits we get from computer algebra

Contact Info

Product

Resources

About