Validating and Verifying AI Systems

被引：16
|
作者：
Hand, David J. [1 ]
Khan, Shakeel [2 ]
机构：
[1] Imperial Coll, Dept Math, London, England
[2] Her Majestys Revenue & Customs, Chief Data Officers Team, London, England
来源：
PATTERNS | 2020年 / 1卷 / 03期
关键词：
D O I：
10.1016/j.patter.2020.100037
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
AI systems will only fulfill their promise for society if they can be relied upon. This means that the role and task of the system must be properly formulated; that the system must be bug free, be based on properly representative data, and can cope with anomalies and data quality issues; and that its output is sufficiently accurate for the task.
引用
收藏
页数：3
相关论文
共 50 条
  • [21] Some approaches and paradigms for verifying and validating simulation models
    Sargent, RG
    WSC'01: PROCEEDINGS OF THE 2001 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2001, : 106 - 114
  • [22] A case study of verifying and validating an astrophysical simulation code
    Calder, A. C.
    Taylor, N. T.
    Antypas, K.
    Sheeler, D.
    Dubey, A.
    NUMERICAL MODELING OF SPACE PLASMA FLOWS: ASTRONUM-2006, 2006, 359 : 119 - +
  • [23] Verifying and Validating Quantitative Systems Pharmacology and In Silico Models in Drug Development: Current Needs, Gaps, and Challenges
    Musuamba, Flora T.
    Bursi, Roberta
    Manolis, Efthymios
    Karlsson, Kristin
    Kulesza, Alexander
    Courcelles, Eulalie
    Boissel, Jean-Pierre
    Lesage, Raphaelle
    Crozatier, Cecile
    Voisin, Emmanuelle M.
    Rousseau, Cecile F.
    Marchal, Thierry
    Alessandrello, Rossana
    Geris, Liesbet
    CPT-PHARMACOMETRICS & SYSTEMS PHARMACOLOGY, 2020, 9 (04): : 195 - 197
  • [24] Verifying AI: will Singapore's experiment with AI governance set the benchmark?
    Lim, Sun Sun
    Chng, Gerry
    COMMUNICATION RESEARCH AND PRACTICE, 2024, 10 (03) : 297 - 306
  • [25] An automated rigorous review method for verifying and validating formal specifications
    Liu, SY
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 15 - 19
  • [26] A Systematic Map on Verifying and Validating Software Process Simulation Models
    Gong, Haojie
    Zhang, He
    Yu, Dexian
    Liu, Bohan
    ICSSP'17: PROCEEDINGS OF THE 2017 INTERNATIONAL CONFERENCE ON SOFTWARE AND SYSTEM PROCESS, 2017, : 50 - 59
  • [27] Challenges for Verifying and Validating Scientific Software in Computational Materials Science
    Vogel, Thomas
    Druskat, Stephan
    Scheidgen, Markus
    Draxl, Claudia
    Grunske, Lars
    2019 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SCIENCE (SE4SCIENCE 2019), 2019, : 25 - 32
  • [28] Verifying Cyberphysical Systems
    Platzer, Andre
    IEEE INTELLIGENT SYSTEMS, 2011, 26 (01) : 13 - 13
  • [29] Verifying Autonomous Systems
    Dennis, Louise A.
    INTEGRATED FORMAL METHODS, IFM 2022, 2022, 13274 : 3 - 17
  • [30] Verifying Autonomous Systems
    Fisher, Michael
    Dennis, Louise
    Webster, Matt
    COMMUNICATIONS OF THE ACM, 2013, 56 (09) : 84 - 93
12345