Patent
1992-03-19
1995-02-14
Downs, Robert W.
395904, 395906, 395 81, G06F 1518
Patent
active
053902874
ABSTRACT:
A deduction inference system is connected to a plurality of sensor elements, a display device, and an actuator mechanism. The deduction inference system processes stimulus sensor signals received from responding sensor elements. Each sensor signal uniquely identifies condition/status information representative of the particular sensor element transmitting that signal. Using preestablished knowledge rules previously programmed into its memory, the deduction inference system is capable of executing and solving a "non NP-complete" deduction inference on the inputted stimulus sensor signals. The resulting data can then be presented onto a display device as a user friendly "smart" informational message or transmitted to an actuator mechanism attached thereto to control electro-mechanical devices and provide a real-time response to changing condition/status information transmitted form the plurality of sensor elements.
REFERENCES:
patent: 5119318 (1992-06-01), Paradies et al.
Looney et al., "Logical Controls via Boolean Rule Matrix Transformations," IEEE Trans. Syst., Man, and Cybernetics, Nov./Dec. 1987, 1077-1082.
Andert et al., "A Verifiable, Autonomous Satellite Control System," 1989 IEEE Aerospace Applications Conf., Feb. 1989.
LandOfFree
Deduction inference system for solving complex propositional log does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Deduction inference system for solving complex propositional log, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Deduction inference system for solving complex propositional log will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-294246