JPS6383837A - Predicate control system - Google Patents

Predicate control system

Info

Publication number
JPS6383837A
JPS6383837A JP61230550A JP23055086A JPS6383837A JP S6383837 A JPS6383837 A JP S6383837A JP 61230550 A JP61230550 A JP 61230550A JP 23055086 A JP23055086 A JP 23055086A JP S6383837 A JPS6383837 A JP S6383837A
Authority
JP
Japan
Prior art keywords
predicate
knowledge
notation
object frame
expressed
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
JP61230550A
Other languages
Japanese (ja)
Inventor
Emi Sato
恵美 佐藤
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.)
NEC Corp
Original Assignee
NEC Corp
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 NEC Corp filed Critical NEC Corp
Priority to JP61230550A priority Critical patent/JPS6383837A/en
Publication of JPS6383837A publication Critical patent/JPS6383837A/en
Pending legal-status Critical Current

Links

Landscapes

  • Devices For Executing Special Programs (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

PURPOSE:To contrive to improve the predicate processing performance by con trolling intensively the predicate expression knowledges related to the same predicate in a single control unit. CONSTITUTION:The knowledges expressed in predicates are stored in a control unit 14 of an object frame, etc., that is set in response to the predicate equal to that shown in a name expressed in a predicate. Then an object frame control table 13 decides for control a specific predicate to which the control unit set for each predicate corresponds. Therefore the knowledges expressed in plural predicates and having the same predicate are controlled intensively in a single control unit. Thus it is possible to narrow a predicate range where the unification is carried out and therefore to improve the predicate processing performance. Furthermore it is possible to refer to the fragmentary knowledge expressed in a predicate in the form of a group of predicates.

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は述語表記を用いて表現する知識表現における述
語表記の管理技術に関し、特に述語表記による知識の処
理効率の低下を軽減する為に述語表記により表現される
述語毎にこれに関連する述語表記を集約して管理する管
理方式に関するものである。
[Detailed Description of the Invention] [Field of Industrial Application] The present invention relates to a management technique for predicate notation in knowledge expression expressed using predicate notation. The present invention relates to a management method that aggregates and manages predicate notations related to each predicate expressed by a notation.

〔従来の技術〕[Conventional technology]

従来、人工知能システムにおいて知識表現に述語表記を
用いる場合にはテキスト形式、プログラム形式等のファ
イルの内容の形式にかかわらず、それらは知識格納ファ
イル内で物理的に管理されている。しかし、知識格納フ
ァイル上での管理形式は述語表記の述語名に同じものが
あるか否かといった特別な考慮はされておらず、定義さ
れた順序に従って、記述されたままの表現内容で管理さ
れるようになっていた。以下、この点を図面に基づいて
説明する。
Conventionally, when predicate notation is used to express knowledge in an artificial intelligence system, regardless of the format of the file contents, such as text format or program format, they are physically managed within the knowledge storage file. However, the management format on the knowledge storage file does not take into account whether the predicate names in the predicate expressions have the same name or not, and the expression content is managed as written according to the defined order. It was becoming like this. This point will be explained below based on the drawings.

第7図は述語管理方式により管理する対象知識の述語表
記の一般形式例を示し、述語表記の一般形式例8は、述
語を示す述語名と知識の対象(オブジェクト)名を表す
複数の引数(第1引数、第2引数、・・・)とで構成さ
れる0例えば、「太部はスキーが得意である」という知
識を述語表記すると、 得意である(太部 スキー) となる。
FIG. 7 shows a general format example of predicate representation of target knowledge managed by the predicate management method. General format example 8 of predicate representation consists of a predicate name indicating a predicate and a plurality of arguments ( 1st argument, 2nd argument, . . .)) For example, if the knowledge that ``Abe is good at skiing'' is expressed as a predicate, it becomes ``I am good at (Abe is good at skiing)''.

上述のような一般形式例に基づいた具体的な述語表記を
用いて従来の述語管理方式を説明すると、例えば、「得
意である(太部 スキー)」、「趣味である(太部 読
書)」、「趣味である(次部旅行)」、「父である(太
部 一部)」、「父である(太部 次部)」、「得意で
ある(太部料理)」、「得意である(次部 泳ぎ)」と
いった述語表記の知識が、その順序で定義(登録)され
た場合、従来は、知識格納ファイル内での各知識の管理
形態を模擬的に図示した第8図に示すように、各知識は
定義された順に従って知識格納ファイル9の例えば連続
した領域に格納される。その為、同じ述語名(「得意で
ある」等)を持つ述語表記であっても、それらは知識格
納ファイル9内の部分部分に点在して格納される。
To explain the conventional predicate management method using specific predicate notation based on the general format example above, for example, "I'm good at it (Tabe, skiing)", "It's my hobby (Tabe, reading)" , "My hobby (Jibe Travel)", "My father (Abe Part)", "My father (Abe Tsujibe)", "I'm good at (Aabe Cooking)", "I'm good at... When knowledge with a predicate notation such as ``(next part: swimming)'' is defined (registered) in that order, conventionally, the management form of each knowledge in the knowledge storage file is shown in Figure 8, which is a simulated diagram. As such, each piece of knowledge is stored in, for example, consecutive areas of the knowledge storage file 9 in the defined order. Therefore, even if the predicate expressions have the same predicate name (such as "I'm good at it"), they are stored scattered in partial parts of the knowledge storage file 9.

〔発明が解決しようとする問題点〕[Problem that the invention seeks to solve]

上述した従来の述語管理方式では第8図に示したように
、複数の述語表記は定義順に管理されているので、ユニ
フィケーションの実行時には、述語が既知の述語表記に
よる処理対象であっても、第8図のように管理された述
語表記による知識をその先頭から順番に全ての述語表記
記述に対してユニフィケーションを実行しなければなら
なくなる。従って、知識表現のように膨大な量の記述を
対象とする場合には、述語処理の性能に大きく影響し、
性能劣化は必至となるという欠点がある。
In the conventional predicate management method described above, as shown in Figure 8, multiple predicate expressions are managed in the order of definition, so when unification is executed, even if the predicate is to be processed by a known predicate expression, the As shown in Figure 8, it is necessary to unify the knowledge based on the managed predicate notation for all predicate notation descriptions in order from the beginning. Therefore, when dealing with a huge amount of descriptions such as knowledge expressions, the performance of predicate processing is greatly affected.
The disadvantage is that performance deterioration is inevitable.

本発明はこのような従来の欠点を解決したもので、その
目的は、述語表記で表現した知識に対する述語処理にお
いてユニフィケーションを実行することが必要な述語の
範囲を絞り込むことにより、述語処理の性能を向上させ
ることにある。
The present invention solves these conventional drawbacks, and its purpose is to improve the performance of predicate processing by narrowing down the range of predicates that require unification in predicate processing for knowledge expressed in predicate notation. It's about improving.

〔問題点を解決するための手段〕[Means for solving problems]

本発明は上記目的を達成するために、述語表記による知
識を知識格納ファイル等の知識格納手段に格納して管理
する述語管理方式において、述語表記による知識を、該
述語表記の述語名で表現される述語と同一の述語に対応
して設けられたオブジェクトフレーム等の管理単位に格
納し、述語毎に設けられた前記管理単位がどのような述
語に対応しているかをオブジェクトフレーム管理テーブ
ル等の管理テーブルで管理するように構成されている。
In order to achieve the above object, the present invention provides a predicate management method in which knowledge expressed in predicate expression is stored and managed in a knowledge storage means such as a knowledge storage file. The data is stored in a management unit such as an object frame, which is provided corresponding to the same predicate as the predicate, and the management unit, such as an object frame management table, stores what kind of predicate the management unit provided for each predicate corresponds to. It is configured to be managed using a table.

〔作用〕[Effect]

知識格納手段に登録すべき述語表記による知識は、それ
が有する述語名で表現される述語と同一の述語に対応す
る管理単位に登録されることから、同一の述語を持つ複
数の述語表記の知識は同一の管理単位に集約して管理さ
れる。
Knowledge based on predicate notation to be registered in the knowledge storage means is registered in the management unit corresponding to the same predicate as the predicate expressed by the predicate name it has, so knowledge of multiple predicate notations having the same predicate are collectively managed in the same management unit.

〔実施例〕〔Example〕

次に本発明の実施例について図面を参照して説明する。 Next, embodiments of the present invention will be described with reference to the drawings.

第1図は本発明の実施例のブロック図であり、複数の述
語表記知識格納単位を格納する知識格納ファイル中での
管理単位として、フレーム表現を使用した実施例を示し
、Pは述語管理部、5は知識入力支援手段、6はキーボ
ードやCRTを有するコンソール等の入出力装置、7は
知識格納ファイルである。
FIG. 1 is a block diagram of an embodiment of the present invention, showing an embodiment in which a frame representation is used as a management unit in a knowledge storage file that stores a plurality of predicate representation knowledge storage units, and P is a predicate management unit. , 5 is a knowledge input support means, 6 is an input/output device such as a console having a keyboard or CRT, and 7 is a knowledge storage file.

同図を参照すると、本実施例の述語管理部Pは、入出力
装置6から知識入力支援手段5を介して入力された述語
表記による知識が与えられる述語表記知識述語識別手段
1と、述語表記知識登録手段2と、述語毎述語表記知識
管理手段3と、述語表記知識述語管理手段4とから構成
されている。また、知識格納ファイル7には、述語表記
の述語名で表現される各述語に対応して設けられた複数
のオブジェクトフレーム14.〜147と、各オブジェ
クトフレーム14.〜14.かどのような述語に対応し
ているかを管理するオブジェクトフレーム管理テーブル
13とが格納されている。
Referring to the figure, the predicate management unit P of the present embodiment includes a predicate notation knowledge predicate identification unit 1 to which knowledge based on predicate notation input from the input/output device 6 via the knowledge input support unit 5 is provided, and a predicate notation knowledge predicate identification unit 1. It is composed of knowledge registration means 2, predicate-by-predicate notation knowledge management means 3, and predicate notation knowledge predicate management means 4. The knowledge storage file 7 also includes a plurality of object frames 14. ~147 and each object frame 14. ~14. An object frame management table 13 is stored that manages which predicates the object frame corresponds to.

第2図はオブジェクトフレーム管理テーブル13゜オブ
ジェクトフレーム14.〜14..のある時点の内容例
と両者の関係を示している。オブジェクトフレーム管理
テーブルI3は複数のスロット13.〜13.lを有し
、各スロットには、述語名と、オブジェクトフレームへ
のポインタ値とが格納される。また、オブジェクトフレ
ーム14.〜147も複数のスロフ)14+t〜14.
、、 14□、〜14z−,,1431〜143−、 
 ・・・、を有し、各スロットには同図の例では第1引
数、第2引数の対象名(太部、スキー等)が格納される
FIG. 2 shows an object frame management table 13° and an object frame 14. ~14. .. It shows an example of the content at a certain point in time and the relationship between the two. The object frame management table I3 has a plurality of slots 13. ~13. 1, and each slot stores a predicate name and a pointer value to an object frame. Also, the object frame 14. ~147 is also a plurality of slov) 14+t~14.
,, 14□, ~14z-,,1431~143-,
. . , and in each slot, in the example shown in the figure, the object name (fat part, ski, etc.) of the first argument and the second argument is stored.

オブジェクトフレーム管理テーブル13とオブジェクト
フレーム141〜14aには、知識格納ファイル7に一
つも述語表記知識が格納されない初期状態では、述語名
、ポインタ値、対象名は格納されていない。
In the initial state where no predicate notation knowledge is stored in the knowledge storage file 7, no predicate name, pointer value, or target name is stored in the object frame management table 13 and the object frames 141 to 14a.

第3図は第1図の動作説明用フローチャートであり、8
1〜S5は各ステップを示す、以下、各図を参照して本
実施例の動作を説明する。
FIG. 3 is a flowchart for explaining the operation of FIG.
1 to S5 indicate each step. Hereinafter, the operation of this embodiment will be explained with reference to each figure.

第1図において、操作者が、入出力装置6のキーボード
等を操作して登録したい述語表記の知識をCRTディス
プレイに表示したのち、登録指示を行なうと、その述語
表記の知識は、知識入力支援手段5によって取込まれ、
述語表記知識述語識別手段1へ渡される。
In FIG. 1, when the operator displays the knowledge of the predicate notation he wants to register on the CRT display by operating the keyboard of the input/output device 6, and then issues a registration instruction, the knowledge of the predicate notation is transferred to the knowledge input support. captured by means 5;
The predicate notation knowledge is passed to the predicate identification means 1.

述語表記知識述語識別手段lは、述語表記の知識を受取
ると、第3図のステップS1に示すように、先ずその述
語表記により表現された知識中からその述語表記中の述
語名により表現される述語を識別する。いま、第4図の
述語表記群10内の各述語表記を最上位から順々に入出
力装置6より入力していくものとすると、最初に、「得
意である(太部 スキー)」が入力されるので、述語と
して「得意である」を識別する。そして、次に述語表記
知識述語識別手段1は、第3図のステップS2に示すよ
うにその識別した述語が、既に認識済であるか否かを、
知識格納ファイル7のオブジェクトフレーム管理テーブ
ル13の何れかのスロットに述語名として「得意である
」が登録されているか否かにより判断する。前述したよ
うに、初期状態においてはオブジェクトフレーム管理テ
ーブル13には何れの述語名も登録されていないので、
ステップS2ではNoと判断され、述語表記知識述語識
別手段lは、入力された述語表記の知識を述語毎述語表
記知識管理手段3に送出する。
When the predicate notation knowledge predicate identification means 1 receives knowledge of a predicate notation, as shown in step S1 in FIG. Identify predicates. Now, suppose that each predicate expression in the predicate expression group 10 in FIG. Therefore, we identify “I am good at” as a predicate. Then, the predicate notation knowledge predicate identification means 1 determines whether the identified predicate has already been recognized, as shown in step S2 in FIG.
The determination is made based on whether "I am good at" is registered as a predicate name in any slot of the object frame management table 13 of the knowledge storage file 7. As mentioned above, since no predicate name is registered in the object frame management table 13 in the initial state,
The determination in step S2 is No, and the predicate notation knowledge predicate identification means 1 sends the input knowledge of predicate notation to the predicate notation knowledge management means 3 for each predicate.

述語毎述語表記知識管理手段3は上記の述語表記の知識
を受取ると、第3図のステップS3に示すように、その
述語表記中の述語名に対し各述語毎に異なる識別子を付
与すると共に、この付与した識別子に対応するポインタ
値(第2図の例では(001))を持ち且つ述語名とし
て「得意である」を持つ一つのオブジェクトフレーム(
第2図ではオブジェクトフレーム141)を生成し、そ
の後、述語表記知識述語管理手段4を起動する。
When the predicate-by-predicate notation knowledge management means 3 receives the above-mentioned knowledge of predicate notation, as shown in step S3 in FIG. 3, it assigns a different identifier to each predicate to the predicate name in the predicate notation, and One object frame that has a pointer value ((001) in the example in Figure 2) corresponding to this assigned identifier and has "I am good at" as a predicate name (
In FIG. 2, an object frame 141) is generated, and then the predicate notation knowledge predicate management means 4 is activated.

述語表記知識述語管理手段4は起動されると、第3図の
ステップS4に示すように、知識格納ファイル7中のオ
ブジェクトフレーム管理テーブル13の一つの空きスロ
ット (第2図ではスロット13.)に、述語名として
「得意である」を登録し、そのポインタ値としてオブジ
ェクトフレーム141に払い出された識別子に対応する
値(001)を登録して、スロット13+ とオブジェ
クトフレーム14.とをリンクする。
When the predicate notation knowledge predicate management means 4 is activated, as shown in step S4 in FIG. , registers "I am good at" as the predicate name, registers the value (001) corresponding to the identifier issued to object frame 141 as its pointer value, and inserts slot 13+ and object frame 14. Link with.

述語表記知識述語管理手段4による上記処理の完了は、
述語毎述語表記知識管理手段3に通知され、述語毎述語
表記知識管理手段3はこの通知を受けると、登録すべき
述語表記の知識(今の例では「得意である(太部 スキ
ー)」を述語表記知識登録手段2へ渡して登録を依頼す
る。
Completion of the above processing by the predicate notation knowledge predicate management means 4 is as follows:
This is notified to the predicate notation knowledge management means 3 for each predicate, and upon receiving this notification, the knowledge management means 3 for predicate notation for each predicate registers the knowledge of the predicate notation to be registered (in this example, "I am good at it (Tabe Ski)". The information is passed to the predicate notation knowledge registration means 2 to request registration.

述語表記知識登録手段2はこの依願があると、第3図の
ステップS5に示すように、知識格納ファイル7中のオ
ブジェクトフレーム管理テーブル13中の各スロットの
述語名を調べ、「得意である」が登録されたスロット1
3.を見つけると、そのポインタ値(001)で示され
るオブジェクトフレーム14+の空きスロット (第2
図の例においてはスロット14□)の第1引数欄に「太
部」を、第2引数欄に「スキー」を登録する0以上の処
理により、入出力装置6から入力された「得意である(
太部スキー)」なる述語表記の知識が知識格納ファイル
7に登録されたことになる。
When the predicate notation knowledge registration means 2 receives this request, it checks the predicate name of each slot in the object frame management table 13 in the knowledge storage file 7, as shown in step S5 in FIG. Slot 1 where is registered
3. is found, the empty slot (second
In the example shown in the figure, by registering "thick part" in the first argument field of slot 14□) and "skiing" in the second argument field, the "skiing" input from the input/output device 6 is inputted from the input/output device 6. (
This means that the knowledge of the predicate notation "Tabeski)" has been registered in the knowledge storage file 7.

第4図によれば、次に入力される述語表記の知識は「趣
味である(太部 読書)」であり、「趣味である」の述
語名がオブジェクトフレーム管理テーブル13中にない
ことから、前述と同様な処理により、(002)をポイ
ンタ値として又述語名として「趣味である」を持つ新た
なオブジェクトフレーム142が生成され、オブジェク
トフレーム管理テーブル13のスロット13□に、述語
名として「趣味である」が、そのポインタ欄に(002
)が登録されてスロット13□とオブジェクトフレーム
148とがリンクされ、オブジェクトフレーム14□の
スロット14t1に、「太部」、「読書」の対象名が登
録される。
According to FIG. 4, the knowledge of the predicate notation to be input next is "It's a hobby (Tabe Reading)", and since the predicate name "It's a hobby" is not in the object frame management table 13, Through the same process as described above, a new object frame 142 with (002) as the pointer value and "hobby" as the predicate name is generated, and is stored in slot 13□ of the object frame management table 13 with "hobby" as the predicate name. " is in the pointer column (002
) is registered to link the slot 13□ and the object frame 148, and the object names "fat section" and "reading" are registered in the slot 14t1 of the object frame 14□.

次に入出力装置6から「趣味である(次回 旅行)」な
る述語表記の知識が入力されると、「趣味である」なる
述語名が既にオブジェクトフレーム管理テーブル13に
登録されていることから、述語表記知識述語識別手段1
では、述語名の認識済と判別しくS2>、入力された述
語表記の知識は述語表記知識登録手段2に渡される。述
語表記知識登録手段2は、これを受取ると、知識格納フ
ァイル7のオブジェクトフレーム管理テーブル13中の
各スロットを調べ、同一の述語名を持つスロット13.
のポインタ値(002)に従って、オブジェクトフレー
ム14.の空きスロット(第2図の場合はスロット14
゜)に、「次回」と「旅行」との対象名を登録する。
Next, when the knowledge of the predicate notation "My hobby (next trip)" is input from the input/output device 6, since the predicate name "My hobby" is already registered in the object frame management table 13, Predicate notation knowledge predicate identification means 1
Then, it is determined that the predicate name has been recognized (S2>), and the knowledge of the input predicate notation is passed to the predicate notation knowledge registration means 2. When the predicate notation knowledge registration means 2 receives this, it checks each slot in the object frame management table 13 of the knowledge storage file 7, and selects slots 13 .
According to the pointer value (002) of object frame 14. empty slot (slot 14 in the case of Figure 2)
゜), register the target names "Next time" and "Travel".

以後、第4図に示すように、「父である(太部一部)」
、「父である(太部 次回)」、「得意である(太部 
料理)」、[得意である(次回泳ぎ)」なる述語表記の
知識が入出力装置6から順次に入力されることにより、
それらは第2図に示すように、同一述語名を持つオブジ
ェクトフレームに格納されていく。第4図の枠11内は
、同図の述語表記群10内の各述語表記知識を最上位か
ら順に登録していったときに知識格納ファイル7に格納
される知識の管理形態を模擬的に表現したものであり、
同図の破線で例示するように、同じ述語を持つ述語表記
の知識は同一の管理単位に集約して管理される。
From now on, as shown in Figure 4, "I am the father (part of the fat part)"
, “I am a father (Abe next time)”, “I am good at it (Aabe next time)”
By sequentially inputting the knowledge of the predicate notation "cooking)" and "I'm good at (next swimming)" from the input/output device 6,
As shown in FIG. 2, they are stored in object frames having the same predicate name. The frame 11 in FIG. 4 is a simulation of the management form of knowledge stored in the knowledge storage file 7 when each predicate notation knowledge in the predicate notation group 10 in the same figure is registered in order from the highest level. It is expressed,
As illustrated by the broken line in the figure, knowledge of predicate expressions having the same predicate is managed in the same management unit.

第5図は上記実施例の述語管理方式を使用した述語処理
装置の一例を示すブロック図であり、処理装置51と、
処理装置51にインクフェイス54を介して接続さ6れ
た入出力装置52と、処理装置51にインタフェイス5
5を介して接続された外部記憶装置53とから構成され
ている。処理装置51内には、第1図の知識入力支援手
段5に相当する入力手段510と、述語管理部Pに相当
する述語管理手段511と、入出力手段512と、述語
処理手段513とが含められ°、外部記憶装置53には
、第1図と同様なオブジェクトフレーム管理テーブル5
30と、複数のオブジェクトフレーム531.〜531
nとを有する知識格納ファイル532が格納されている
。この知識格納ファイル532には、前述したような処
理によって述語管理手段511により必要な述語表記の
知識が予め格納されている。
FIG. 5 is a block diagram showing an example of a predicate processing device using the predicate management method of the above embodiment, in which a processing device 51,
An input/output device 52 connected to the processing device 51 via an ink face 54 and an interface 5 connected to the processing device 51
and an external storage device 53 connected via 5. The processing device 51 includes an input means 510 corresponding to the knowledge input support means 5 in FIG. The external storage device 53 contains an object frame management table 5 similar to that shown in FIG.
30 and a plurality of object frames 531 . ~531
A knowledge storage file 532 having ``n'' is stored. In this knowledge storage file 532, necessary predicate notation knowledge is stored in advance by the predicate management means 511 through the process described above.

述語処理手段513は、入出力装置52からインクフェ
イス54.入出力手段512を介して入力された処理対
象を、外部記憶装置53中の知識格納ファイル532内
の知識に従って処理し、処理結果を入出力手段512.
インクフェイス54を介して入出力装置52に出力する
。述語処理手段513はその処理過程においてユニフィ
ケーションを実行するが、本発明では同一の述語に関連
する述語表記知識は同一の管理単位に集約して格納され
ているので、例えば第6図に示すようなユニフィケーシ
ョン処理により処理効率を高めることが可能である。即
ち、入出力装置52から処理対象の述語表記の知識(例
えば第1引数が変数となっている述語表記等)が入力さ
れ、述語処理手段513がこれを受取ると、先ず、第6
図に示すようにその処理対象の述語名で表現される述語
を識別しく310) 、次に、知識格納ファイル532
中のオブジェクトフレーム管理テーブル530よりその
述語に関連する知識を格納するオブジェクトフレームの
ポインタを取得して対象オブジェクトフレームを特定し
く5ll)、その特定したオブジェクトフレーム内で、
例えば処理対象の引数と一致する値を持つスロットを検
索する(S12)。
The predicate processing means 513 receives information from the input/output device 52 from the ink face 54 . The processing target input via the input/output means 512 is processed according to the knowledge in the knowledge storage file 532 in the external storage device 53, and the processing results are sent to the input/output means 512.
It is output to the input/output device 52 via the ink face 54. The predicate processing means 513 executes unification in its processing process, but in the present invention, predicate notation knowledge related to the same predicate is stored collectively in the same management unit, so for example, as shown in FIG. Processing efficiency can be improved by unification processing. That is, when knowledge of the predicate notation to be processed (for example, a predicate notation in which the first argument is a variable) is input from the input/output device 52 and received by the predicate processing means 513, first, the sixth
As shown in the figure, the predicate expressed by the predicate name to be processed is identified (310), and then the knowledge storage file 532
Obtain the pointer of the object frame that stores the knowledge related to the predicate from the object frame management table 530 in the object frame to specify the target object frame (5ll), and within the specified object frame,
For example, a slot having a value matching the argument to be processed is searched for (S12).

〔発明の効果〕〔Effect of the invention〕

以上説明したように、本発明は、述語表記の述語名で表
される知識表現の述語に着目し、同一の述語に関連する
述語表記知識を同一の管理単位に集約して管理すること
により、以下に示す効果がある。
As explained above, the present invention focuses on predicates in knowledge expressions expressed by predicate names in predicate notation, and manages predicate notation knowledge related to the same predicate in the same management unit. It has the following effects.

(1)  述語表記で表現した知識に対する述語処理に
おいてユニフィケーションを実行する述語の範囲が絞り
込めることにより、述語処理の性能を向上できる。
(1) The performance of predicate processing can be improved by narrowing down the range of predicates for which unification is performed in predicate processing for knowledge expressed in predicate notation.

(2)述語表記による断片的な知識が述語に関するまと
まりで参照することが可能となる。
(2) Fragmentary knowledge based on predicate notation can be referenced as a predicate-related group.

(3)  同じ述語に関する知識のメンテナンス作業が
容易となり、作業効率が向上する。
(3) Maintenance work for knowledge regarding the same predicate becomes easier and work efficiency improves.

(4)同じ述語に関する知識へのアクセス効率が向上す
る。
(4) Access efficiency to knowledge regarding the same predicate is improved.

【図面の簡単な説明】[Brief explanation of the drawing]

第1図は本発明の実施例のブロック図、第2図はオブジ
ェクトフレーム管理テーブル13とオブジェクトフレー
ム14.〜1411との説明図、第3図は第1図の動作
説明用フローチャート、第4図は第1図の動作説明図、 第5図は本発明の応用例のブロック図、第6図は第5図
の動作説明用フローチャート、第7図は述語表記の一般
形式例を示す図および、第8図は従来の述語管理方式の
説明図である。 図において、P・・・述語管理部、1・・・述語表記知
識述語識別手段、2・・・述語表記知識登録手段、3・
・・述語毎述語表記知識管理手段、4・・・述語表記知
識述語管理手段、5・・・知識入力支援手段、6・・・
入出力装置、7・・・知識格納ファイル、13・・・オ
ブジェクトフレーム管理テーブル、141〜14R・・
・オブジェクトフレーム。
FIG. 1 is a block diagram of an embodiment of the present invention, and FIG. 2 shows an object frame management table 13 and an object frame 14. -1411, FIG. 3 is a flowchart for explaining the operation of FIG. 1, FIG. 4 is a flowchart for explaining the operation of FIG. 1, FIG. 5 is a block diagram of an application example of the present invention, and FIG. FIG. 5 is a flowchart for explaining the operation, FIG. 7 is a diagram showing an example of a general format of predicate expression, and FIG. 8 is an explanatory diagram of a conventional predicate management system. In the figure, P... predicate management section, 1... predicate notation knowledge predicate identification means, 2... predicate notation knowledge registration means, 3.
... Predicate notation knowledge management means for each predicate, 4... Predicate notation knowledge predicate management means, 5... Knowledge input support means, 6...
Input/output device, 7...Knowledge storage file, 13...Object frame management table, 141-14R...
・Object frame.

Claims (1)

【特許請求の範囲】 述語表記による知識を知識格納手段に格納して管理する
述語管理方式において、 述語表記による知識を、該述語表記の述語名で表現され
る述語と同一の述語に対応して設けられた管理単位に格
納し、述語毎に設けられた前記管理単位がどのような述
語に対応しているかを管理テーブルで管理するように構
成したことを特徴とする述語管理方式。
[Claims] In a predicate management method in which knowledge expressed in predicate expression is stored and managed in a knowledge storage means, knowledge expressed in predicate expression is stored in a predicate expression corresponding to the same predicate as the predicate name expressed by the predicate name in the predicate expression. 1. A predicate management method, characterized in that the predicates are stored in a management unit provided for each predicate, and a management table manages what kind of predicate the management unit provided for each predicate corresponds to.
JP61230550A 1986-09-29 1986-09-29 Predicate control system Pending JPS6383837A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP61230550A JPS6383837A (en) 1986-09-29 1986-09-29 Predicate control system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP61230550A JPS6383837A (en) 1986-09-29 1986-09-29 Predicate control system

Publications (1)

Publication Number Publication Date
JPS6383837A true JPS6383837A (en) 1988-04-14

Family

ID=16909515

Family Applications (1)

Application Number Title Priority Date Filing Date
JP61230550A Pending JPS6383837A (en) 1986-09-29 1986-09-29 Predicate control system

Country Status (1)

Country Link
JP (1) JPS6383837A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO1996010227A1 (en) * 1994-09-28 1996-04-04 Hideki Iwanishi Method of selecting rule used in bottom-up reasoning in system based on knowledge base

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO1996010227A1 (en) * 1994-09-28 1996-04-04 Hideki Iwanishi Method of selecting rule used in bottom-up reasoning in system based on knowledge base

Similar Documents

Publication Publication Date Title
US5555427A (en) Distributed processing in a system of computers at terminals connected by a communication network
US8055647B2 (en) System, method and program for database searching
US5319739A (en) Method for retrieving case for problem and inferring solution of the problem and system thereof
KR940007704A (en) Machine diagnostic method and its system
JPS6383837A (en) Predicate control system
JPS6383838A (en) Predicate management system
JP2000172712A (en) Database system, method for extracting data in the system and ordering system
JPH0744615A (en) Inspection report preparation output system
JP2586155B2 (en) Logic simulator
JPH0243660A (en) Executive program selecting system
JPS593658A (en) Automatic file generating system
JPH01123369A (en) Presentation device
JPH04336366A (en) Menu system using control file
JPS63115230A (en) Data processor
JPS6336435A (en) Message output control system
JPS6359647A (en) Display system for exceptional event information
Mikelskas Design of a Terminal Monitor for Interactive Programs
KR970024717A (en) Command Analysis Method of Control Station System
JPH0689299A (en) Automatic input picture setting system
Mueller Batch system with rapid overlay capabilities
JPH05173993A (en) Visualizing process system for process data
JPH03116354A (en) Automatic generating device for online system operating environment
JPH113469A (en) Information processor and merchandise registering device
JPS59178566A (en) Job execution waiting time information display
JPS60178543A (en) Interruption control system