[go: up one dir, main page]

WO2003017060A2 - Validation de normalisation pour des regles de classification complexes - Google Patents

Validation de normalisation pour des regles de classification complexes Download PDF

Info

Publication number
WO2003017060A2
WO2003017060A2 PCT/US2002/026286 US0226286W WO03017060A2 WO 2003017060 A2 WO2003017060 A2 WO 2003017060A2 US 0226286 W US0226286 W US 0226286W WO 03017060 A2 WO03017060 A2 WO 03017060A2
Authority
WO
WIPO (PCT)
Prior art keywords
rules
attributes
under
lapping
user
Prior art date
Application number
PCT/US2002/026286
Other languages
English (en)
Other versions
WO2003017060A3 (fr
Inventor
Jacob Feldman
Alexander Korolov
Semen Meshcheryakov
Stanislav Shor
Original Assignee
Exigen Group
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
Priority claimed from US09/953,701 external-priority patent/US20030018486A1/en
Application filed by Exigen Group filed Critical Exigen Group
Priority to EP02763468A priority Critical patent/EP1425691A2/fr
Priority to AU2002327476A priority patent/AU2002327476A1/en
Publication of WO2003017060A2 publication Critical patent/WO2003017060A2/fr
Publication of WO2003017060A3 publication Critical patent/WO2003017060A3/fr

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/02—Banking, e.g. interest calculation or account maintenance
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q99/00—Subject matter not provided for in other groups of this subclass

Definitions

  • the present invention relates generally to the field of expert systems.
  • Modern rule-based technology provides the ideal architecture for implementing flexible, easy-to-maintain business rule applications, because such applications keep the rules separate from the application code.
  • Business rules are statements of business policies and procedures that drive day-to-day business activity. Typically, the rules are presented in the form of "if ⁇ condition> then ⁇ action>", thus allowing the users to describe a numerous and various business situations.
  • business rules can rarely be presented in the form of simple "if-then" statements.
  • typical classification rules are combinations of multiple criteria, which frequently are presented as multi-column multi- row tables.
  • the insurance driver classification rule considers all possible combinations of driver age, gender, marital status, driving experience, vehicle usage, etc. Such rules result in multi-page tables, which are difficult to create and maintain. Usually, maintenance of business rules is the responsibility of (non-technical) business specialists, and the proper software tool has to provide consistency checking of rules with a complex infrastructure, and must point users to possible inconsistencies.
  • a method and apparatus for providing a practical solution for the generic problem of consistency validation of complex business rules is disclosed.
  • the method and apparatus is implemented with software tools.
  • Figure 1 is a flow diagram showing a method for validating the consistency of business rules, according to one embodiment.
  • typical classification rules deal with one prime classification object (for example, Driver) and different combinations of its attributes (such as Age, Gender, Marital Status, Driving Experience, Vehicle Usage, Violation Points, etc.).
  • Such classification rules usually state the proper object class for all possible combinations of its attributes.
  • classification rules are represented as a constraint satisfaction problem (CSP), shown in process block 101.
  • CSP constraint satisfaction problem
  • One constrained variable is associated with each attribute, shown in process block 102, and for each user-defined combination of the attributes, a constraint on these variables is defined, shown in process block 103.
  • consistency checking deals with only three possible situations:
  • Over-Lapping The classification includes contradictory (overlapping) combinations of attribute values.
  • an actual table may consist of 20 or more pages.
  • several attributes could be unrelated to the values of other attributes. For example, if the number of violation points is too high, it results in a special driver class, independent of the driver's age or gender.
  • CSP constraint satisfaction problem
  • one constrained integer variable is associated with each attribute, as seen in process block 102, and as shown in this expression:
  • the number N corresponds to the number of columns in the table above.
  • the domain of possible values has a specific size and content for each Attr(x), but without losing the generality of the definition, all values could in one embodiment be considered as integers.
  • Under-Coverage Validation In one embodiment, with the constraint defined "AllRows — 0", an attempt is made to instantiate all Attr(x). If the CSP has a solution, it means that there is a combination of attributes for which all RowExp(y) are false. In the example given in this embodiment, it means a driver exists who cannot be classified by any defined row of attributes, and the classification rule is inconsistent (due to under- coverage). This evaluation is shown in process blocks 104 and 106 of Figure 1. [0017] Over-Lapping Validation: In one embodiment, with the constraint defined "AllRows > 1", an attempt is made to instantiate all Attr(x).
  • the CSP has a solution, it means that more than one row conditions are true. In the example given in this embodiment, it means a driver exists who could be classified by more than one row of attributes, and the classification rule is inconsistent (due to over-lapping). This evaluation is shown in process blocks 104 and 106 of Figure 1.
  • the proposed solution in one embodiment goes beyond the simple “consistent” or “not consistent” diagnosis, and allows to proper program to tell the user why and where the inconsistency occurs.
  • the found solution points exactly to the combination of attributes not covered by the current classification rule, shown as process block 107.
  • the processes and embodiments as described above can be stored on a machine-readable medium as instructions.
  • the machine-readable medium includes any mechanism that provides (i.e., stores and/or transmits) information in a form readable by a machine (e.g., a computer).
  • a machine-readable medium includes read only memory (ROM); random access memory (RAM); magnetic disk storage media; optical storage media; flash memory devices; electrical, optical, acoustical or other form of propagated signals (e.g., carrier waves, infrared signals, digital signals, etc.).
  • the device or machine-readable medium may include a solid state memory device and or a rotating magnetic or optical disk.
  • the device or machine-readable medium may be distributed when partitions of instructions have been separated into different machines, such as across an interconnection of computers.

Landscapes

  • Business, Economics & Management (AREA)
  • Engineering & Computer Science (AREA)
  • Accounting & Taxation (AREA)
  • General Physics & Mathematics (AREA)
  • General Business, Economics & Management (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Finance (AREA)
  • Development Economics (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Strategic Management (AREA)
  • Technology Law (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Stored Programmes (AREA)

Abstract

L'invention concerne un procédé et un appareil offrant une solution pratique au problème générique de la validation de normalisation de règles commerciales complexes. Selon un mode de réalisation, lesdits procédés et appareils sont mis en oeuvre au moyen d'outils logiciels.
PCT/US2002/026286 2001-08-16 2002-08-16 Validation de normalisation pour des regles de classification complexes WO2003017060A2 (fr)

Priority Applications (2)

Application Number Priority Date Filing Date Title
EP02763468A EP1425691A2 (fr) 2001-08-16 2002-08-16 Validation de normalisation pour des regles de classification complexes
AU2002327476A AU2002327476A1 (en) 2001-08-16 2002-08-16 Consistency validation for complex classification rules

Applications Claiming Priority (6)

Application Number Priority Date Filing Date Title
US31307901P 2001-08-16 2001-08-16
US31304001P 2001-08-16 2001-08-16
US60/313,040 2001-08-16
US60/313,079 2001-08-16
US09/953,701 US20030018486A1 (en) 2001-06-25 2001-09-11 Consistency validation for complex classification rules
US09/953,701 2001-09-11

Publications (2)

Publication Number Publication Date
WO2003017060A2 true WO2003017060A2 (fr) 2003-02-27
WO2003017060A3 WO2003017060A3 (fr) 2003-12-24

Family

ID=27405639

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2002/026286 WO2003017060A2 (fr) 2001-08-16 2002-08-16 Validation de normalisation pour des regles de classification complexes

Country Status (3)

Country Link
EP (1) EP1425691A2 (fr)
AU (1) AU2002327476A1 (fr)
WO (1) WO2003017060A2 (fr)

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4658370A (en) * 1984-06-07 1987-04-14 Teknowledge, Inc. Knowledge engineering tool
US5970464A (en) * 1997-09-10 1999-10-19 International Business Machines Corporation Data mining based underwriting profitability analysis
US6016477A (en) * 1997-12-18 2000-01-18 International Business Machines Corporation Method and apparatus for identifying applicable business rules
US6377932B1 (en) * 1998-07-02 2002-04-23 Ita Software, Inc. Rules validation for travel planning system
US6272482B1 (en) * 1998-08-14 2001-08-07 International Business Machines Corporation Managing business rules using jurisdictions
US6473748B1 (en) * 1998-08-31 2002-10-29 Worldcom, Inc. System for implementing rules
US6415275B1 (en) * 1999-08-05 2002-07-02 Unisys Corp. Method and system for processing rules using an extensible object-oriented model resident within a repository

Also Published As

Publication number Publication date
EP1425691A2 (fr) 2004-06-09
AU2002327476A1 (en) 2003-03-03
WO2003017060A3 (fr) 2003-12-24

Similar Documents

Publication Publication Date Title
US20210350211A1 (en) Distributed architecture for explainable ai models
Li et al. Making use of the most expressive jumping emerging patterns for classification
US6856980B2 (en) Hybrid use of rule and constraint engines
Ellis et al. Office information systems and computer science
JP5957580B2 (ja) ベクトルフィールドを用いるデータ処理
Pradhan et al. Explainable ai: Foundations, applications, opportunities for data management research
Alaimo et al. Data rules: Reinventing the market economy
EP4091113B1 (fr) Procédé et système de sécurisation de données d'actif dans un environnement informatique
KR102062117B1 (ko) 사내망 관리를 위한 erp 시스템
US11983494B1 (en) Apparatus and method for dynamic data synthesis and automated interfacing
WO2021012894A1 (fr) Procédé et appareil d'obtention de rapport de test de réseau neuronal, dispositif et support d'informations
CN103365812A (zh) 用于数据隐私引擎的方法和系统
DE112021001492T5 (de) Verfahren und systeme zur graphdatenverarbeitung mit hybridem schlussfolgern
Martinho et al. Computer says I don’t know: An empirical approach to capture moral uncertainty in artificial intelligence
CN109783781A (zh) 基于图像识别的保单录入方法和相关装置
Spertus et al. Sweeter than SUITE: supermartingale stratified union-intersection tests of elections
Jing et al. A Universal neighbourhood rough sets model for knowledge discovering from incomplete heterogeneous data
US7003749B2 (en) Constraint data management for electronic design automation
US20030018486A1 (en) Consistency validation for complex classification rules
Berger et al. Accuracy and credal imprecision
Deshmukh Complexity and chaos in manufacturing systems
DE102020114096A1 (de) Beurteilungs- und antwortmechanismus für autonome systeme
US20020198856A1 (en) Minimization of business rules violations
EP1425691A2 (fr) Validation de normalisation pour des regles de classification complexes
Lundberg Increasing the Trustworthiness ofAI-based In-Vehicle IDS usingeXplainable AI

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

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

Kind code of ref document: A2

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 SD SE SG SI SK SL TJ TM TN TR TT TZ UA UG US UZ VN YU ZA ZM ZW

AL Designated countries for regional patents

Kind code of ref document: A2

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 IE IT LU MC NL PT SE SK TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

Kind code of ref document: A2

Designated state(s): GH GM KE LS MW MZ SD SL SZ UG ZM ZW AM AZ BY KG KZ RU TJ TM AT BE BG CH CY CZ DK EE ES FI FR GB GR IE IT LU MC PT SE SK TR BF BJ CF CG CI 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: 2002763468

Country of ref document: EP

WWP Wipo information: published in national office

Ref document number: 2002763468

Country of ref document: EP

REG Reference to national code

Ref country code: DE

Ref legal event code: 8642

NENP Non-entry into the national phase

Ref country code: JP

WWW Wipo information: withdrawn in national office

Country of ref document: JP