JPS6464036A - Knowledge verification system for knowledge base system - Google Patents

Knowledge verification system for knowledge base system

Info

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
Application number
JP22012887A
Other languages
Japanese (ja)
Inventor
Akihito Sakurai
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Ltd
Original Assignee
Hitachi Ltd
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 Hitachi Ltd filed Critical Hitachi Ltd
Priority to JP22012887A priority Critical patent/JPS6464036A/en
Publication of JPS6464036A publication Critical patent/JPS6464036A/en
Pending legal-status Critical Current

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.
JP22012887A 1987-09-04 1987-09-04 Knowledge verification system for knowledge base system Pending JPS6464036A (en)

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)

* Cited by examiner, † Cited by third party
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

Cited By (1)

* Cited by examiner, † Cited by third party
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.