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 条
  • [41] Verifying Hyperproperties of Hardware Systems
    Finkbeiner, Bernd
    Rabe, Markus
    PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 5 - 5
  • [42] Verifying Digital Systems with MATLAB
    Chaves, Lennon
    Bessa, Iury
    Cordeiro, Lucas
    Kroening, Daniel
    Lima, Eddie
    PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 388 - 391
  • [43] Verifying software streaming systems
    Nam, KH
    Park, JK
    Choi, JY
    Lee, JJ
    Choi, W
    8th International Conference on Advanced Communication Technology, Vols 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES, 2006, : U367 - U371
  • [44] Validating automated systems
    Koroneos, George
    Pharmaceutical Technology, 2005, 29 (03) : 42 - 54
  • [45] VALIDATING EXPERT SYSTEMS
    OLEARY, TJ
    GOUL, M
    MOFFITT, KE
    RADWAN, AE
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1990, 5 (03): : 51 - 58
  • [46] AI in ECG: Validating an ambulatory semiology labeller and predictor
    Muralidharan, Pooja
    Sankaran, Ravi
    Bendapudi, Perraju
    Kumar, C. Santhosh
    Kumar, A. Anand
    EPILEPSY RESEARCH, 2024, 204
  • [47] Validating AI-Generated Code with Live Programming
    Ferdowsi, Kasra
    Huang, Ruanqianqian
    James, Michael B.
    Polikarpova, Nadia
    Lerner, Sorin
    PROCEEDINGS OF THE 2024 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYTEMS (CHI 2024), 2024,
  • [48] Discovering and Validating AI Errors with Crowdsourced Failure Reports
    Cabrera Á.A.
    Druck A.J.
    Hong J.I.
    Perer A.
    Proceedings of the ACM on Human-Computer Interaction, 2021, 5 (CSCW2)
  • [49] Validating AI pipelines for single cell image data
    Asmar, A.
    Benson, Z.
    Halter, M.
    Plant, A.
    MOLECULAR BIOLOGY OF THE CELL, 2023, 34 (02) : 23 - 24
  • [50] Software tool for validating and verifying re-hosted legacy software and interface hardware
    Mueller, David
    2006 IEEE AUTOTESTCON, VOLS 1 AND 2, 2006, : 343 - 348
12345