Sensor based truth maintenance

Patent metadata

Field	Value
Publication number	US-10740682-B2
Application number	US-201615075351-A
Country	US
Kind code	B2
Filing date	Mar 21, 2016
Priority date	Sep 23, 2010
Publication date	Aug 11, 2020
Grant date	Aug 11, 2020

Abstract

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.

First claim

The invention claimed is:

1. A method comprising:
receiving, by a computer processor of a computing device from RFID tags embedded in sensors, first event data associated with a first plurality of events detected by said sensors, said computer processor controlling a cloud hosted mediation system comprising an inference engine software application, a truth maintenance system database, and non monotonic logic, wherein said non monotonic logic comprises code for enabling a Dempster Shafer theory;
deriving, by said computer processor executing said inference engine software application, first assumption data associated with each portion of first portions of said first event data associated with associated RFID tags of said RFID tags, wherein said first assumption data comprises multiple sets of assumptions associated said plurality of events, wherein each set of said multiple sets comprises assumed event conditions and an associated plausibility percentage value, and wherein at least two sets of said multiple sets is associated with each event of said plurality of events;
generating, by said computer processor based on results of said deriving and executing the Dempster Shafer theory with respect to a first pair of sets of said multiple sets with respect to a first event of said plurality of events, an initial recommendation for said event, said initial recommendation associated with a first selected set of said first pair of sets, said first selected set comprises a first plausibility percentage value;
retrieving, by said computer processor from said truth maintenance system database, previous assumption data derived from and associated with previous portions of previous event data retrieved from said RFID tags embedded in said sensors, said previous assumption data derived at a time differing from a time of said deriving, said previous event data associated with previous events occurring at a different time from said first plurality of events;
executing, by said computer processor, said non monotonic logic with respect to said first assumption data and said previous assumption data;
additionally executing, by said computer processor executing said non monotonic logic, the Dempster Shafer theory with respect to said first pair of sets and said previous assumption data;
generating, by said computer processor based on results of said additionally executing and modifying said first plausibility percentage value of said first selected set, an updated recommendation for said first event, said updated recommendation associated with a second selected set of said first pair of sets, said second selected set differing from said first selected set; and
generating, by said computer processor executing said non monotonic logic and said inference engine software application, first updated assumption data associated with said first assumption data and said previous assumption data, wherein said previous assumption data, said first assumption data, and said first updated assumption data each comprise assumptions associated with conditions of vehicles detected by said sensors.

2. The method of claim 1 , further comprising:
executing, by said computer processor based on said first updated assumption data, an action associated with objects detected by said sensors.

3. The method of claim 2 , wherein said action comprises implementing a pay by usage cloud metering model associated with said objects.

4. The method of claim 1 , wherein said previous assumption data, said first assumption data, and said first updated assumption data each comprise assumptions associated with objects detected by said sensors.

5. The method of claim 1 , further comprising:
receiving, by said computer processor from said RFID tags embedded in said sensors, second event data associated with a second plurality of events detected by said sensors, said second plurality of events occurring at a time differing from said first plurality of events;
associating, by said computer processor, first portions of said second event data with associated RFID tags of said RFID tags;
deriving, by said computer processor executing said inference engine software application, second assumption data associated with each portion of said first portions of said second event data;
retrieving, by said computer processor from said truth maintenance system database, said previous assumption data, said first assumption data, and said first updated assumption data;
executing, by said computer processor, said non monotonic logic with respect to said first updated assumption data, said first assumption data, said second assumption data, and said previous assumption data;
generating, by said computer processor executing said non monotonic logic and said inference engine software application, second updated assumption data associated with first updated assumption data, said first assumption data, said second assumption data, and said previous assumption data; and
storing, by said computer processor in said truth maintenance system database, said second assumption data.

6. The method of claim 1 , wherein said generating first updated assumption data comprises retracting portions of said first assumption data and said previous assumption data.

7. The method of claim 1 , further comprising:
providing at least one support service for at least one of creating, integrating, hosting, maintaining, and deploying computer-readable code in said computing system, wherein the code in combination with the computing system is capable of performing: said receiving, said associating, said deriving, said retrieving, said executing, said generating, and said storing.

8. A computer program product, comprising a computer readable memory device storing a computer readable program code, said computer readable program code comprising an algorithm adapted to implement a method within a computing device, said method comprising:
receiving, by a computer processor of said computing device from RFID tags embedded in sensors, first event data associated with a first plurality of events detected by said sensors, said computer processor controlling a cloud hosted mediation system comprising an inference engine software application, a truth maintenance system database, and non monotonic logic, wherein said non monotonic logic comprises code for enabling a Dempster Shafer theory;
deriving, by said computer processor executing said inference engine software application, first assumption data associated with each portion of first portions of said first event data associated with associated RFID tags of said RFID tags, wherein said first assumption data comprises multiple sets of assumptions associated said plurality of events, wherein each set of said multiple sets comprises assumed event conditions and an associated plausibility percentage value, and wherein at least two sets of said multiple sets is associated with each event of said plurality of events;
generating, by said computer processor based on results of said deriving and executing the Dempster Shafer theory with respect to a first pair of sets of said multiple sets with respect to a first event of said plurality of events, an initial recommendation for said event, said initial recommendation associated with a first selected set of said first pair of sets, said first selected set comprises a first plausibility percentage value;
retrieving, by said computer processor from said truth maintenance system database, previous assumption data derived from and associated with previous portions of previous event data retrieved from said RFID tags embedded in said sensors, said previous assumption data derived at a time differing from a time of said deriving, said previous event data associated with previous even

Assignees

• IBM

Inventors

• Attaluri Prabhakar
• Iqbal Mickey
• Lawrence Calvin D

Classifications

• G06N7/01

  Probabilistic graphical models, e.g. probabilistic networks · CPC title

• H04Q9/00 Primary

  Arrangements in telecontrol or telemetry systems for selectively calling a substation from a main station, in which substation desired apparatus is selected for applying a control signal thereto or for obtaining measured values therefrom · CPC title

• G06N5/04 Primary

  Inference or reasoning models · CPC title

• H04Q2209/47

  using RFID associated with sensors · CPC title

• G06N7/005

  Physics · mapped topic