WO2003090164A3 - System and method for providing inferencing services - Google Patents

System and method for providing inferencing services Download PDF

Info

Publication number
WO2003090164A3
WO2003090164A3 PCT/US2003/012071 US0312071W WO03090164A3 WO 2003090164 A3 WO2003090164 A3 WO 2003090164A3 US 0312071 W US0312071 W US 0312071W WO 03090164 A3 WO03090164 A3 WO 03090164A3
Authority
WO
WIPO (PCT)
Prior art keywords
rules
postcondition
precondition
inferencing services
providing inferencing
Prior art date
Application number
PCT/US2003/012071
Other languages
French (fr)
Other versions
WO2003090164A2 (en
Inventor
Peter J Herrera
Ronald Cass
Kirk D Wilson
It-Beng Tan
Original Assignee
Computer Ass Think Inc
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 Computer Ass Think Inc filed Critical Computer Ass Think Inc
Priority to KR10-2004-7016422A priority Critical patent/KR20050011745A/en
Priority to BRPI0309333-6A priority patent/BR0309333A/en
Priority to JP2003586834A priority patent/JP2005525630A/en
Priority to AU2003230984A priority patent/AU2003230984A1/en
Priority to CA002482956A priority patent/CA2482956A1/en
Priority to EP03724102.3A priority patent/EP1525556B1/en
Publication of WO2003090164A2 publication Critical patent/WO2003090164A2/en
Priority to IL16462204A priority patent/IL164622A0/en
Publication of WO2003090164A3 publication Critical patent/WO2003090164A3/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computing arrangements using knowledge-based models
    • 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

Abstract

A method for providing inferencing services includes receiving a plurality of rules for a specified domain. The method also includes identifying a precondition associated with the rules and a postcondition associated with the rules. The precondition represents an input used in executing the rules, and the postcondition represents an output from the execution of the rules. The method further includes receiving an input value corresponding to the precondition. In addition, the method includes executing at least a portion of the rules using the input value to generate an output value. The output value corresponds to the postcondition.
PCT/US2003/012071 2002-04-19 2003-04-18 System and method for providing inferencing services WO2003090164A2 (en)

Priority Applications (7)

Application Number Priority Date Filing Date Title
KR10-2004-7016422A KR20050011745A (en) 2002-04-19 2003-04-18 System and method for providing inferencing services
BRPI0309333-6A BR0309333A (en) 2002-04-19 2003-04-18 system and method for providing inference services
JP2003586834A JP2005525630A (en) 2002-04-19 2003-04-18 System and method for providing reasoning services
AU2003230984A AU2003230984A1 (en) 2002-04-19 2003-04-18 System and method for providing inferencing services
CA002482956A CA2482956A1 (en) 2002-04-19 2003-04-18 System and method for providing inferencing services
EP03724102.3A EP1525556B1 (en) 2002-04-19 2003-04-18 System and method for providing inferencing services
IL16462204A IL164622A0 (en) 2002-04-19 2004-10-14 System and method for providing ingerencing services

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US37382302P 2002-04-19 2002-04-19
US60/373,823 2002-04-19

Publications (2)

Publication Number Publication Date
WO2003090164A2 WO2003090164A2 (en) 2003-10-30
WO2003090164A3 true WO2003090164A3 (en) 2005-02-24

Family

ID=29251091

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2003/012071 WO2003090164A2 (en) 2002-04-19 2003-04-18 System and method for providing inferencing services

Country Status (11)

Country Link
US (4) US7191163B2 (en)
EP (1) EP1525556B1 (en)
JP (1) JP2005525630A (en)
KR (1) KR20050011745A (en)
CN (1) CN1659589A (en)
AU (1) AU2003230984A1 (en)
BR (1) BR0309333A (en)
CA (1) CA2482956A1 (en)
IL (1) IL164622A0 (en)
WO (1) WO2003090164A2 (en)
ZA (1) ZA200409017B (en)

Families Citing this family (137)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20090106353A1 (en) * 2001-09-19 2009-04-23 Belovich Steven G Method and system for providing an event auditing client server software arrangement
KR20050011745A (en) * 2002-04-19 2005-01-29 컴퓨터 어소시에이츠 싱크, 인코포레이티드 System and method for providing inferencing services
AU2002952648A0 (en) * 2002-11-14 2002-11-28 Softlaw Corporation Limited Forward-chaining inferencing
US7831905B1 (en) * 2002-11-22 2010-11-09 Sprint Spectrum L.P. Method and system for creating and providing web-based documents to information devices
US7409440B1 (en) 2002-12-12 2008-08-05 F5 Net Works, Inc. User defined data items
US7296263B1 (en) * 2002-12-12 2007-11-13 F5 Networks, Inc. Method and system for performing operations on data using XML streams
US7530015B2 (en) * 2003-06-25 2009-05-05 Microsoft Corporation XSD inference
US7873668B2 (en) * 2003-08-15 2011-01-18 Laszlo Systems, Inc. Application data binding
US7827591B2 (en) * 2003-10-08 2010-11-02 Fmr Llc Management of hierarchical reference data
US7752608B1 (en) 2003-12-22 2010-07-06 The United States Of America As Represented By The Administrator Of The National Aeronautics And Space Administration Systems, methods and apparatus for verification of knowledge-based systems
US7617531B1 (en) 2004-02-18 2009-11-10 Citrix Systems, Inc. Inferencing data types of message components
US7720877B1 (en) * 2004-04-14 2010-05-18 Oracle America, Inc. Class structure based enhancer for data objects
US7613666B1 (en) 2004-04-23 2009-11-03 Microsoft Corporation Generating a class model from a business vocabulary to represent facts expressible in the business vocabulary
US7620935B2 (en) 2004-04-30 2009-11-17 Microsoft Corporation Generating programmatic interfaces from natural language expressions of authorizations for request of information
US7802231B2 (en) * 2004-04-30 2010-09-21 Microsoft Corporation Generating programmatic interfaces from natural language expressions of authorizations for provision of information
US7480302B2 (en) * 2004-05-11 2009-01-20 Samsung Electronics Co., Ltd. Packet classification method through hierarchical rulebase partitioning
EP1756711A1 (en) * 2004-05-31 2007-02-28 STMicroelectronics Pvl. Ltd. A method for remotely upgrading the firmware of a target device using wireless technology
US7499850B1 (en) * 2004-06-03 2009-03-03 Microsoft Corporation Generating a logical model of objects from a representation of linguistic concepts for use in software model generation
US7454430B1 (en) * 2004-06-18 2008-11-18 Glenbrook Networks System and method for facts extraction and domain knowledge repository creation from unstructured and semi-structured documents
US7613676B2 (en) 2004-07-27 2009-11-03 Microsoft Corporation Generating a database model from natural language expressions of business rules
US8050907B2 (en) * 2004-07-30 2011-11-01 Microsoft Corporation Generating software components from business rules expressed in a natural language
US7742406B1 (en) * 2004-12-20 2010-06-22 Packeteer, Inc. Coordinated environment for classification and control of network traffic
US7926029B1 (en) * 2005-01-13 2011-04-12 21St Century Systems, Inc. System and method of progressive domain specialization product solutions
US7343364B2 (en) * 2005-02-04 2008-03-11 Efunds Corporation Rules-based system architecture and systems using the same
US8103640B2 (en) * 2005-03-02 2012-01-24 International Business Machines Corporation Method and apparatus for role mapping methodology for user registry migration
US20060259342A1 (en) * 2005-05-12 2006-11-16 Bernhard Hartenstein Rule based document distribution to partners
WO2007073257A2 (en) * 2005-12-21 2007-06-28 Telefonaktiebolaget Lm Ericsson (Publ) Network alarm management
US7987149B2 (en) 2006-03-10 2011-07-26 Trilogy Intellectual Property Holdings, Inc. Configuration mapping using a multi-dimensional rule space and rule consolidation
US8205189B2 (en) * 2006-07-13 2012-06-19 Oracle International Corporation Method and system for definition control in a data repository application
KR100860407B1 (en) * 2006-12-05 2008-09-26 한국전자통신연구원 Apparatus and method for processing multimodal fusion
US9088554B1 (en) * 2006-12-29 2015-07-21 At&T Intellectual Property Ii, L.P. System and method for data modeling
US9330127B2 (en) * 2007-01-04 2016-05-03 Health Care Productivity, Inc. Methods and systems for automatic selection of classification and regression trees
US8037126B2 (en) * 2007-03-12 2011-10-11 Citrix Systems, Inc. Systems and methods of dynamically checking freshness of cached objects based on link status
US8504775B2 (en) 2007-03-12 2013-08-06 Citrix Systems, Inc Systems and methods of prefreshening cached objects based on user's current web page
US8701010B2 (en) 2007-03-12 2014-04-15 Citrix Systems, Inc. Systems and methods of using the refresh button to determine freshness policy
US7720936B2 (en) 2007-03-12 2010-05-18 Citrix Systems, Inc. Systems and methods of freshening and prefreshening a DNS cache
US7783757B2 (en) 2007-03-12 2010-08-24 Citrix Systems, Inc. Systems and methods of revalidating cached objects in parallel with request for object
US7584294B2 (en) 2007-03-12 2009-09-01 Citrix Systems, Inc. Systems and methods for prefetching objects for caching using QOS
US8103783B2 (en) 2007-03-12 2012-01-24 Citrix Systems, Inc. Systems and methods of providing security and reliability to proxy caches
US8069129B2 (en) * 2007-04-10 2011-11-29 Ab Initio Technology Llc Editing and compiling business rules
DE102007033019B4 (en) * 2007-07-16 2010-08-26 Peter Dr. Jaenecke Methods and data processing systems for computerized reasoning
JP5023865B2 (en) * 2007-07-26 2012-09-12 富士ゼロックス株式会社 Document classification apparatus and document classification program
US8121117B1 (en) 2007-10-01 2012-02-21 F5 Networks, Inc. Application layer network traffic prioritization
US8078556B2 (en) * 2008-02-20 2011-12-13 International Business Machines Corporation Generating complex event processing rules utilizing machine learning from multiple events
US8165984B2 (en) * 2008-03-28 2012-04-24 Microsoft Corporation Decision service for applications
US20090326925A1 (en) * 2008-06-27 2009-12-31 Microsoft Corporation Projecting syntactic information using a bottom-up pattern matching algorithm
US20090326924A1 (en) * 2008-06-27 2009-12-31 Microsoft Corporation Projecting Semantic Information from a Language Independent Syntactic Model
CA2729304C (en) 2008-06-30 2016-12-13 Ab Initio Technology Llc Data logging in graph-based computations
US8332870B2 (en) * 2008-09-30 2012-12-11 Accenture Global Services Limited Adapter services
US9111030B1 (en) * 2008-10-03 2015-08-18 Federal Home Loan Mortgage Corporation Systems and methods for testing a software application
US20120102421A1 (en) * 2010-10-22 2012-04-26 Bigmachines, Inc. Methods and apparatus for specifying and applying business rules in a product configurator
US9558164B1 (en) 2008-12-31 2017-01-31 F5 Networks, Inc. Methods and system for converting WSDL documents into XML schema
US20100217737A1 (en) * 2009-02-20 2010-08-26 Ajay Shama Method and system for business rules management
CN101938368A (en) * 2009-06-30 2011-01-05 国际商业机器公司 Virtual machine manager in blade server system and virtual machine processing method
US8352402B2 (en) * 2009-08-12 2013-01-08 Red Hat, Inc. Multiple entry point network for stream support in a rule engine
US10721269B1 (en) 2009-11-06 2020-07-21 F5 Networks, Inc. Methods and system for returning requests with javascript for clients before passing a request to a server
US8806056B1 (en) 2009-11-20 2014-08-12 F5 Networks, Inc. Method for optimizing remote file saves in a failsafe way
US11140178B1 (en) 2009-11-23 2021-10-05 F5 Networks, Inc. Methods and system for client side analysis of responses for server purposes
US8850071B2 (en) * 2010-05-10 2014-09-30 Liaison Technologies, Inc. Map intuition system and method
US9503375B1 (en) 2010-06-30 2016-11-22 F5 Networks, Inc. Methods for managing traffic in a multi-service environment and devices thereof
US9420049B1 (en) 2010-06-30 2016-08-16 F5 Networks, Inc. Client side human user indicator
US8347100B1 (en) 2010-07-14 2013-01-01 F5 Networks, Inc. Methods for DNSSEC proxying and deployment amelioration and systems thereof
US10296653B2 (en) 2010-09-07 2019-05-21 F5 Networks, Inc. Systems and methods for accelerating web page loading
US8281236B2 (en) * 2010-09-08 2012-10-02 Microsoft Corporation Removing style corruption from extensible markup language documents
US8494999B2 (en) 2010-09-23 2013-07-23 International Business Machines Corporation Sensor based truth maintenance method and system
US8538903B2 (en) * 2010-09-23 2013-09-17 International Business Machines Corporation Data based truth maintenance method and system
US8600914B2 (en) * 2010-11-30 2013-12-03 Red Hat, Inc. Left and right unlinking for a shared knowledge base
KR101296279B1 (en) * 2011-01-07 2013-08-20 주식회사 아이싸이랩 Method and Apparatus of Rule Engine System with Separate Rule Server and Rule Executor
GB2503163B (en) 2011-03-22 2019-05-29 Nant Holdings Ip Llc Reasoning Engines
EP2710784B1 (en) 2011-05-16 2017-12-06 F5 Networks, Inc A method for load balancing of requests' processing of diameter servers
US8396836B1 (en) 2011-06-30 2013-03-12 F5 Networks, Inc. System for mitigating file virtualization storage import latency
US8935136B2 (en) * 2011-09-22 2015-01-13 Microsoft Corporation Multi-component model engineering
US8930285B2 (en) 2011-10-21 2015-01-06 International Business Machines Corporation Composite production rules
US8463850B1 (en) 2011-10-26 2013-06-11 F5 Networks, Inc. System and method of algorithmically generating a server side transaction identifier
KR101329951B1 (en) * 2011-11-21 2013-11-14 포항공과대학교 산학협력단 Method for developing decision structure based control components and apparatus for the same
US9384711B2 (en) 2012-02-15 2016-07-05 Microsoft Technology Licensing, Llc Speculative render ahead and caching in multiple passes
US10230566B1 (en) 2012-02-17 2019-03-12 F5 Networks, Inc. Methods for dynamically constructing a service principal name and devices thereof
US9244843B1 (en) 2012-02-20 2016-01-26 F5 Networks, Inc. Methods for improving flow cache bandwidth utilization and devices thereof
US9020912B1 (en) 2012-02-20 2015-04-28 F5 Networks, Inc. Methods for accessing data in a compressed file system and devices thereof
US9519631B2 (en) 2012-03-30 2016-12-13 Microsoft Technology Licensing, Llc Semantic diff and automerge
EP2853074B1 (en) 2012-04-27 2021-03-24 F5 Networks, Inc Methods for optimizing service of content requests and devices thereof
US9177533B2 (en) 2012-05-31 2015-11-03 Microsoft Technology Licensing, Llc Virtual surface compaction
US9286122B2 (en) 2012-05-31 2016-03-15 Microsoft Technology Licensing, Llc Display techniques using virtual surface allocation
US9235925B2 (en) * 2012-05-31 2016-01-12 Microsoft Technology Licensing, Llc Virtual surface rendering
US9230517B2 (en) 2012-05-31 2016-01-05 Microsoft Technology Licensing, Llc Virtual surface gutters
US9135244B2 (en) * 2012-08-30 2015-09-15 Arria Data2Text Limited Method and apparatus for configurable microplanning
US10033837B1 (en) 2012-09-29 2018-07-24 F5 Networks, Inc. System and method for utilizing a data reducing module for dictionary compression of encoded data
US20140107932A1 (en) * 2012-10-11 2014-04-17 Aliphcom Platform for providing wellness assessments and recommendations using sensor data
US9578090B1 (en) 2012-11-07 2017-02-21 F5 Networks, Inc. Methods for provisioning application delivery service and devices thereof
US10375155B1 (en) 2013-02-19 2019-08-06 F5 Networks, Inc. System and method for achieving hardware acceleration for asymmetric flow connections
US9497614B1 (en) 2013-02-28 2016-11-15 F5 Networks, Inc. National traffic steering device for a better control of a specific wireless/LTE network
US9317805B1 (en) * 2013-03-12 2016-04-19 Ubs Ag System and method of performing modular quantitative analysis with nodes that have contextual labels
US8965877B2 (en) 2013-03-14 2015-02-24 Glenbrook Networks Apparatus and method for automatic assignment of industry classification codes
KR101458693B1 (en) * 2013-03-22 2014-11-05 경희대학교 산학협력단 Method for estimating predictive result based on predictive model
US9305111B1 (en) 2013-04-11 2016-04-05 Ubs Ag System and method of performing quantitative analysis via graph nodes representing programs
US9307007B2 (en) 2013-06-14 2016-04-05 Microsoft Technology Licensing, Llc Content pre-render and pre-fetch techniques
WO2015028844A1 (en) 2013-08-29 2015-03-05 Arria Data2Text Limited Text generation from correlated alerts
PL405176A1 (en) * 2013-08-30 2015-03-02 Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie Interferencing system based on a set of rules and method of interferencing
US9396181B1 (en) 2013-09-16 2016-07-19 Arria Data2Text Limited Method, apparatus, and computer program product for user-directed reporting
KR102349573B1 (en) 2013-09-27 2022-01-10 아브 이니티오 테크놀로지 엘엘시 Evaluating rules applied to data
US10187317B1 (en) 2013-11-15 2019-01-22 F5 Networks, Inc. Methods for traffic rate control and devices thereof
CA2940216C (en) * 2014-01-09 2021-01-26 Thomas D. Feigenbaum Systems and methods for cognition-based processing of knowledge
US11838851B1 (en) 2014-07-15 2023-12-05 F5, Inc. Methods for managing L7 traffic classification and devices thereof
EP3026601A1 (en) * 2014-11-27 2016-06-01 Agfa Healthcare Data repository querying method
US10182013B1 (en) 2014-12-01 2019-01-15 F5 Networks, Inc. Methods for managing progressive image delivery and devices thereof
US11895138B1 (en) 2015-02-02 2024-02-06 F5, Inc. Methods for improving web scanner accuracy and devices thereof
US20170024653A1 (en) * 2015-03-30 2017-01-26 Edgeverve Systems Limited Method and system to optimize customer service processes
US10834065B1 (en) 2015-03-31 2020-11-10 F5 Networks, Inc. Methods for SSL protected NTLM re-authentication and devices thereof
US10505818B1 (en) 2015-05-05 2019-12-10 F5 Networks. Inc. Methods for analyzing and load balancing based on server health and devices thereof
US11350254B1 (en) 2015-05-05 2022-05-31 F5, Inc. Methods for enforcing compliance policies and devices thereof
US10476992B1 (en) 2015-07-06 2019-11-12 F5 Networks, Inc. Methods for providing MPTCP proxy options and devices thereof
US11757946B1 (en) 2015-12-22 2023-09-12 F5, Inc. Methods for analyzing network traffic and enforcing network policies and devices thereof
US10404698B1 (en) 2016-01-15 2019-09-03 F5 Networks, Inc. Methods for adaptive organization of web application access points in webtops and devices thereof
US11178150B1 (en) 2016-01-20 2021-11-16 F5 Networks, Inc. Methods for enforcing access control list based on managed application and devices thereof
US10797888B1 (en) 2016-01-20 2020-10-06 F5 Networks, Inc. Methods for secured SCEP enrollment for client devices and devices thereof
US10185720B2 (en) 2016-05-10 2019-01-22 International Business Machines Corporation Rule generation in a data governance framework
US10412198B1 (en) 2016-10-27 2019-09-10 F5 Networks, Inc. Methods for improved transmission control protocol (TCP) performance visibility and devices thereof
US10467347B1 (en) 2016-10-31 2019-11-05 Arria Data2Text Limited Method and apparatus for natural language document orchestrator
US11063758B1 (en) 2016-11-01 2021-07-13 F5 Networks, Inc. Methods for facilitating cipher selection and devices thereof
US10505792B1 (en) 2016-11-02 2019-12-10 F5 Networks, Inc. Methods for facilitating network traffic analytics and devices thereof
FR3061337A1 (en) 2016-12-23 2018-06-29 Dhatim UNIVERSAL AND OPTIMIZED RULES ENGINE FOR THE PROCESSING OF MANAGEMENT DOCUMENTS
US10812266B1 (en) 2017-03-17 2020-10-20 F5 Networks, Inc. Methods for managing security tokens based on security violations and devices thereof
US11343237B1 (en) 2017-05-12 2022-05-24 F5, Inc. Methods for managing a federated identity environment using security and access control data and devices thereof
US11122042B1 (en) 2017-05-12 2021-09-14 F5 Networks, Inc. Methods for dynamically managing user access control and devices thereof
CN108304164B (en) * 2017-09-12 2021-12-03 马上消费金融股份有限公司 Business logic development method and development system
US11223689B1 (en) 2018-01-05 2022-01-11 F5 Networks, Inc. Methods for multipath transmission control protocol (MPTCP) based session migration and devices thereof
US10929760B1 (en) 2018-05-22 2021-02-23 Marvell Asia Pte, Ltd. Architecture for table-based mathematical operations for inference acceleration in machine learning
US10929778B1 (en) 2018-05-22 2021-02-23 Marvell Asia Pte, Ltd. Address interleaving for machine learning
US10929779B1 (en) 2018-05-22 2021-02-23 Marvell Asia Pte, Ltd. Architecture to support synchronization between core and inference engine for machine learning
US11657124B2 (en) * 2018-12-10 2023-05-23 Apple Inc. Integrating binary inference engines and model data for efficiency of inference tasks
CN109919315B (en) * 2019-03-13 2021-10-01 科大讯飞股份有限公司 Forward reasoning method, device, equipment and storage medium of neural network
US11907867B2 (en) * 2019-06-05 2024-02-20 Paypal, Inc. Identification and suggestion of rules using machine learning
KR102185379B1 (en) * 2020-01-21 2020-12-01 한국과학기술원 Runtime Message Inference Apparatus and Method for Incompatible IoT Protocol Updates
CN111898761B (en) * 2020-08-12 2022-11-22 曙光信息产业(北京)有限公司 Service model generation method, image processing method, device and electronic equipment
US11461300B2 (en) * 2021-01-06 2022-10-04 Sap Se Dynamic model server for multi-model machine learning inference services
US11816583B2 (en) * 2021-01-29 2023-11-14 Intuit, Inc. Knowledge engine module collections
CN112907234B (en) * 2021-05-08 2021-07-16 武汉众邦银行股份有限公司 Decision engine implementation method based on dynamic configuration rules

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5165011A (en) * 1988-09-22 1992-11-17 Omron Tateisi Electronics Co. System for switching a rule group
US5355444A (en) * 1990-01-23 1994-10-11 International Business Machines Corporation Expert system wtih a plurality of independent knowledge bases

Family Cites Families (39)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5175696A (en) 1986-09-12 1992-12-29 Digital Equipment Corporation Rule structure in a procedure for synthesis of logic circuits
US4884217A (en) * 1987-09-30 1989-11-28 E. I. Du Pont De Nemours And Company Expert system with three classes of rules
US4885705A (en) * 1988-02-25 1989-12-05 Eastman Kodak Company Expert system shell for building photofinishing diagnostic systems
US5218669A (en) * 1988-03-11 1993-06-08 International Chip Corporation VLSI hardware implemented rule-based expert system apparatus and method
US5121496A (en) * 1988-07-25 1992-06-09 Westinghouse Electric Corp. Method for creating, maintaining and using an expert system by recursively modifying calibration file and merging with standard file
JPH07100262B2 (en) * 1988-10-07 1995-11-01 三菱電機株式会社 Discharge machining end determination method and apparatus
US5058043A (en) * 1989-04-05 1991-10-15 E. I. Du Pont De Nemours & Co. (Inc.) Batch process control using expert systems
US5122976A (en) * 1990-03-12 1992-06-16 Westinghouse Electric Corp. Method and apparatus for remotely controlling sensor processing algorithms to expert sensor diagnoses
US5367619A (en) * 1990-04-27 1994-11-22 Eaton Corporation Electronic data entry system employing an expert system to facilitate generation of electronic data forms with complex interrelationships between fields and subforms
US5276775A (en) 1990-12-07 1994-01-04 Texas Instruments Inc. System and method for building knowledge-based applications
US5363473A (en) 1991-05-28 1994-11-08 The Trustees Of Columbia University In The City Of New York Incremental update process and apparatus for an inference system
FR2720846B1 (en) * 1994-06-02 1996-07-26 Bull Sa Information system for viewing centralized information from operational applications.
US5706406A (en) * 1995-05-22 1998-01-06 Pollock; John L. Architecture for an artificial agent that reasons defeasibly
US6058387A (en) 1996-01-30 2000-05-02 The University Of Chicago Dynamic information architecture system and method
US5778157A (en) * 1996-06-17 1998-07-07 Yy Software Corporation System and method for expert system analysis using quiescent and parallel reasoning and set structured knowledge representation
US5826250A (en) 1996-06-19 1998-10-20 Pegasystems Inc. Rules bases and methods of access thereof
GB2318478B (en) * 1996-10-21 2001-01-17 Northern Telecom Ltd Network model for alarm correlation
GB2318479B (en) 1996-10-21 2001-04-04 Northern Telecom Ltd Problem model for alarm correlation
US6167520A (en) * 1996-11-08 2000-12-26 Finjan Software, Inc. System and method for protecting a client during runtime from hostile downloadables
US6092033A (en) * 1997-04-16 2000-07-18 Uhlmann; Jeffrey K. Method and apparatus for fusing mean and covariance estimates
US6067637A (en) 1997-05-16 2000-05-23 At&T Corp Data reduction technique for rule based systems
US6536935B2 (en) * 1997-07-23 2003-03-25 Atarum Institute Computerized system for market-based constraint optimization
US6092064A (en) * 1997-11-04 2000-07-18 International Business Machines Corporation On-line mining of quantitative association rules
US6606616B1 (en) * 1998-12-01 2003-08-12 Lucent Technologies Inc. Modified action rules
US6826552B1 (en) * 1999-02-05 2004-11-30 Xfi Corporation Apparatus and methods for a computer aided decision-making system
US6535864B1 (en) * 1999-08-05 2003-03-18 Unisys Corporation Method for mapping alterations in system state to knowledge base objects in a persistent repository-resident knowledge base
US6829604B1 (en) * 1999-10-19 2004-12-07 Eclipsys Corporation Rules analyzer system and method for evaluating and ranking exact and probabilistic search rules in an enterprise database
US20010029499A1 (en) * 1999-12-30 2001-10-11 Tuatini Jeffrey Taihana Rules processing system
US6681383B1 (en) * 2000-04-04 2004-01-20 Sosy, Inc. Automatic software production system
US6519580B1 (en) * 2000-06-08 2003-02-11 International Business Machines Corporation Decision-tree-based symbolic rule induction system for text categorization
US20020046047A1 (en) * 2000-07-07 2002-04-18 Budd Jeffrey R. Patient care management system and method
WO2002021254A2 (en) * 2000-09-07 2002-03-14 Hnc Software, Inc. Mechanism and method for dynamic question handling through an electronic interface
US20050144114A1 (en) * 2000-09-30 2005-06-30 Ruggieri Thomas P. System and method for providing global information on risks and related hedging strategies
US6965887B2 (en) * 2001-03-21 2005-11-15 Resolutionebs, Inc. Rule processing methods for automating a decision and assessing satisfiability of rule-based decision diagrams
US20040030710A1 (en) * 2001-05-21 2004-02-12 Thomas Shadle Rules-based task browser for engineering systems
US6910028B2 (en) 2001-07-27 2005-06-21 International Business Machines Corporation Conflict-handling assimilator service for exchange of rules with merging
US20030037063A1 (en) 2001-08-10 2003-02-20 Qlinx Method and system for dynamic risk assessment, risk monitoring, and caseload management
US6868411B2 (en) * 2001-08-13 2005-03-15 Xerox Corporation Fuzzy text categorizer
KR20050011745A (en) * 2002-04-19 2005-01-29 컴퓨터 어소시에이츠 싱크, 인코포레이티드 System and method for providing inferencing services

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5165011A (en) * 1988-09-22 1992-11-17 Omron Tateisi Electronics Co. System for switching a rule group
US5355444A (en) * 1990-01-23 1994-10-11 International Business Machines Corporation Expert system wtih a plurality of independent knowledge bases

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
BARRETO J ET AL: "Qualitative physics versus fuzzy sets theory in modeling and control", PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS,CONTROL AND INSTRUMENTATION (IECON). KOBE, OCT. 28 - NOV. 1, 1991, NES YORK, IEEE, US, vol. VOL. 1 CONF. 17, 28 October 1991 (1991-10-28), pages 1651 - 1656, XP010041900, ISBN: 0-87942-688-8 *
HONG JIARONG, UHRIK C.: "The ALFALFA Entomology Pest Identification System", JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY - ENGLISH LANGUAGE EDITION, vol. 3, no. 4, October 1988 (1988-10-01), CHINA, pages 251 - 262, XP008041049 *
LAMBERTI P M ET AL: "Advice-giving using REASON: an intelligent assistant for interactive computing", PROCEEDINGS OF THE CONFERENCE ON ARTIFICIAL INTELLIGENCE APPLICATIONS. MIAMI BEACH, FEB. 24 - 28, 1991, NEW YORK, IEEE, US, vol. VOL. 2 CONF. 7, 24 February 1991 (1991-02-24), pages 428 - 434, XP010022642, ISBN: 0-8186-2135-4 *
SHANE B ET AL: "CONSULTATIONS AMONG MULTIPLE KNOWLEDGE BASES IN AN INVESTMENT PORTFOLIO EXPERT SYSTEM", CONFERENCE PROCEEDINGS OF THE 6TH ANNUAL PHOENIX CONFERENCE ON COMPUTERS AND COMMUNICATIONS, 1987, pages 492 - 495, XP000011839 *

Also Published As

Publication number Publication date
US7191163B2 (en) 2007-03-13
US7937358B2 (en) 2011-05-03
JP2005525630A (en) 2005-08-25
US7849045B2 (en) 2010-12-07
US7356522B2 (en) 2008-04-08
CA2482956A1 (en) 2003-10-30
KR20050011745A (en) 2005-01-29
EP1525556A2 (en) 2005-04-27
WO2003090164A2 (en) 2003-10-30
US20040015463A1 (en) 2004-01-22
ZA200409017B (en) 2005-11-02
US20090089239A1 (en) 2009-04-02
US20030229605A1 (en) 2003-12-11
CN1659589A (en) 2005-08-24
AU2003230984A1 (en) 2003-11-03
US20110047123A1 (en) 2011-02-24
IL164622A0 (en) 2005-12-18
BR0309333A (en) 2007-02-21
EP1525556B1 (en) 2018-12-05

Similar Documents

Publication Publication Date Title
WO2003090164A3 (en) System and method for providing inferencing services
WO2005084240A3 (en) Method and system for providing links to resources related to a specified resource
WO2006044689A3 (en) Food product contamination event management system and method
WO2002073452A8 (en) Method for automated sentence planning
WO2006127135A3 (en) Access enforcer
WO2006019389A3 (en) System and method for ordering haptic effects
WO2005074487A3 (en) Method and apparatus for information notification
WO2005098592A3 (en) Systems and methods for weighting a search query result
WO2005098788A3 (en) System and method for assessment design
WO2005041103A3 (en) Medical advisory system
WO2006000027A8 (en) A network optimisation system
WO2003019917A3 (en) Method and system of caller interaction with an entertainment system over a voice network
WO2005006183A3 (en) Method and apparatus for shuffling data
WO2005006119A3 (en) An extensible type system for representing and checking consistency of program components during the process of compilation
WO2007143226A3 (en) Generating a multiple-prerequisite attack graph
WO2003019391A3 (en) A general input/output architecture protocol and related methods to manage data integrity
WO2006062815A3 (en) System and method for constructing cognitive programs
WO2005041503A3 (en) Method and apparatus for two-stage packet classification using most specific filter matching and transport level sharing
WO2003073580A3 (en) Processing system for a power distribution system
DE60107976D1 (en) Intervote modulator
WO2007002652A3 (en) Translating expressions in a computing environment
WO2006028870A3 (en) System and method for relating applications in a computing system
WO2003027895A3 (en) Character string conversion
FI20031453A (en) An arrangement and method for providing information to a user
WO2006013527A3 (en) A method for contesting at least two interactive systems against each other and an interactive system competition arrangement

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 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 UZ VC 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 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: 1020047016422

Country of ref document: KR

WWE Wipo information: entry into national phase

Ref document number: 2003230984

Country of ref document: AU

WWE Wipo information: entry into national phase

Ref document number: 2003586834

Country of ref document: JP

Ref document number: 2482956

Country of ref document: CA

Ref document number: 2003724102

Country of ref document: EP

Ref document number: 1560/KOLNP/2004

Country of ref document: IN

WWE Wipo information: entry into national phase

Ref document number: 2004/09017

Country of ref document: ZA

Ref document number: 200409017

Country of ref document: ZA

WWE Wipo information: entry into national phase

Ref document number: 20038134349

Country of ref document: CN

WWP Wipo information: published in national office

Ref document number: 1020047016422

Country of ref document: KR

WWP Wipo information: published in national office

Ref document number: 2003724102

Country of ref document: EP

ENP Entry into the national phase

Ref document number: PI0309333

Country of ref document: BR