Into the unknown: active monitoring of neural networks (extended version)

IF 1.1 3区 计算机科学 Q4 COMPUTER SCIENCE, SOFTWARE ENGINEERING
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger
{"title":"Into the unknown: active monitoring of neural networks (extended version)","authors":"Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger","doi":"10.1007/s10009-023-00711-4","DOIUrl":null,"url":null,"abstract":"Abstract Neural-network classifiers achieve high accuracy when predicting the class of an input that they were trained to identify. Maintaining this accuracy in dynamic environments, where inputs frequently fall outside the fixed set of initially known classes, remains a challenge. We consider the problem of monitoring the classification decisions of neural networks in the presence of novel classes. For this purpose, we generalize our recently proposed abstraction-based monitor from binary output to real-valued quantitative output. This quantitative output enables new applications, two of which we investigate in the paper. As our first application, we introduce an algorithmic framework for active monitoring of a neural network, which allows us to learn new classes dynamically and yet maintain high monitoring performance. As our second application, we present an offline procedure to retrain the neural network to improve the monitor’s detection performance without deteriorating the network’s classification accuracy. Our experimental evaluation demonstrates both the benefits of our active monitoring framework in dynamic scenarios and the effectiveness of the retraining procedure.","PeriodicalId":14395,"journal":{"name":"International Journal on Software Tools for Technology Transfer","volume":"37 1","pages":"0"},"PeriodicalIF":1.1000,"publicationDate":"2023-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal on Software Tools for Technology Transfer","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s10009-023-00711-4","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 1

Abstract

Abstract Neural-network classifiers achieve high accuracy when predicting the class of an input that they were trained to identify. Maintaining this accuracy in dynamic environments, where inputs frequently fall outside the fixed set of initially known classes, remains a challenge. We consider the problem of monitoring the classification decisions of neural networks in the presence of novel classes. For this purpose, we generalize our recently proposed abstraction-based monitor from binary output to real-valued quantitative output. This quantitative output enables new applications, two of which we investigate in the paper. As our first application, we introduce an algorithmic framework for active monitoring of a neural network, which allows us to learn new classes dynamically and yet maintain high monitoring performance. As our second application, we present an offline procedure to retrain the neural network to improve the monitor’s detection performance without deteriorating the network’s classification accuracy. Our experimental evaluation demonstrates both the benefits of our active monitoring framework in dynamic scenarios and the effectiveness of the retraining procedure.
进入未知:神经网络的主动监测(扩展版)
神经网络分类器在预测它们被训练识别的输入的类别时达到了很高的准确性。在动态环境中保持这种准确性仍然是一个挑战,在动态环境中,输入经常落在最初已知类的固定集合之外。我们考虑了在新类别存在的情况下神经网络的分类决策监控问题。为此,我们将最近提出的基于抽象的监视器从二进制输出推广到实值定量输出。这种定量输出可以实现新的应用,我们将在本文中研究其中的两个应用。作为我们的第一个应用,我们引入了一个算法框架来主动监控神经网络,它允许我们动态学习新的类,同时保持高监控性能。作为我们的第二个应用,我们提出了一个离线过程来重新训练神经网络,以提高监视器的检测性能,而不降低网络的分类精度。我们的实验评估证明了我们的主动监测框架在动态场景中的好处和再培训过程的有效性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
CiteScore
4.50
自引率
6.70%
发文量
39
期刊介绍: The International Journal on Software Tools for Technology Transfer (STTT) provides a forum for the discussion of all aspects of tools supporting the development of computer systems. It offers, above all, a tool-oriented link between academic research and industrial practice. Tool support for the development of reliable and correct computer-based systems is of growing importance, and a wealth of design methodologies, algorithms, and associated tools have been developed in different areas of computer science. However, each area has its own culture and terminology, preventing researchers from taking advantage of the results obtained by colleagues in other fields. Tool builders are often unaware of the work done by others, and thus unable to apply it. The situation is even more critical when considering the transfer of new technology into industrial practice.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信