IP Library › Granted Patent US 12,711,748
Granted Patent B2
US 12,711,748 · App. 18/046,087 · Granted Aug 18, 2026

Method for monitoring logical consistency in a machine learning model and associated monitoring device

Inventors: Gesina Schwalbe (Regensburg, DE); Christian Wirth (Niederhöchstadt, DE)
Assignee: AUMOVIO Germany GmbH
G06V10/776G06V10/82
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 12,711,748
App. No.
18/046,087
Filed
Oct 12, 2022
Granted
Aug 18, 2026
Kind
B2
Art Unit
2634
USPC
382/155
Abstract

A computer-implemented method monitors the logical consistency of an artificial neural network. Activation data of the artificial neural network, which are produced from input data, is initially read in. The activation data is transferred to at least one trained concept model which is trained to recognize and, if applicable, localize a partial feature of the features contained in the input data and to output a calibrated partial feature mask. The final output data is linked to the partial feature truth values by a fuzzy logic unit to produce a continual logical consistency truth value. The logical consistency truth value is evaluated by an evaluation unit.

Claims (40)

1 . A computer-implemented method for monitoring a logical consistency of an artificial neural network which is configured for a classification, classification and localization, object detection, or segmentation of features which are contained in input data, and for outputting final output data which are indicative of the existence and, if applicable, a position of the features in the input data, the method comprising:

(a) reading in activation data of the artificial neural network, which are produced from the input data, by an input interface;

(b) transferring the activation data read in (a) to at least one trained concept model which is trained to recognize and, if applicable, localize a partial feature of the features contained in the input data, and to output a partial feature mask, wherein the partial feature mask contains at least one partial feature truth value which is indicative of whether and, if applicable, where the partial feature is contained in the input data;

(c) linking the final output data to the partial feature truth value by a fuzzy logic unit which determines at least one continual logical consistency truth value therefrom;

(d) evaluating the at least one continual logical consistency truth value obtained in (c) by an evaluation unit, wherein, if the at least one continual logical consistency truth value reaches or falls short of a predefined threshold, the evaluation unit ascertains a logical inconsistency of the final output data in an inconsistency region, wherein the evaluation unit ascertains a logical consistency if the at least one continual logical consistency truth value does not fall short of the predefined threshold; and

(e) in the event that no logical consistency of the final output data with the input data was ascertained in (d), activating additional sensors or controlling a vehicle component.

2 . The method according to claim 1 , further comprising in (e) performing, at least one additional action of the following:

outputting an uncertainty measure, optionally localized in the inconsistency region;

performing a redundant evaluation of the input data;

activating further control mechanisms for the artificial neural network;

adopting a safe state; or

displaying a consistency error.

3 . The method according to claim 1 , wherein in (a), the activation data are read in from an output layer and/or at least one intermediate layer of the artificial neural network.

4 . The method according to claim 1 , wherein in (b), the activation data are transferred from one layer of the artificial neural network to the at least one trained concept model.

5 . The method according to claim 1 , wherein in (b), the at least one trained concept model has been trained by a linear machine learning method as a linear machine learning model.

6 . The method according to claim 1 , wherein

in (b), the activation data are transferred to a plurality of trained concept models, wherein the partial feature mask of each trained concept model is linked to one another in order to obtain a total partial feature mask with total partial feature truth values, wherein

in (c), the final output data are linked to the total partial feature truth values by the fuzzy logic unit.

7 . The method according to claim 6 , wherein in (c), the at least one continual logical consistency truth value is determined by applying an implication link to one of the partial feature mask or the total partial feature mask and the final output data, with a proviso that the one of the partial feature mask or the total partial feature mask implies at least regions of the final output data.

8 . The method according to claim 1 , wherein the input data contain input image data, wherein the artificial neural network is configured for a classification, classification and localization, object detection, or segmentation of the input image data into feature regions, wherein the feature regions contain recognized features which characterize a semantic concept, wherein the final output data contain the segmented feature regions, and wherein

in (a), the activation data, in the form of activation values or activation maps of the artificial neural network, which are produced in each case from the input image data, are read in by the input interface;

in (b), the at least one trained concept model is trained to recognize and, if applicable, localize a partial feature region of the feature regions contained in the input image data and to output the partial feature mask, wherein the partial feature mask contains at least one region of the at least one continual partial feature truth value which are indicative of whether and where a partial feature range is contained in the input image data;

in (c), the final output data are linked pixel-by-pixel to the at least one continual partial feature truth value by the fuzzy logic unit which determines a consistency truth value map of the at least one continual logical consistency truth value therefrom; and

in (d), the consistency truth value map obtained in (c) is evaluated by the evaluation unit, wherein, in a region of the consistency truth value map in which the at least one continual logical consistency truth value reaches or falls short of a predefined threshold, the evaluation unit ascertains a logical inconsistency of the final output data with the input image data within the inconsistency region, wherein the evaluation unit ascertains a logical consistency within a region of the consistency truth value map if the at least one continual logical consistency truth value in this region do not fall short of the predefined threshold.

9 . The method according to claim 8 , wherein the input image data contain an environment situation of a motor vehicle, in particular a traffic situation with at least one person, the artificial neural network is configured for a classification, classification and localization, object detection, or segmentation of the input image data into feature regions which contain persons, traffic signs and/or road markings, the final output data contain the segmented feature regions, and wherein

in (b), a plurality of trained concept models are trained to recognize and, if applicable, localize partial features of the persons, traffic signs and/or road markings of the feature regions contained in the input image data, and to output the partial feature mask.

10 . The method according to claim 9 , wherein at least one additional sensor or one additional camera is activated, which is configured to detect persons, traffic signs and/or road markings; and/or input image data are detected again and/or evaluated again, by another method.

11 . A computer-implemented method for recognizing and, if applicable, localizing objects and/or persons in a traffic situation,

wherein input data are processed by a machine learning model which is trained for a classification, classification and localization, object detection, or segmentation of the input data, in order to obtain final output data;

wherein a method according to claim 1 is performed, in parallel or a temporally subordinate manner, by a monitoring device in order to obtain a consistency truth value map; and

wherein a redundant, supplementary and/or renewed detection and/or evaluation of the input data is/are carried out as a function of the consistency truth value map.

12 . A monitoring device for monitoring the logical consistency of a machine learning model, wherein the monitoring device comprises components including the input interface, the at least one trained concept model, the fuzzy logic unit and the evaluation unit, wherein the monitoring device and the components thereof are configured to perform a method according to claim 1 .

13 . A system for recognizing and, if applicable, localizing objects and/or persons in a traffic situation, wherein the system comprises a sensor device configured for detecting the input data, the machine learning model configured for recognizing objects and/or persons and the monitoring device according to claim 12 for monitoring the machine learning model.

14 . A motor vehicle having a system according to claim 13 .

15 . A non-transitory computer-readable storage medium comprising commands which, when executed by a computer;

(a) read in activation data of an artificial neural network via an input interface, the artificial neural network being configured for a classification, classification and localization, object detection, or segmentation of features which are contained in input data, and for outputting final output data which are indicative of the existence and, if applicable, a position of the features in the input data, the activation data being produced from the input data;

(b) transfer the activation data read in (a) to at least one trained concept model which is trained to recognize and, if applicable, localize a partial feature of the features contained in the input data, and to output a partial feature mask, wherein the partial feature mask contains at least one partial feature truth value which is indicative of whether and, if applicable, where the partial feature is contained in the input data;

(c) link the final output data to the partial feature truth value by a fuzzy logic unit which determines at least one continual logical consistency truth value therefrom;

(d) evaluate the at least one continual logical consistency truth value obtained in (c) by an evaluation unit, wherein, if the at least one continual logical consistency truth value reaches or falls short of a predefined threshold, the evaluation unit ascertains a logical inconsistency of the final output data in an inconsistency region, wherein the evaluation unit ascertains a logical consistency if the at least one continual logical consistency truth value does not fall short of the predefined threshold; and

(e) in the event that no logical consistency of the final output data with the input data was ascertained in (d), activating additional sensors or controlling a vehicle component.

Assignments (3)
CHANGE OF NAME Recorded Feb 10, 2026
From: CONTINENTAL AUTOMOTIVE TECHNOLOGIES GMBH
To: AUMOVIO GERMANY GMBH
Reel/Frame 074709/0312 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Feb 10, 2026
From: WIRTH, CHRISTIAN
To: CONTINENTAL AUTOMOTIVE TECHNOLOGIES GMBH
Reel/Frame 073739/0612 →
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Oct 12, 2022
From: SCHWALBE, GESINA
To: CONTINENTAL AUTOMOTIVE TECHNOLOGIES GMBH
Reel/Frame 061400/0376 →
Priority Claims (1)
DE 10 2021 211 503.9 · Oct 12, 2021 · national
Continuity (1)
Related Publication 20230111973A1 · Apr 13, 2023
References Cited (34)
US 11574185B2 · Choi · 2023 [cited by examiner]
US 20020055809A1 · Westphal · 2002 [cited by applicant]
US 20160328641A1 · AlSaud et al. · 2016 [cited by applicant]
US 20200004439A1 · Borlick · 2020 [cited by examiner]
US 20200151555A1 · Kozhaya · 2020 [cited by examiner]
US 20210150341A1 · Dalli et al. · 2021 [cited by applicant]
US 20220326023A1 · Xu · 2022 [cited by examiner]
US 20230100014A1 · Duan · 2023 [cited by examiner]
DE 10046007C1 · 2001 [cited by applicant]
EP 3493105A1 · 2019 [cited by applicant]
WO 03017098A1 · 2003 [cited by applicant]
WO 2016178709A1 · 2016 [cited by applicant]
WO 2021099338A1 · 2021 [cited by applicant]
Machine English translation of the German Office Action dated Jun. 30, 2022 for the counterpart German Patent Application No. 10 2021 211503.9 (Year: 2022). [cited by examiner]
German Office Action dated Jun. 30, 2022 for the counterpart German Patent Application No. 10 2021 211 503.9. [cited by applicant]
Laura Von Rueden et al., “Informed Machine Learning—A Taxonomy and Survey of Integrating Prior Knowledge into Learning Systems”, IEEE Transactions on Knowledge and Data Engineering, vol. 35, issue 1, Jan. 2023, pp. 614-… [cited by applicant]
Soumali Roychwdhury et al., “Image Classification Using Deep Learning and Prior Knowledge”, The Workshops of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018, pp. 336-342, https://www.aaai.org/ocs/inde… [cited by applicant]
Wagner B et al., “Neural-Symbolic Integration for Fairness in AI”, CEUR Workshop Proceedings, 2021, 2846, ISSN 1613-0073, http://ceur-ws.org/Vol-2846/paper5.pdf; https://openaccess.city.ac.uk/id/eprint/26151 (2021). [cited by applicant]
Johannes Rabold et al., “Expressive Explanations of DNNs by Combining Concept Analysis with ILP”, Advances in Artificial Intelligence: 43rd German Conference on AI, Bamberg, Germany, Sep. 21-25, 2020, Proceedings Sep. 2… [cited by applicant]
Chuan Guo et al., “On Calibration of Modern Neural Networks”, Proceedings of the 34th International Conference on Machine Learning, 2017, vol. 70, pp. 1321-1330. [cited by applicant]
Pang Wei Koh et al., “Concept Bottleneck Models”, Proceedings of the 37th International Conference on Machine Learning, 2020, vol. 119, pp. 5338-5348. [cited by applicant]
Gesina Schwalbe, “Verification of Size Invariance in DNN Activations using Concept Embeddings”, Artificial Intelligence Applications and Innovations: 17th IFIP WG 12.5 International Conference, AIAI 2021, Hersonissos, C… [cited by applicant]
Gesina Schwalbe et al., “Concept Enforcement and Modularization as Methods for the ISO 26262 Safety Argumentation of Neural Networks”, 10th European Congress on Embedded Real Time Software and System, Toulouse, France, … [cited by applicant]
Ruth Fong et al., “Net2Vec: Quantifying and Explaining how Concepts are Encoded by Filters in Deep Neural Networks”, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), Jun. 2018, DOI:10.1109/CVP… [cited by applicant]
Been Kim et al., “Interpretability Beyond Feature Attribution: Quantitative Testing with Concept Activation Vectors (TCAV)”, 35th International Conference on Machine Learning, Stockholm, Sweden, 2018, vol. 80 (pp. 2668-… [cited by applicant]
David J C Mackay, “The Evidence Framework Applied to Classification Networks”, Neural Computation 4, MIT 720-736 (1992). [cited by applicant]
Gesina Schwalbe et al., “Structuring the Safety Argumentation for Deep Neural Network Based Perception in Automotive Applications”, Computer Safety, Reliability, and Security, SAFECOMP 2020 Workshops, LNCS 12235, pp. 38… [cited by applicant]
Maximillian Henne et al., “Benchmarking Uncertainty Estimation Methods for Deep Learning With Safety-Related Metrics”, Workshop on Artificial Intelligence Safety, SafeAI, AAAI, pp. 83-90. 2020. [cited by applicant]
Chinese Office Action dated Oct. 25, 2025 for the counterpart Chinese Patent Application No. 202211243956.5 and machine translation of same. [cited by applicant]
Vilem Novak, Jiri Mockor, Irina Perfiljeva/ Mathematical Principles of Fuzzy Logic/ pp. 1-14,41-51. (1999). [cited by applicant]
Samy Badreddine, Artur D'avila Garcez, Luciano Serafini, Michael Spranger / Logic Tensor Networks / Dec. 23, 2023. [cited by applicant]
Eleonora Giunchiglia, Mihaela Catalina Stoian, Salman Khan, Fabio Cuzzolin, Thomas Lukasiewicz / ROAD-R: The Autonomous Driving Dataset with Logical Requirements / Oct. 5, 2022. [cited by applicant]
Zhang Yanbang et al., “Significant Object Detection Based on Texture and Color Features”, Computer & Digital Engineering—vol. 49 No 9, 2021 and machine translation of same. [cited by applicant]
Chinese Office Action dated May 13, 2026 for the counterpart Chinese Patent Application No. 202211243956.5 and machine translation of same. [cited by applicant]