International Business Machines Corporation

Kyndryl, Inc.

Calvin D Lawrence

Mickey Iqbal

Prabhakar Attaluri

Matthew B Trevathan

Clea Anne Zolotow

Tedrick Neal Northway

John Valentine Delaney

Patrick Ryan Wardrop

Miguel A Ortiz

A truth maintenance method and system. The method includes receiving by a computer processor, health event data associated with heath care records for patients. The computer processor associates portions of the health event data with associated patients and related records in a truth maintenance system database. The computer processor derives first health related assumption data and retrieves previous health related assumption data derived from and associated with previous portions of previous health event data. The computer processor executes non monotonic logic with respect to the first health related assumption data and the previous health related assumption data. In response, the computer processor generates and stores updated first updated health related assumption data associated with the first health related assumption data and the previous health related assumption data.

Data based truth maintenance

An approach for determining a veracity of a reported event is provided. In an embodiment, a set of predictor variables is retrieved from a selected use case. Each of these predictor values is a condition that indicates the veracity of the reported event. In addition, a set of hidden predictor variables is generated from a set of unstructured documents related to the reported event using a hidden Markov model that is based on the predictor variables using a cognitive system. These hidden predictor variables are combined with the set of predictor variables to generate a set of updated predictor variables. These updated predictor variables are used by the cognitive system to return a determination of the veracity of the reported event.

Cognitive systematic review (CSR) for smarter cognitive solutions

A truth maintenance method and system. The method includes receiving by a computer processor from RFID tags embedded in sensors, event data associated with events detected by said sensors. The computer processor associates portions of the event data with associated RFID tags and derives assumption data associated with each portion of the portions. The computer processor retrieves previous assumption data derived from and associated with previous portions of previous event data retrieved from the RFID tags and executes non monotonic logic with respect to the assumption data and the previous assumption data. In response, the computer processor generates and stores updated assumption data associated with the assumption data and the previous assumption data.

Sensor based truth maintenance

Data based truth maintenance method and system

A method and system for mediating security tokens to authorization data transactions in a data management system. The methods and systems intercept a data request between two applications or services, and validate and translate a security token sent with the data request from a format compatible with the first application or service to a format compatible with the second application or service.

Token mediation service in a data management system

Sensor based truth maintenance method and system

Growing community of inventors

Lithonia, GA, United States of America

Calvin D Lawrence