首页|Categorizing methods for integrating machine learning with executable specifications

Categorizing methods for integrating machine learning with executable specifications

扫码查看
原文链接
  • 万方数据
  • 维普
Deep learning(DL),which includes deep reinforcement learning(DRL),holds great promise for carrying out real-world tasks that human minds seem to cope with quite readily.That promise is already delivering extremely impressive results in a variety of areas.However,while DL-enabled systems achieve excellent performance,they are far from perfect.It has been demonstrated,in several domains,that DL systems can err when they encounter cases they had not hitherto encountered.Furthermore,the opacity of the produced agents makes it difficult to explain their behavior and ensure that they adhere to various requirements posed by human engineers.At the other end of the software development spectrum of methods,behavioral programming(BP)facilitates orderly system development using self-standing executable modules aligned with how humans intuitively describe desired system behavior.In this paper,we elaborate on different approaches for combining DRL with BP and,more generally,machine learning(ML)with executable specifications(ES).We begin by defining a framework for studying the various approaches,which can also be used to study new emerging approaches not covered here.We then briefly review state-of-the-art approaches to integrating ML with ES,continue with a focus on DRL,and then present the merits of integrating ML with BP.We conclude with guidelines on how this categorization can be used in decision making in system development,and outline future research challenges.

machine learningartificial intelligencegrey box learningdomain knowledgerulesbehavioral programmingdeep reinforcement learningsurvey

David HAREL、Raz YERUSHALMI、Assaf MARRON、Achiya ELYASAF

展开 >

Department of Computer Science and Applied Mathematics,Weizmann Institute of Science,Rehovot 76100,Israel

Department of Software and Information Systems Engineering,Ben-Gurion University of the Negev,Beer Sheva 8410501,Israel

National Natural Science Foundation of China(NSFC)Israel Science Foundation(ISF)Estate of Harry LevineEstate of Avraham Rothstein,Brenda Gruss,and Daniel HirschOne8 FoundationRina Mayer,Maurice Levy,and the Estate of Bernice Bernath

3698/21

2024

10.1007/s11432-022-3826-6

中国科学:信息科学(英文版)
中国科学院

中国科学:信息科学(英文版)

CSTPCDEI
影响因子：0.715
ISSN：1674-733X
年,卷(期)：2024.67(1)
  • 64