Rule processing system

Details Rule processing system Rule processing system

2007-03-06

2007-03-06

Hirl, Joseph P (Department: 2129)

Data processing: artificial intelligence

Knowledge processing system

Knowledge representation and reasoning technique

C706S046000, C706S014000

Reexamination Certificate

active

10101154

ABSTRACT:
A rule processing apparatus includes modules for defining/entering attributes, enumerations, and/or relationships; packaging the definitions in a reduced canonical form suitable for propositional logic manipulation using zero-suppressed binary decision diagrams (Zdd) to produce a prime Zdd; and/or (iii) executing the rule by applying a series of user inputs to the prime Zdd to determine a result that preferably includes conflict and selection advice to guide the user to satisfaction. Elective events, such as but not limited to the display of messages or the performance of calculations, may optionally be packaged along with the prime rule or components thereof, and presented during execution to help guide the end user to satisfaction or compliancy when choosing among possible selections. The apparatus automates determination of a complex rule having a combinatorial exploded number of rule components, or a combinatorial number of possible outcomes, exceeding computational capacity of present day computing systems.

REFERENCES:
patent: 5301284 (1994-04-01), Estes et al.
patent: 5630025 (1997-05-01), Dolby et al.
patent: 5745765 (1998-04-01), Paseman
patent: 5844554 (1998-12-01), Geller et al.
patent: 5877966 (1999-03-01), Morris et al.
patent: 5963953 (1999-10-01), Cram et al.
patent: 5987473 (1999-11-01), Jorgensen
patent: 6002854 (1999-12-01), Lynch et al.
patent: 6031984 (2000-02-01), Walser
patent: 6035305 (2000-03-01), Strevey et al.
patent: 6064982 (2000-05-01), Puri
patent: 6076080 (2000-06-01), Morscheck et al.
patent: 6256618 (2001-07-01), Spooner et al.
patent: 6424962 (2002-07-01), Billon
patent: 6442732 (2002-08-01), Abramovici et al.
patent: 6741975 (2004-05-01), Nakisa et al.
patent: 6952812 (2005-10-01), Abadir et al.
patent: WO 99/48031 (1999-09-01), None
Tsutomu Sasao, Representations of Discrete Functions: Graph-Based Representations of Discrete Functions, 1996, Kluwer Academic Publishers, 2-16.
Optimizing Model Checking Based on BDD Characterization, 1999, Yang, Carnegie Mellon U.,pp. 9-11.
Representations of Discrete Functions, Sasao, et al., Kluwer Acedemic Pub. 1996, Chap. 1.
An Introduction to Binary Decision Diagrams, Andersen, Tech. Univeristy of Denmark, Oct. 1997.

Affiliated with

Also associated with

Rating

Rule processing system does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Rule processing system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rule processing system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3745477