JPS6464036A - Knowledge verification system for knowledge base system - Google Patents
Knowledge verification system for knowledge base systemInfo
- Publication number
- JPS6464036A JPS6464036A JP22012887A JP22012887A JPS6464036A JP S6464036 A JPS6464036 A JP S6464036A JP 22012887 A JP22012887 A JP 22012887A JP 22012887 A JP22012887 A JP 22012887A JP S6464036 A JPS6464036 A JP S6464036A
- Authority
- JP
- Japan
- Prior art keywords
- knowledge
- fixed
- fixed sections
- sections
- gathering
- 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.)
- Pending
Links
Abstract
PURPOSE:To delete the redundant knowledge out of a knowledge base automatically and at a high speed by making use of the nature of a fixed section, i.e., a component element of a prologue program. CONSTITUTION:A fixed section consists of an 'if-then' rule including one or more condition parts and one conclusion part and an 'if-then' rule including only one conclusion part and no condition part. The an R1oR2 performs all possible lead-out actions to all combinations of fixed sections both fixed section gatherings R1 and R2. Thus a gathering of all fixed sections is obtained. In case a gathering R'oR of fixed sections is included in either one of examples Q1, Q2, Q3... and so on of the fixed sections which are successively obtained as combinations of Q1=R and R' and then Qi+1=RoQi and Qi, the R is decided redundant to the R' and deleted.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP22012887A JPS6464036A (en) | 1987-09-04 | 1987-09-04 | Knowledge verification system for knowledge base system |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP22012887A JPS6464036A (en) | 1987-09-04 | 1987-09-04 | Knowledge verification system for knowledge base system |
Publications (1)
Publication Number | Publication Date |
---|---|
JPS6464036A true JPS6464036A (en) | 1989-03-09 |
Family
ID=16746347
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP22012887A Pending JPS6464036A (en) | 1987-09-04 | 1987-09-04 | Knowledge verification system for knowledge base system |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPS6464036A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5778913A (en) * | 1997-02-20 | 1998-07-14 | Lucent Technologies Inc. | Cleaning solder-bonded flip-chip assemblies |
-
1987
- 1987-09-04 JP JP22012887A patent/JPS6464036A/en active Pending
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5778913A (en) * | 1997-02-20 | 1998-07-14 | Lucent Technologies Inc. | Cleaning solder-bonded flip-chip assemblies |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
DE58900152D1 (en) | PROPFAN TURBO ENGINE. | |
DE3382591D1 (en) | ARTIFICIAL LUNG OF THE HOLLOW FIBER TYPE. | |
DE68923805T2 (en) | METHOD FOR PRODUCING OPTICALLY ACTIVE 1,3-BUTANEDIOL. | |
ATE45948T1 (en) | NEW N-ALKOXY- NALKYLSULFONYLAMINOSULFONYL UREAS, AND NEW (PYRIMIDO) TRIAZINO-THIATRIAZINOXIDES AS PRE-PRODUCTS. | |
DE68912214D1 (en) | Engine governor. | |
DD132865A5 (en) | STEREO-SPECIFIC METHOD FOR THE PRODUCTION OF TRANS-CYCLOHEXAN-1,4-DIISOCYANATE, DIAMIN, DIETHANESE, DIHARNES AND DISULPHONYL HARVES | |
DE3773963D1 (en) | METHOD FOR PRODUCING MATURE, HUMAN SERUM ALBUMIN. | |
JPS53131835A (en) | Reflecting objective lens | |
DE68904860D1 (en) | RING RESONATOR GYROSCOPE. | |
DE3767064D1 (en) | COLORED PIPES WITH ASTIGMATISM CORRECTION. | |
JPS6464036A (en) | Knowledge verification system for knowledge base system | |
NO774409L (en) | PROCEDURE FOR ADJUSTING THE ASH BALANCE IN KUMELK O.L. | |
DE3875138D1 (en) | COAL-FIRED GAS TURBINE. | |
DE69009710T2 (en) | Control system for a gas turbine with a maximum immediate output intake limiter. | |
Kuiper | An operational semantics for bonded nondeterminism equivalent to a denotational one | |
MA19290A1 (en) | BENZOLE DERIVATIVES, THEIR PREPARATON AND THEIR THERAPEUTIC USES. | |
DE69015043D1 (en) | Manufacture of lithium layers on objects. | |
JPS647228A (en) | System for searching and processing multi-hierarchization | |
DE58902684D1 (en) | METHOD FOR PRODUCING CYCLIC N, N'-DIMETHYL UREAS. | |
Sumner | Moulding Ti Sheet by Blow-Forming | |
SU562208A3 (en) | Fiberglass rope | |
JPS6441364A (en) | Digital signal generator | |
PL198573A1 (en) | METHOD OF MANUFACTURING NEW COPOLYESTER RECYCLABLE FROM 4.4 '' - DUAL CARBOXY OF THE PARATERPHENYL | |
Lee | Continuing Education/Psychiatric Nursing-Method and factor in psychodrama | |
DE3850966D1 (en) | Glasses for the partially sighted. |