BR0309333A - sistema e método para fornecimento de serviços de inferência - Google Patents

sistema e método para fornecimento de serviços de inferência

Info

Publication number
BR0309333A
BR0309333A BRPI0309333-6A BR0309333A BR0309333A BR 0309333 A BR0309333 A BR 0309333A BR 0309333 A BR0309333 A BR 0309333A BR 0309333 A BR0309333 A BR 0309333A
Authority
BR
Brazil
Prior art keywords
rules
postcondition
precondition
inference services
output
Prior art date
Application number
BRPI0309333-6A
Other languages
English (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
Publication of BR0309333A publication Critical patent/BR0309333A/pt

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F17/00Digital computing or data processing equipment or methods, specially adapted for specific functions
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00Computing arrangements using knowledge-based models
    • G06N5/02Knowledge representation; Symbolic representation
    • G06N5/022Knowledge engineering; Knowledge acquisition
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00Computing arrangements using knowledge-based models
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00Computing arrangements using knowledge-based models
    • G06N5/04Inference or reasoning models
    • G06N5/046Forward inferencing; Production systems

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Mathematical Physics (AREA)
  • Evolutionary Computation (AREA)
  • Computing Systems (AREA)
  • Computational Linguistics (AREA)
  • Artificial Intelligence (AREA)
  • Databases & Information Systems (AREA)
  • Devices For Executing Special Programs (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Stored Programmes (AREA)
  • Computer And Data Communications (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

"SISTEMA E MéTODO PARA O FORNECIMENTO DE SERVIçOS DE INFERêNCIA". Um método para o fornecimento de serviços de inferência inclui o recebimento de uma pluralidade de regras para um domínio especificado. O método também inclui a identificação de uma pré-condição associada com as regras e uma pós-condição associada com as regras. A pré-condição representa uma entrada utilizada na execução das regras, e a pós-condição representa uma saída a partir da execução das regras. O método inclui adicionalmente o recebimento de um valor de entrada correspondendo à pré-condição. Adicionalmente, o método inclui a execução de pelo menos uma parte das regras utilizando o valor de entrada para gerar um valor de saída. O valor de saída corresponde à pós-condição.
BRPI0309333-6A 2002-04-19 2003-04-18 sistema e método para fornecimento de serviços de inferência BR0309333A (pt)

Applications Claiming Priority (2)

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

Publications (1)

Publication Number Publication Date
BR0309333A true BR0309333A (pt) 2007-02-21

Family

ID=29251091

Family Applications (1)

Application Number Title Priority Date Filing Date
BRPI0309333-6A BR0309333A (pt) 2002-04-19 2003-04-18 sistema e método para fornecimento de serviços de inferência

Country Status (11)

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

Families Citing this family (141)

* 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
US7191163B2 (en) * 2002-04-19 2007-03-13 Computer Associates Think, Inc. 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
US7296263B1 (en) 2002-12-12 2007-11-13 F5 Networks, Inc. Method and system for performing operations on data using XML streams
US7409440B1 (en) 2002-12-12 2008-08-05 F5 Net Works, Inc. User defined data items
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
US7802231B2 (en) * 2004-04-30 2010-09-21 Microsoft Corporation Generating programmatic interfaces from natural language expressions of authorizations for provision of information
US7620935B2 (en) 2004-04-30 2009-11-17 Microsoft Corporation Generating programmatic interfaces from natural language expressions of authorizations for request 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
EP1964038A4 (en) * 2005-12-21 2013-06-12 Ericsson Telefon Ab L M NETWORK MANAGEMENT ALARM
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 (ko) * 2006-12-05 2008-09-26 한국전자통신연구원 멀티모달 융합 처리 방법 및 그 장치
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
US7783757B2 (en) 2007-03-12 2010-08-24 Citrix Systems, Inc. Systems and methods of revalidating cached objects in parallel with request for object
US7720936B2 (en) * 2007-03-12 2010-05-18 Citrix Systems, Inc. Systems and methods of freshening and prefreshening a DNS cache
US8103783B2 (en) 2007-03-12 2012-01-24 Citrix Systems, Inc. Systems and methods of providing security and reliability to proxy caches
US7584294B2 (en) 2007-03-12 2009-09-01 Citrix Systems, Inc. Systems and methods for prefetching objects for caching using QOS
US8701010B2 (en) 2007-03-12 2014-04-15 Citrix Systems, Inc. Systems and methods of using the refresh button to determine freshness policy
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
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
US8069129B2 (en) 2007-04-10 2011-11-29 Ab Initio Technology Llc Editing and compiling business rules
DE102007033019B4 (de) * 2007-07-16 2010-08-26 Peter Dr. Jaenecke Methoden und Datenverarbeitungssysteme für computerisiertes Schlußfolgern
JP5023865B2 (ja) * 2007-07-26 2012-09-12 富士ゼロックス株式会社 文書分類装置及び文書分類プログラム
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
US20090326924A1 (en) * 2008-06-27 2009-12-31 Microsoft Corporation Projecting Semantic Information from a Language Independent Syntactic Model
US20090326925A1 (en) * 2008-06-27 2009-12-31 Microsoft Corporation Projecting syntactic information using a bottom-up pattern matching algorithm
JP5331203B2 (ja) 2008-06-30 2013-10-30 アビニシオ テクノロジー エルエルシー グラフベース計算におけるデータ記録
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 (zh) * 2009-06-30 2011-01-05 国际商业机器公司 刀片服务器***中的虚拟机管理器和虚拟机处理方法
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
US8538903B2 (en) * 2010-09-23 2013-09-17 International Business Machines Corporation Data based truth maintenance method and system
US8494999B2 (en) 2010-09-23 2013-07-23 International Business Machines Corporation Sensor 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 (ko) * 2011-01-07 2013-08-20 주식회사 아이싸이랩 규칙 서버와 규칙 실행 단말기가 분리된 규칙기반 규칙추론 장치 및 방법
WO2012129371A2 (en) 2011-03-22 2012-09-27 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 (ko) * 2011-11-21 2013-11-14 포항공과대학교 산학협력단 결정 구조 기반 컨트롤 컴포넌트 개발 방법 및 장치
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
US9020912B1 (en) 2012-02-20 2015-04-28 F5 Networks, Inc. Methods for accessing data in a compressed file system and devices thereof
US9244843B1 (en) 2012-02-20 2016-01-26 F5 Networks, Inc. Methods for improving flow cache bandwidth utilization and devices thereof
US9519631B2 (en) 2012-03-30 2016-12-13 Microsoft Technology Licensing, Llc Semantic diff and automerge
US10097616B2 (en) 2012-04-27 2018-10-09 F5 Networks, Inc. Methods for optimizing service of content requests and devices thereof
US9235925B2 (en) * 2012-05-31 2016-01-12 Microsoft Technology Licensing, Llc Virtual surface rendering
US9286122B2 (en) 2012-05-31 2016-03-15 Microsoft Technology Licensing, Llc Display techniques using virtual surface allocation
US9230517B2 (en) 2012-05-31 2016-01-05 Microsoft Technology Licensing, Llc Virtual surface gutters
US9177533B2 (en) 2012-05-31 2015-11-03 Microsoft Technology Licensing, Llc Virtual surface compaction
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 (ko) * 2013-03-22 2014-11-05 경희대학교 산학협력단 예측 모형에 기초한 예측결과의 판단 방법
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
US9946711B2 (en) 2013-08-29 2018-04-17 Arria Data2Text Limited Text generation from correlated alerts
PL405176A1 (pl) * 2013-08-30 2015-03-02 Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie System wnioskujący w oparciu o zbiór reguł i sposób wnioskowania
US9396181B1 (en) 2013-09-16 2016-07-19 Arria Data2Text Limited Method, apparatus, and computer program product for user-directed reporting
KR102349573B1 (ko) 2013-09-27 2022-01-10 아브 이니티오 테크놀로지 엘엘시 데이터에 적용되는 규칙 평가
US10187317B1 (en) 2013-11-15 2019-01-22 F5 Networks, Inc. Methods for traffic rate control and devices thereof
JP6360197B2 (ja) * 2014-01-09 2018-07-18 ファイゲンバウム、トーマス ディ.FEIGENBAUM,Thomas,D. 知識の認識ベースの処理のためのシステムおよび方法
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
US10797888B1 (en) 2016-01-20 2020-10-06 F5 Networks, Inc. Methods for secured SCEP enrollment for client devices 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
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 (fr) 2016-12-23 2018-06-29 Dhatim Moteur de regles universel et optimise pour le traitement de documents de gestion
US10812266B1 (en) 2017-03-17 2020-10-20 F5 Networks, Inc. Methods for managing security tokens based on security violations and devices thereof
US11122042B1 (en) 2017-05-12 2021-09-14 F5 Networks, Inc. Methods for dynamically managing user access control 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
CN108304164B (zh) * 2017-09-12 2021-12-03 马上消费金融股份有限公司 一种业务逻辑的开发方法及开发***
US11223689B1 (en) 2018-01-05 2022-01-11 F5 Networks, Inc. Methods for multipath transmission control protocol (MPTCP) based session migration and devices thereof
US11995448B1 (en) 2018-02-08 2024-05-28 Marvell Asia Pte Ltd Method and apparatus for performing machine learning operations in parallel on machine learning hardware
US10997510B1 (en) 2018-05-22 2021-05-04 Marvell Asia Pte, Ltd. Architecture to support tanh and sigmoid operations for inference acceleration in machine learning
US11016801B1 (en) 2018-05-22 2021-05-25 Marvell Asia Pte, Ltd. Architecture to support color scheme-based synchronization for machine learning
US10929778B1 (en) 2018-05-22 2021-02-23 Marvell Asia Pte, Ltd. Address interleaving for machine learning
US10929760B1 (en) 2018-05-22 2021-02-23 Marvell Asia Pte, Ltd. Architecture for table-based mathematical operations for inference acceleration in 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
US12003422B1 (en) 2018-09-28 2024-06-04 F5, Inc. Methods for switching network packets based on packet data and devices
US11657124B2 (en) * 2018-12-10 2023-05-23 Apple Inc. Integrating binary inference engines and model data for efficiency of inference tasks
CN109919315B (zh) * 2019-03-13 2021-10-01 科大讯飞股份有限公司 一种神经网络的前向推理方法、装置、设备及存储介质
US11907867B2 (en) * 2019-06-05 2024-02-20 Paypal, Inc. Identification and suggestion of rules using machine learning
KR102185379B1 (ko) * 2020-01-21 2020-12-01 한국과학기술원 호환되지 않는 IoT 프로토콜 업데이트를 위한 런타임 메시지 추론 장치 및 방법
CN111898761B (zh) * 2020-08-12 2022-11-22 曙光信息产业(北京)有限公司 服务模型生成方法、图像处理方法、装置和电子设备
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 (zh) * 2021-05-08 2021-07-16 武汉众邦银行股份有限公司 一种基于动态配置规则的决策引擎实现方法

Family Cites Families (41)

* 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
US5165011A (en) * 1988-09-22 1992-11-17 Omron Tateisi Electronics Co. System for switching a rule group
JPH07100262B2 (ja) * 1988-10-07 1995-11-01 三菱電機株式会社 放電加工終了判定方法及びその装置
US5058043A (en) * 1989-04-05 1991-10-15 E. I. Du Pont De Nemours & Co. (Inc.) Batch process control using expert systems
US5355444A (en) * 1990-01-23 1994-10-11 International Business Machines Corporation Expert system wtih a plurality of independent knowledge bases
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 (fr) * 1994-06-02 1996-07-26 Bull Sa Système d'information pour la consultation d'informations centralisées en provenance d'applications opérationnelles.
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
GB2318479B (en) 1996-10-21 2001-04-04 Northern Telecom Ltd Problem model for alarm correlation
GB2318478B (en) * 1996-10-21 2001-01-17 Northern Telecom Ltd Network 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
AU2001288851A1 (en) * 2000-09-07 2002-03-22 Hnc Software, Inc. Mechanism and method for continuous operation of a rule server
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
US7191163B2 (en) * 2002-04-19 2007-03-13 Computer Associates Think, Inc. System and method for providing inferencing services

Also Published As

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

Similar Documents

Publication Publication Date Title
BR0309333A (pt) sistema e método para fornecimento de serviços de inferência
RS54614B1 (en) Acetone solvate dimethoxy docetaxel and procedure for its production
BRPI0415307A (pt) técnica para simulação de grão de filme com precisão de bit
BRPI0402760A (pt) Composição microbicida
DK1676212T3 (da) Flersproget kommunikationssystem og -fremgangsmåde
BR0204089A (pt) Analisador sintático de linguagem natural
BRPI0617788A2 (pt) processos isolados estaticamente verificáveis com comunicação interprocessos
BRPI0503785A (pt) sistema eletrÈnico de permuta de dados
BR0300316A (pt) Método para selecionar uma fonte
BR0109256A (pt) Processo e sistema para sìntese e redução de fluxo de trabalho otimizado orientado por resultados
BR0318338A (pt) método e aparelho para comutar a estação móvel entre as transmissões autÈnoma e programada
MA29528B1 (fr) Agents de fixation
WO2005031510A3 (en) Table-oriented application development environment
BR0301945A (pt) Cassete cirúrgico
BR0006861A (pt) Processo de possibilitar que uma primeira rede doméstica de uma primeira arquitetura de software interaja com uma segunda rede doméstica de uma segunda arquitetura de software, sistema de processamento de informações, e, componente de software para uso em um sistema de ambiente doméstico
DE60332220D1 (de) Phrasenbasiertes gemeines wahrscheinlichkeitsmodell zur statistischen maschinellen übersetzung
BR0207775A (pt) Lipossomos anfotéricos métodos para carregamento dos mesmos com ingredientes ativos e sua utilização
ATE266999T1 (de) Dermatologische zusammensetzung
BR0308211A (pt) Cumarinas úteis como biomarcadores
WO2007002652A3 (en) Translating expressions in a computing environment
DE602004027251D1 (de) Herstellung von 1,3-diphenylprop-2-en-1-onderivaten
DE60002327D1 (de) Ableitung von operandtypen innerhalb einer zwischensprache
BR0210348A (pt) Material polimérico, contendo um ácido latente
FI20031453A0 (fi) Järjestely ja menetelmä tiedon hankkimiseksi käyttäjälle
ES2054944T3 (es) Bis-(tri-t-alquilfenoxi) difosfaespiroundecanos.