JPH0555896B2 - - Google Patents
Info
- Publication number
- JPH0555896B2 JPH0555896B2 JP17822387A JP17822387A JPH0555896B2 JP H0555896 B2 JPH0555896 B2 JP H0555896B2 JP 17822387 A JP17822387 A JP 17822387A JP 17822387 A JP17822387 A JP 17822387A JP H0555896 B2 JPH0555896 B2 JP H0555896B2
- Authority
- JP
- Japan
- Prior art keywords
- knowledge
- constraint
- declarative
- unique
- shared
- 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
Landscapes
- Devices For Executing Special Programs (AREA)
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、知識ベースシステムにおける知識ベ
ース管理方式に関する。DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to a knowledge base management method in a knowledge base system.
知識ベースシステムにおいて、入力あるいは推
論の結果知識ベースを更新する際に、新たに追加
あるいは更新しようとする知識が適正であるかを
検査する必要が生じることがある。そのために、
知識ベースは知識と、その知識が充足すべき制約
記述とを含む必要がある。
In a knowledge base system, when updating a knowledge base as a result of input or inference, it may be necessary to check whether the knowledge to be newly added or updated is appropriate. for that,
The knowledge base needs to include knowledge and constraint descriptions that the knowledge should satisfy.
従来の知識ベースでは、個々の知識にそれぞれ
制約を記述した形態をもち、同じ制約を共有の制
約知識として扱うことはない。その結果、同一の
制約知識が知識ベースに散在し、制約を修正する
際に労力を要する。また、制約が複雑な場合は、
知識ベースが必要とする記憶容量も多くなる。
In conventional knowledge bases, constraints are described for each piece of knowledge, and the same constraints are not treated as shared constraint knowledge. As a result, the same constraint knowledge is scattered throughout the knowledge base, and it takes effort to modify the constraints. Also, if the constraints are complex,
The storage capacity required by the knowledge base also increases.
本発明はこのような問題点を解決するために、
宣言型知識と、この宣言型知識が充足すべき制
約記述で前記宣言型知識に固有なものである固有
制約知識と、前記制約記述を共有化した共有制約
知識とを含む知識ベース手段（以下単に知識ベー
スという）と、
この知識ベースに含まれる知識を用いて推論を
行う推論手段（以下推論機構）と、
入力あるいは推論された知識が適正であること
を前記知識ベースからの前記固有制約知識あるい
は前記共有制約知識により検査した上で知識ベー
スの更新を行う知識ベース管理手段とを有する。
In order to solve such problems, the present invention shares declarative knowledge, unique constraint knowledge that is a constraint description to be satisfied by this declarative knowledge and is unique to the declarative knowledge, and the constraint description. a knowledge base means (hereinafter referred to simply as the knowledge base) that includes shared constraint knowledge that has been converted into a and knowledge base management means that updates the knowledge base after checking that the unique constraint knowledge or the shared constraint knowledge from the knowledge base is true.
本発明について、図面を参照して詳細に説明す
る。
The present invention will be described in detail with reference to the drawings.
第１図を参照すると、本発明の一実施例は、知
識ベース管理手段１と、知識ベース２と、宣言型
知識３と、固有制約知識４と、共有制約知識５
と、推論機構６から構成されている。 Referring to FIG. 1, one embodiment of the present invention includes a knowledge base management means 1, a knowledge base 2, declarative knowledge 3, unique constraint knowledge 4, and shared constraint knowledge 5.
and an inference mechanism 6.
本発明の一実施例の動作の概要は以下のようで
ある。 An outline of the operation of one embodiment of the present invention is as follows.
前記推論機構６による知識の推論または、新た
な知識の入力に応答して、前記知識ベース管理手
段１は前記宣言型知識３を参照して前記固有制約
知識４あるいは前記共有制約知識５を求める。前
記知識ベース管理手段１は、新たな知識が適正で
あることを、求められた制約知識により検査をし
た上で、前記知識ベース２を更新する。新たな知
識が制約を満たさない場合は、推論結果が制約を
充足しないとして新たな推論が行われるか、単に
入力された知識の場合は、制約非充足時の処理が
おこなわれる。 In response to inference of knowledge by the inference mechanism 6 or input of new knowledge, the knowledge base management means 1 refers to the declarative knowledge 3 to obtain the unique constraint knowledge 4 or the shared constraint knowledge 5. The knowledge base management means 1 updates the knowledge base 2 after checking that the new knowledge is appropriate using the obtained constraint knowledge. If the new knowledge does not satisfy the constraint, a new inference is performed because the inference result does not satisfy the constraint, or in the case of simply input knowledge, processing when the constraint is not satisfied is performed.
次に本発明の一実施例を詳細に説明する。 Next, one embodiment of the present invention will be described in detail.
前記宣言型知識３の構造を図式化した第２図を
参照すると、宣言型知識３は、宣言型知識３を他
の宣言型知識と区別するための識別名である宣言
型知識名３１を有する。宣言型知識３にアクセス
するためには、宣言型知識名３１を指定すればよ
い。また宣言型知識３は宣言型知識３の持つ値３
２を有しこの値３２が充足すべき固有制約知識の
知識名を表す固有制約知識名３３も有する。さら
に、宣言型知識３は、値３２が充足すべき共有制
約知識の知識名を表す共有制約知識名３４も有す
る。 Referring to FIG. 2 illustrating the structure of the declarative knowledge 3, the declarative knowledge 3 has a declarative knowledge name 31 that is an identification name for distinguishing the declarative knowledge 3 from other declarative knowledge. . In order to access the declarative knowledge 3, it is sufficient to specify the declarative knowledge name 31. Also, declarative knowledge 3 is the value 3 of declarative knowledge 3.
It also has a unique constraint knowledge name 33 that has a value of 2 and represents the knowledge name of the unique constraint knowledge that this value 32 should satisfy. Furthermore, the declarative knowledge 3 also has a shared constraint knowledge name 34 representing the knowledge name of the shared constraint knowledge that the value 32 should satisfy.
次に、前記知識ベース２の構造を図式化した第
３図を参照すると、知識ベース２内の共有制約知
識５は、第１の宣言型知識３と第２の宣言型知識
３とで共有されている。また、第１の固有制約知
識４と第２の固有制約知識４とは、それぞれ第１
の宣言型知識３と第２の宣言型知識３とに固有な
ものとしてついている。 Next, referring to FIG. 3 which diagrammatically shows the structure of the knowledge base 2, the shared constraint knowledge 5 in the knowledge base 2 is shared between the first declarative knowledge 3 and the second declarative knowledge 3. ing. In addition, the first unique constraint knowledge 4 and the second unique constraint knowledge 4 are the first unique constraint knowledge 4, respectively.
This declarative knowledge 3 and the second declarative knowledge 3 are unique to each other.
これ以降の説明では、知識ベースに含まれる知
識は知識名と値を持つており、知識が適正である
ことを検査するとは知識の持つ値を前記固有制約
知識４あるいは前記共有制約知識５の持つ値で評
価することであり、前記知識ベース２を更新する
とは、前記宣言型知識３の持つ値３２を更新する
か新たに追加することを意味する。 In the following explanation, the knowledge included in the knowledge base has a knowledge name and a value, and checking that the knowledge is appropriate means checking the value of the knowledge in the unique constraint knowledge 4 or the shared constraint knowledge 5. This is to evaluate by value, and updating the knowledge base 2 means updating or adding a new value 32 of the declarative knowledge 3.
前記知識ベース管理手段１の制御を示す第４図
を参照すると、まず、単に入力されたか第１図の
前記推論機構６により推論された知識が受取られ
る（４−Ａ）。次に、前記宣言型知識３の持つて
いる固有制約知識名あるいは共有制約知識名が取
出され（４−Ｂ）、取出された固有制約知識ある
いは共有制約知識の持つ値で新たな知識の値が評
価される（４−Ｃ）。この評価の結果、新たな知
識が制約を充足すると判断された場合には、前記
知識ベース２の内容が更新される（４−Ｄ）。充
足しないと判断された場合には新たな知識を削除
する、あるいは再び推論を行う等の制約非充足時
の処理が行われる（４−Ｅ）。 Referring to FIG. 4, which shows the control of the knowledge base management means 1, knowledge that is simply input or inferred by the inference mechanism 6 of FIG. 1 is first received (4-A). Next, the unique constraint knowledge name or shared constraint knowledge name possessed by the declarative knowledge 3 is extracted (4-B), and the value of the new knowledge is determined by the value of the extracted unique constraint knowledge or shared constraint knowledge. Evaluated (4-C). As a result of this evaluation, if it is determined that the new knowledge satisfies the constraints, the contents of the knowledge base 2 are updated (4-D). If it is determined that the constraint is not satisfied, processing is performed when the constraint is not satisfied, such as deleting new knowledge or performing inference again (4-E).
知識ベースシステムを実現するためには知識ベ
ースは重大な鍵であり、含まれる知識の量は増大
していく傾向がある。本発明は、制約知識を共有
化することにより記憶容量の節減を図り、制約知
識の修正を容易にしている。
Knowledge bases are an important key to realizing knowledge-based systems, and the amount of knowledge they contain tends to increase. The present invention reduces storage capacity by sharing constraint knowledge and facilitates modification of constraint knowledge.
第１図は、本発明の一実施例を示す図、第２図
は、本発明の一実施例における宣言型知識の構造
を示す図、第３図は、本発明の一実施例における
知識ベースの構造を示す図、および第４図は、本
発明の一実施例の知識ベース管理手段の制御を示
すフローチヤート図である。
第１図において、１……知識ベース管理手段、
２……知識ベース、３……宣言型知識、４……固
有制約知識、５……共有制約知識、６……推論機
構を表している。
Fig. 1 is a diagram showing an embodiment of the present invention, Fig. 2 is a diagram showing the structure of declarative knowledge in an embodiment of the present invention, and Fig. 3 is a diagram showing a knowledge base in an embodiment of the present invention. and FIG. 4 are flowcharts showing the control of the knowledge base management means according to an embodiment of the present invention. In FIG. 1, 1...knowledge base management means,
2...Knowledge base, 3...Declarative knowledge, 4...Unique constraint knowledge, 5...Shared constraint knowledge, 6...Inference mechanism.
Claims (1)
制約記述で前記宣言型知識に固有なものである固
有制約知識と、前記制約記述を共有化した共有制
約知識とを含む知識ベース手段と、 この知識ベース手段に含まれる知識を用いて推
論を行う推論手段と、 入力あるいは推論された知識が適正であること
を前記知識ベース手段からの前記固有制約知識あ
るいは前記共有制約知識により検査した上で知識
ベース手段の更新を行う知識ベース管理手段とを
含むことを特徴とする知識ベース管理方式。[Claims] 1. Declarative knowledge, unique constraint knowledge that is a constraint description that is to be satisfied by this declarative knowledge and is unique to the declarative knowledge, and shared constraint knowledge that shares the constraint description. a knowledge base means that includes; an inference means that makes an inference using the knowledge contained in the knowledge base means; and the unique constraint knowledge or the shared constraint from the knowledge base means that indicates that the input or inferred knowledge is appropriate. and knowledge base management means for updating the knowledge base means after inspecting it based on knowledge.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP17822387A JPS6421634A (en) | 1987-07-17 | 1987-07-17 | Knowledge base management system using common use limiting knowledge |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP17822387A JPS6421634A (en) | 1987-07-17 | 1987-07-17 | Knowledge base management system using common use limiting knowledge |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPS6421634A JPS6421634A (en) | 1989-01-25 |
| JPH0555896B2 true JPH0555896B2 (en) | 1993-08-18 |
Family
ID=16044741
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP17822387A Granted JPS6421634A (en) | 1987-07-17 | 1987-07-17 | Knowledge base management system using common use limiting knowledge |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS6421634A (en) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH0782486B2 (en) * | 1989-09-12 | 1995-09-06 | 株式会社日立製作所 | Non-linear optimization processing method and non-linear optimization processing device |
-
1987
- 1987-07-17 JP JP17822387A patent/JPS6421634A/en active Granted
Also Published As
| Publication number | Publication date |
|---|---|
| JPS6421634A (en) | 1989-01-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| EP0829806A3 (en) | Data-processing apparatus and method | |
| KR920001329A (en) | Resource-Lat Coupling Coordinate Devices and Methods | |
| JPH0555896B2 (en) | ||
| JPH0256070A (en) | Design data managing system | |
| US5896510A (en) | Network communication system where each system shares definition information with each other | |
| JPH03202935A (en) | Synchronization update system in distributed processing system | |
| JP3179077B2 (en) | Centralized management of terms | |
| JPS63149992A (en) | Polling type supervisory and control system | |
| CN114265997B (en) | Page information output method, device, storage medium and terminal | |
| JPS6349834A (en) | Managing system for knowledge having coverage | |
| JPH0357038A (en) | System for getting dynamic operating condition of file | |
| JPH04178827A (en) | Character code mutual conversion system | |
| JPH01258170A (en) | Data set management system | |
| JPS596410B2 (en) | Buffer area control processing method | |
| KR940022319A (en) | Flow Management Method and Distributed Computing System | |
| GB1521600A (en) | Digital data processing apparatus | |
| JPS63293632A (en) | Full/partial transfer control method for transferred data | |
| JPH0391837A (en) | Formation of knowledge data base for model type inference | |
| JPH0561677A (en) | Expert system | |
| JPH0831871B2 (en) | Network processing system | |
| JPS6347838A (en) | Knowledge succession control system | |
| JP2000020329A (en) | Context propagation method between objects | |
| JPH05250335A (en) | Data base update processing system of loosely coupled multiprocessor system | |
| JPS63181037A (en) | Inference system | |
| ROCHOWIAK | Cooperating intelligent systems(Final Report) |