arrow
Return

Toward Verified Artificial Intelligence

delete2022-06-21
delete61
delete
OA
AI
S
Sanjit A. Seshia *
D
Dorsa Sadigh
S
Shankar Sastry
DOI:10.1145/3503914delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
ARTIFICIAL INTELLIGENCE ( AI) is a term used for computational systems that attempt to mimic aspects of human intelligence, including functions we intuitively associate with intelligence, such as learning, problem solving, and thinking and acting rationally-for example, see Russell and Norvig.26 We interpret the term AI broadly to include closely related areas such as machine learning (ML). Systems that heavily use AI, henceforth referred to as AI systems, have had a significant societal impact in domains that include healthcare, transportation, finance, social networking, e-commerce, and education. This growing societal-scale impact has brought with it a set of risks and concerns, including errors in AI
Keywords:
REFLECTIONS

Journal

Communications of the ACM cover
Communications of the ACM
IF:
12.2
Papers:
1.2W
Citations:
3.7W

Organization

U
University of California Berkeley
Scholars:
3.5W
Papers: 2.8W
Citations: 11.3W
S
Stanford University
Scholars:
9.6W
Papers: 8.2W
Citations: 17.0W
University of California System cover
University of California System
Scholars:
37.7W
Papers: 33.8W
Citations: 6.6K
researcher View more organizations
Cited Papers

Cited Papers

Trustworthy AI
err2021-09-22
err80
errOAAI
errWing, Jeannette M.
errShare
errSave
Primary parotid lymphoma: the effect of international prognostic index on outcome
err2009-08-05
err0
PREAI
errAndreas H. Sarris; Vali Papadimitrakopoulou; Meletios A. Dimopoulos; Terry Smith; William Pugh; Chul S. Ha; Peter McLaughlin; David Callender; James Cox; Fernando Cabanillas
errShare
errSave
Rise of Concerns about AI: Reflections and Directions
err2015-09-28
err48
PREAI
errDietterich, Thomas G.; Horvitz, Eric J.
errShare
errSave
errShare
errSave
Unlocking the potential of green hydrogen for a sustainable energy future: a review of production methods and challenges
err2024-11-15
err0
PREAI
errMD Farhan Imtiaz Chowdhury; MD Fahim Sadat Bari; Muhaiminul Islam; Wasif Sadman Tanim; Redoy Masum Meraz
errShare
errSave
Productivity and memory for newly formed words
err2008-09-26
err0
PREAI
errEve V. Clark; Sophia R. Cohen
errShare
errSave
researcher View more