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 条
  • [1] Verifying and validating specification of knowledge-based systems
    Torres, L
    Frydman, C
    ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 83 - 87
  • [2] Verifying and Validating Autonomous Systems: Towards an Integrated Approach
    Ferrando, Angelo
    Dennis, Louise A.
    Ancona, Davide
    Fisher, Michael
    Mascardi, Viviana
    RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 263 - 281
  • [3] VERIFYING AND VALIDATING SIMULATION MODELS
    Sargent, Robert G.
    PROCEEDINGS OF THE 2014 WINTER SIMULATION CONFERENCE (WSC), 2014, : 118 - 131
  • [4] Verifying and Validating Multirobot Missions
    Lyons, D. M.
    Arkin, R. C.
    Jiang, S.
    Harrington, D.
    Liu, T.
    2014 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2014), 2014, : 1495 - 1502
  • [5] Verifying and validating simulation models
    Sargent, RG
    1996 WINTER SIMULATION CONFERENCE PROCEEDINGS, 1996, : 55 - 64
  • [6] Verifying and validating a simulation model
    Hu, AB
    San, Y
    Wang, ZC
    WSC'01: PROCEEDINGS OF THE 2001 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2001, : 595 - 599
  • [7] Describing, verifying and validating a system definition
    Moore, Alan
    Electronic Engineering (London), 1999, 71 (872):
  • [8] Verifying and validating Task/Method Knowledge-Based Systems designed with Conceptual Graphs
    Leclère, M
    Trichet, F
    IC-AI'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 1-III, 2000, : 753 - 759
  • [9] An Approach For Verifying And Validating Clustering Based Anomaly Detection Systems Using Metamorphic Testing
    Rehman, Faqeer Ur
    Izurieta, Clemente
    2022 FOURTH IEEE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE TESTING (AITEST 2022), 2022, : 12 - 18
  • [10] VERIFYING AND VALIDATING SOFTWARE REQUIREMENTS AND DESIGN SPECIFICATIONS
    BOEHM, BW
    IEEE SOFTWARE, 1984, 1 (01) : 75 - 88
12345