WO2003081478A8 - Rule processing system and method - Google Patents

Rule processing system and method

Info

Publication number
WO2003081478A8
WO2003081478A8 PCT/US2003/008265 US0308265W WO03081478A8 WO 2003081478 A8 WO2003081478 A8 WO 2003081478A8 US 0308265 W US0308265 W US 0308265W WO 03081478 A8 WO03081478 A8 WO 03081478A8
Authority
WO
WIPO (PCT)
Prior art keywords
rule
zdd
prime
components
processing system
Prior art date
Application number
PCT/US2003/008265
Other languages
French (fr)
Other versions
WO2003081478A1 (en
Inventor
David L Huelsman
Sharon E Love
Douglas M Mair
Original Assignee
Resolutionebs Inc
David L Huelsman
Sharon E Love
Douglas M Mair
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Resolutionebs Inc, David L Huelsman, Sharon E Love, Douglas M Mair filed Critical Resolutionebs Inc
Priority to AU2003220382A priority Critical patent/AU2003220382A1/en
Priority to EP03716683A priority patent/EP1512085A4/en
Priority to CA002479342A priority patent/CA2479342A1/en
Publication of WO2003081478A1 publication Critical patent/WO2003081478A1/en
Publication of WO2003081478A8 publication Critical patent/WO2003081478A8/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computing arrangements using knowledge-based models
    • G06N5/04—Inference or reasoning models
    • G06N5/046—Forward inferencing; Production systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computing arrangements using knowledge-based models
    • G06N5/02—Knowledge representation; Symbolic representation
    • G06N5/022—Knowledge engineering; Knowledge acquisition

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • Evolutionary Computation (AREA)
  • Computational Linguistics (AREA)
  • Computing Systems (AREA)
  • General Physics & Mathematics (AREA)
  • Mathematical Physics (AREA)
  • Software Systems (AREA)
  • Artificial Intelligence (AREA)
  • Stored Programmes (AREA)
  • User Interface Of Digital Computer (AREA)

Abstract

A rule processing system or method includes defining/entering attributes, enumerations, and/or relationships; packaging the definitions in reduced canonical form suitable for propositional logic manipulation using zero-suppressed binary decision diagrams (Zdd) to produce a prime Zdd (fig. 1B); and/or executing a rule by applying a series of user inputs to a prime Zdd (22) to determine a result (23) that preferably includes conflict and selection advice to help achieve satisfaction. Elective events, such as a display of messages or performance of calculations, may optionally be packaged along with the prime rule or components thereof, and presented during execution to help guide the user to achieve satisfaction or compliancy when choosing among possible selections. The invention automates determination of a complex rule having a combinatorial exploded number of rule components, or a combinatorial exploded number of possible outcomes, exceeding computational capacity of conventional computing systems (24).
PCT/US2003/008265 2002-03-20 2003-03-19 Rule processing system and method WO2003081478A1 (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
AU2003220382A AU2003220382A1 (en) 2002-03-20 2003-03-19 Rule processing system and method
EP03716683A EP1512085A4 (en) 2002-03-20 2003-03-19 Rule processing system and method
CA002479342A CA2479342A1 (en) 2002-03-20 2003-03-19 Rule processing system and method

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US36551702P 2002-03-20 2002-03-20
US60/365,517 2002-03-20

Publications (2)

Publication Number Publication Date
WO2003081478A1 WO2003081478A1 (en) 2003-10-02
WO2003081478A8 true WO2003081478A8 (en) 2005-03-24

Family

ID=28454668

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2003/008265 WO2003081478A1 (en) 2002-03-20 2003-03-19 Rule processing system and method

Country Status (4)

Country Link
EP (1) EP1512085A4 (en)
AU (1) AU2003220382A1 (en)
CA (1) CA2479342A1 (en)
WO (1) WO2003081478A1 (en)

Families Citing this family (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7761397B2 (en) * 2001-03-21 2010-07-20 Huelsman David L Rule processing method and apparatus providing automatic user input selections
US7188091B2 (en) 2001-03-21 2007-03-06 Resolutionebs, Inc. Rule processing system
US7587379B2 (en) 2002-03-20 2009-09-08 Huelsman David L Method and system for capturing business rules for automated decision procession
US7552102B2 (en) 2003-09-29 2009-06-23 Huelsman David L Rule processing method, apparatus, and computer-readable medium to provide improved selection advice
US7734559B2 (en) 2004-09-28 2010-06-08 Huelsman David L Rule processing method and apparatus providing exclude cover removal to simplify selection and/or conflict advice

Family Cites Families (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5805462A (en) * 1995-08-18 1998-09-08 Vlsi Technology, Inc. Automatic synthesis of integrated circuits employing boolean decomposition
US6163876A (en) * 1998-11-06 2000-12-19 Nec Usa, Inc. Method for verification of RTL generated from scheduled behavior in a high-level synthesis flow
US6226656B1 (en) 1998-11-12 2001-05-01 Sourcefinder, Inc. System and method for creating, generating and processing user-defined generic specs
US6535883B1 (en) * 1999-08-04 2003-03-18 Mdsi Software Srl System and method for creating validation rules used to confirm input data

Also Published As

Publication number Publication date
EP1512085A1 (en) 2005-03-09
EP1512085A4 (en) 2010-08-04
AU2003220382A1 (en) 2003-10-08
CA2479342A1 (en) 2003-10-02
WO2003081478A1 (en) 2003-10-02

Similar Documents

Publication Publication Date Title
Blum On-line algorithms in machine learning
EP1805611B1 (en) Task processing scheduling method and device for implementing same
Gasser Harnessing computational resources for efficient exhaustive search
EP1402348A2 (en) Method and system for scheduling in an adaptable computing engine
US9349097B2 (en) Processor for situational analysis
KR20200129090A (en) Information processing device that calculates predicted data, etc.
WO2004044840A1 (en) Forward-chaining inferencing
WO2003081478A8 (en) Rule processing system and method
WO2002023335A3 (en) Display state and/or cell based user interface provision method and apparatus
CN108921407A (en) A kind of task processing system and method
CN110325965A (en) Object processing method, equipment and storage medium in virtual scene
Chen et al. Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control
Chen et al. What’s to come is still unsure: synthesizing controllers resilient to delayed interaction
US8627326B2 (en) System and methods for using a quantitative application measurement to determine whether to instantiate an application
Vincent Perfect simulation of monotone systems for rare event probability estimation
US20140223439A1 (en) Superscalar control for a probability computer
Spector et al. Automatic generation of adaptive programs
Chrobak et al. Preemptive scheduling in overloaded systems
Gburzyński Modeling Communication Networks and Protocols
CN106506627A (en) The processing method and processing device of user interaction activity
Penn et al. Asynchronous congestion games
US11704262B2 (en) Systems, apparatus, and methods of conveyor belt processing
Schumann et al. Physarumsoft-a software tool for programming Physarum machines and simulating Physarum games
Monson Simple adaptive cognition for PSO
Kijima Randomness in algorithm design

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A1

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KP KR KZ LC LK LR LS LT LU LV MA MD MG MK MN MW MX MZ NO NZ OM PH PL PT RO RU SC SD SE SG SK SL TJ TM TN TR TT TZ UA UG US UZ VC VN YU ZA ZM ZW

AL Designated countries for regional patents

Kind code of ref document: A1

Designated state(s): GH GM KE LS MW MZ SD SL SZ TZ UG ZM ZW AM AZ BY KG KZ MD RU TJ TM AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HU IE IT LU MC NL PT RO SE SI SK TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

121 Ep: the epo has been informed by wipo that ep was designated in this application
DFPE Request for preliminary examination filed prior to expiration of 19th month from priority date (pct application filed before 20040101)
WWE Wipo information: entry into national phase

Ref document number: 2003220382

Country of ref document: AU

WWE Wipo information: entry into national phase

Ref document number: 2479342

Country of ref document: CA

WWE Wipo information: entry into national phase

Ref document number: 1376/KOLNP/2004

Country of ref document: IN

WWE Wipo information: entry into national phase

Ref document number: 2003716683

Country of ref document: EP

WWP Wipo information: published in national office

Ref document number: 2003716683

Country of ref document: EP

CFP Corrected version of a pamphlet front page
CR1 Correction of entry in section i

Free format text: IN PCT GAZETTE 40/2003 ADD "DECLARATION UNDER RULE 4.17: - OF INVENTORSHIP (RULE 4.17(IV)) FOR US ONLY."

NENP Non-entry into the national phase in:

Ref country code: JP

WWW Wipo information: withdrawn in national office

Ref document number: JP