ES2177832T3 - Sistema eficiente de revision de teoria controlado por datos. - Google Patents
Sistema eficiente de revision de teoria controlado por datos.Info
- Publication number
- ES2177832T3 ES2177832T3 ES97100055T ES97100055T ES2177832T3 ES 2177832 T3 ES2177832 T3 ES 2177832T3 ES 97100055 T ES97100055 T ES 97100055T ES 97100055 T ES97100055 T ES 97100055T ES 2177832 T3 ES2177832 T3 ES 2177832T3
- Authority
- ES
- Spain
- Prior art keywords
- kbk
- hierarchy
- accuracy
- computer system
- fault
- Prior art date
- Legal status (The legal status 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 status listed.)
- Expired - Lifetime
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computing arrangements using knowledge-based models
- G06N5/01—Dynamic search techniques; Heuristics; Dynamic trees; Branch-and-bound
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; 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
- G06N5/025—Extracting rules from data
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)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Circuits Of Receivers In General (AREA)
- Paper (AREA)
Abstract
UN SISTEMA INFORMATICO TOMA COMO ENTRADA UNA JERARQUIA DE ERRORES INICIAL KB{SUB,0} Y UN CONJUNTO DE TRANSCRIPCIONES DE SESIONES ANOTADAS C = {<{PI}{SUB,J}{RH}{SUB,J}>} Y SE DA UN CONJUNTO ESPECIFICADO DE OPERADORES DE REVISION T = {{DS}{SUB,I}}T DONDE CADA {DS}{SUB,I} E T SITUA UNA JERARQUIA POR DEFECTO KB EN UNA JERARQUIA LIGERAMENTE DIFERENTE {DS}{SUB,I} (KB). EL SISTEMA INFORMATICO UTILIZA T PARA ASCENDER DESDE LA JERARQUIA DE ERRORES POR DEFECTO KB{SUB,0}, POR JERARQUIAS SUCESIVAS, KB{SUB,1}...KB{SUB,M}, CON UNAS PRECISIONES EMPIRICAS MAS ALTAS SUCESIVAMENTE SOBRE C. EN CADA PASO, PARA IR DESDE UNA JERARQUIA POR DEFECTO KB{SUB,K} HASTA SU VECINA KB{SUB,K+1}, EL SISTEMA INFORMATICO DEBE EVALUAR LA PRECISION DE KB{SUB,K} SOBRE C, ASI COMO LA PRECISION DE CADA KB'' E N)KB{SUB,K}. EL SISTEMA INFORMATICO PROPORCIONA UNA FORMA EFICIENTE DE EVALUACION DE LA PRECISION DE KB{SUB,K}, Y CADA {DS}{SUB,I}(KB{SUB,K}), PARA DETERMINAR CUAL {DS}{SUB,I} (KB{SUB,K}) ES MAS PRECISO QUE KB{SUB,K}, SI LO FUERA ALGUNO. ESTO NECESITA UNAS OBSERVACIONES CLAVE. EN PRIMER LUGAR, AL SITUAR CADA TRANSFORMACION UTILIZADA EN UNA JERARQUIA EN UNA JERARQUIA RELACIONADA, SE PRODUCEN SOLO CAMBIOS LOCALES EN LA JERARQUIA, Y SOLO SE PRODUCIRAN EFECTOS MENORES Y FACILMENTE CALCULABLES EN CUALQUIER EJEMPLO. EN SEGUNDO LUGAR, LA MAYORIA DE LAS TRANSFORMACIONES NO TENDRAN EFECTO EN MUCHOS MOMENTOS. POR ULTIMO, SE PUEDE LIMITAR CUANTO PUEDE CAMBIAR EL MARCADOR DE PRECISION DE UNA BASE DE CONOCIMIENTO SOBRE LA BASE DE CUALQUIER EJEMPLO, LO QUE SIGNIFICA QUE LAS TECNICAS DE RAMIFICACION Y LIMITE PUEDEN SER UTILIZADAS PARA EVITAR EL CALCULO DE LOS MARCADORES DE PRECISION DE VARIAS JERARQUIAS QUE NO PUEDEN SER OPTIMAS.
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US08/584,629 US5787232A (en) | 1996-01-10 | 1996-01-10 | Efficient data-driven theory revision system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| ES2177832T3 true ES2177832T3 (es) | 2002-12-16 |
Family
ID=24338169
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| ES97100055T Expired - Lifetime ES2177832T3 (es) | 1996-01-10 | 1997-01-03 | Sistema eficiente de revision de teoria controlado por datos. |
Country Status (8)
| Country | Link |
|---|---|
| US (1) | US5787232A (es) |
| EP (1) | EP0784267B1 (es) |
| CN (1) | CN1167948A (es) |
| AT (1) | ATE216788T1 (es) |
| DE (1) | DE69712119T2 (es) |
| DK (1) | DK0784267T3 (es) |
| ES (1) | ES2177832T3 (es) |
| PT (1) | PT784267E (es) |
Families Citing this family (25)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8656039B2 (en) | 2003-12-10 | 2014-02-18 | Mcafee, Inc. | Rule parser |
| US7899828B2 (en) | 2003-12-10 | 2011-03-01 | Mcafee, Inc. | Tag data structure for maintaining relational data over captured objects |
| US7774604B2 (en) | 2003-12-10 | 2010-08-10 | Mcafee, Inc. | Verifying captured objects before presentation |
| US7984175B2 (en) | 2003-12-10 | 2011-07-19 | Mcafee, Inc. | Method and apparatus for data capture and analysis system |
| US8548170B2 (en) | 2003-12-10 | 2013-10-01 | Mcafee, Inc. | Document de-registration |
| US7930540B2 (en) | 2004-01-22 | 2011-04-19 | Mcafee, Inc. | Cryptographic policy enforcement |
| US7962591B2 (en) * | 2004-06-23 | 2011-06-14 | Mcafee, Inc. | Object classification in a capture system |
| US8560534B2 (en) | 2004-08-23 | 2013-10-15 | Mcafee, Inc. | Database for a capture system |
| US7949849B2 (en) | 2004-08-24 | 2011-05-24 | Mcafee, Inc. | File system for a capture system |
| US7907608B2 (en) | 2005-08-12 | 2011-03-15 | Mcafee, Inc. | High speed packet capture |
| US7818326B2 (en) | 2005-08-31 | 2010-10-19 | Mcafee, Inc. | System and method for word indexing in a capture system and querying thereof |
| US7653650B2 (en) * | 2005-12-13 | 2010-01-26 | International Business Machines Corporation | Apparatus, system, and method for synchronizing change histories in enterprise applications |
| US8504537B2 (en) | 2006-03-24 | 2013-08-06 | Mcafee, Inc. | Signature distribution in a document registration system |
| US7958227B2 (en) | 2006-05-22 | 2011-06-07 | Mcafee, Inc. | Attributes of captured objects in a capture system |
| US7689614B2 (en) | 2006-05-22 | 2010-03-30 | Mcafee, Inc. | Query generation for a capture system |
| US8031981B2 (en) * | 2007-12-21 | 2011-10-04 | Daon Holdings Limited | Method and systems for generating a subset of biometric representations |
| US8205242B2 (en) | 2008-07-10 | 2012-06-19 | Mcafee, Inc. | System and method for data mining and security policy management |
| US9253154B2 (en) | 2008-08-12 | 2016-02-02 | Mcafee, Inc. | Configuration management for a capture/registration system |
| US8850591B2 (en) | 2009-01-13 | 2014-09-30 | Mcafee, Inc. | System and method for concept building |
| US8706709B2 (en) | 2009-01-15 | 2014-04-22 | Mcafee, Inc. | System and method for intelligent term grouping |
| US8473442B1 (en) | 2009-02-25 | 2013-06-25 | Mcafee, Inc. | System and method for intelligent state management |
| US8667121B2 (en) | 2009-03-25 | 2014-03-04 | Mcafee, Inc. | System and method for managing data and policies |
| US8447722B1 (en) | 2009-03-25 | 2013-05-21 | Mcafee, Inc. | System and method for data mining and security policy management |
| US8806615B2 (en) | 2010-11-04 | 2014-08-12 | Mcafee, Inc. | System and method for protecting specified data combinations |
| US20130246336A1 (en) | 2011-12-27 | 2013-09-19 | Mcafee, Inc. | System and method for providing data protection workflows in a network environment |
Family Cites Families (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4754410A (en) * | 1986-02-06 | 1988-06-28 | Westinghouse Electric Corp. | Automated rule based process control method with feedback and apparatus therefor |
| US4866635A (en) * | 1987-10-19 | 1989-09-12 | Carnegie Group Inc. | Domain independent shell for building a diagnostic expert system |
| JPH03166601A (ja) * | 1989-11-27 | 1991-07-18 | Hitachi Ltd | 制御支援装置 |
| US5159685A (en) * | 1989-12-06 | 1992-10-27 | Racal Data Communications Inc. | Expert system for communications network |
| US5107499A (en) * | 1990-04-30 | 1992-04-21 | At&T Bell Laboratories | Arrangement for automated troubleshooting using selective advice and a learning knowledge base |
| JPH0478926A (ja) * | 1990-07-23 | 1992-03-12 | Toshiba Corp | 知識獲得システム |
| US5481649A (en) * | 1993-03-09 | 1996-01-02 | The University Of Tennessee Research Corp. | Method and apparatus using a decision tree in an adjunct system cooperating with another physical system |
| US5642472A (en) * | 1994-05-20 | 1997-06-24 | Lucent Technologies Inc. | Software discovery system |
| US5675710A (en) * | 1995-06-07 | 1997-10-07 | Lucent Technologies, Inc. | Method and apparatus for training a text classifier |
-
1996
- 1996-01-10 US US08/584,629 patent/US5787232A/en not_active Expired - Lifetime
-
1997
- 1997-01-03 EP EP97100055A patent/EP0784267B1/en not_active Expired - Lifetime
- 1997-01-03 DE DE69712119T patent/DE69712119T2/de not_active Expired - Lifetime
- 1997-01-03 ES ES97100055T patent/ES2177832T3/es not_active Expired - Lifetime
- 1997-01-03 DK DK97100055T patent/DK0784267T3/da active
- 1997-01-03 PT PT97100055T patent/PT784267E/pt unknown
- 1997-01-03 AT AT97100055T patent/ATE216788T1/de not_active IP Right Cessation
- 1997-01-10 CN CN97101897A patent/CN1167948A/zh active Pending
Also Published As
| Publication number | Publication date |
|---|---|
| CN1167948A (zh) | 1997-12-17 |
| EP0784267A1 (en) | 1997-07-16 |
| PT784267E (pt) | 2002-09-30 |
| DE69712119D1 (de) | 2002-05-29 |
| US5787232A (en) | 1998-07-28 |
| DK0784267T3 (da) | 2002-08-12 |
| DE69712119T2 (de) | 2002-11-14 |
| ATE216788T1 (de) | 2002-05-15 |
| EP0784267B1 (en) | 2002-04-24 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| ES2177832T3 (es) | Sistema eficiente de revision de teoria controlado por datos. | |
| Ekman | On the Treatment of Flow in Traffic Safety Analysis,-a non-parametric approach applied on vulnerable road users | |
| EP1162433B8 (en) | Method and system for obtaining user feedback regarding geographic data | |
| AU2001249314A1 (en) | Root cause analysis in a distrbuted network management architecture | |
| DE60318430D1 (de) | Computergestütztes System und Verfahren zur Informationsausgabe an einen Fahrer eines Fahrzeuges | |
| DK0762306T3 (da) | System til planlægning og styring af rejser i virksomheder | |
| WO2001025959A3 (en) | Method and apparatus for browsing the internet using position information | |
| EP1271352A4 (en) | INTERNET BROWSING-CONTROL METHOD | |
| EP1033662A3 (en) | Natural language search method and apparatus | |
| ATE498165T1 (de) | Verkehrsdatenverwaltung und simulationssystem | |
| EP1109086A3 (de) | Konstruktionssystem und Verfahren zum Konstruieren oder Entwerfen neuer Bauteile | |
| FR2761176B1 (fr) | Procede et dispositif pour determiner un trajet de vol optimal d'un aeronef | |
| CA2385814A1 (en) | Document management method and document management system | |
| EP1160694A3 (en) | Method and system for forming a keyword database for referencing physical locations | |
| FR2767770B1 (fr) | Procede de resolution de conflits dans un reseau ferroviaire a l'aide d'un moyen informatique | |
| ATE321306T1 (de) | Verfahren zur normalisierung einer diskursrepräsentationsstruktur und normalisierte datenstruktur | |
| Temmerman | Why traditional terminology theory impedes a realistic description of categories and terms in the life sciences | |
| DE69938393D1 (de) | Methode und gerät um datenfiles visuell in beziehung zueinander zu setzen | |
| Lorenz | Teaching about influence in simple regression | |
| FR2772951B1 (fr) | Procede de commande d'un etage radix 4 d'un dispositif electroonique de calcul d'une transformee de fourier a architecture dite "pipelinee", et dispositif correspondant | |
| EP1271358A3 (en) | Copying a portion of a database structure associated with a query | |
| DE69224710D1 (de) | Geräteverwaltungssystem in einem Rechnerssystem | |
| Geldof et al. | Improving route directions on mobile devices | |
| Qian et al. | Network simplification based on the algorithm of polarization transformation | |
| Metcalf et al. | Towards a treatment of word order errors |