JPH0793161A - Inference device - Google Patents

Inference device

Info

Publication number
JPH0793161A
JPH0793161A JP24123793A JP24123793A JPH0793161A JP H0793161 A JPH0793161 A JP H0793161A JP 24123793 A JP24123793 A JP 24123793A JP 24123793 A JP24123793 A JP 24123793A JP H0793161 A JPH0793161 A JP H0793161A
Authority
JP
Japan
Prior art keywords
inference
pattern
correction
result
inference result
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
JP24123793A
Other languages
Japanese (ja)
Inventor
Hideki Kato
英樹 加藤
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.)
Toshiba Corp
Original Assignee
Toshiba 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 Toshiba Corp filed Critical Toshiba Corp
Priority to JP24123793A priority Critical patent/JPH0793161A/en
Publication of JPH0793161A publication Critical patent/JPH0793161A/en
Pending legal-status Critical Current

Links

Landscapes

  • Train Traffic Observation, Control, And Security (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

PURPOSE:To quickly obtain a better inference result by shortening the inference time and making the correction result reflect in the next inference. CONSTITUTION:The inference device in which an inference result for input data 1 is registered on an inference result file 5, and a correction content 8 can be obtained by correcting the inference result by a correction mechanism 7 when it is judged as an inapropriate one is constituted by providing an inference pattern extracting mechanism 13 which holds a pattern condition 11 equivalent to the input data 1 and registers the inference result in the inference result file 5 as a pattern inference result 12, a correction pattern sampling mechanism 16 which registers by fetching the correction content by the correction mechanism 7 as a pattern correction content, and a pattern condition inference mechanism 14 which registers by fetching the pattern inference result or pattern correction content as the inference result this time on the inference result file 5 when the pattern condition of the input data this time is equal to that of corresponding past input data in the content.

Description

【発明の詳細な説明】Detailed Description of the Invention

【0001】[0001]

【産業上の利用分野】本発明は、列車ダイヤの作成装置
などに利用される推論装置に係わり、特に過去の推論の
有効活用化および推論結果に対する修正の無駄をなくす
る推論装置に関する。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an inference device used in a train schedule creation device and the like, and more particularly to an inference device that effectively uses past inferences and eliminates the waste of modification of inference results.

【0002】[0002]

【従来の技術】従来は、図5に示すような推論装置が用
いられている。この装置は、入力データ(例えばダイヤ
情報)1に対する適切な解を導き出す推論機構2を有す
る推論部3が設けられ、ある内容のデータ1が入力され
たとき、予め過去の知識,経験に基づいて設定された適
用ルールなどを含む知識ベースである推論条件4の中か
ら適切な推論条件4を抽出し、前記入力データ1につい
て抽出された推論条件4に適用して推論を実行し、推論
結果を導き出して推論結果ファイル5に格納する。この
推論結果ファイル5の推論結果は表示機能をもった修正
部6に送出され、表示部に表示される。
2. Description of the Related Art Conventionally, an inference device as shown in FIG. 5 has been used. This device is provided with an inference section 3 having an inference mechanism 2 for deriving an appropriate solution for input data (for example, timetable information) 1 and when data 1 having a certain content is input, based on past knowledge and experience in advance. An appropriate inference condition 4 is extracted from the inference condition 4 which is a knowledge base including set application rules, and is applied to the inference condition 4 extracted for the input data 1 to execute inference, and the inference result is obtained. It is derived and stored in the inference result file 5. The inference result of the inference result file 5 is sent to the correction unit 6 having a display function and displayed on the display unit.

【0003】ここで、オペレータは、表示部の推論結果
が適切なものであるか否かを判断するが、このとき、例
えば列車を10線番に留置するといった推論結果が得ら
れたが、実際上,翌日の列車の始発を考えたときには1
1線番が好ましい場合には、キーボードその他の入力機
構をもつ修正機構7を用いて推論結果を修正し、その推
論結果に対する修正内容を修正内容ファイル8に格納す
る。
Here, the operator judges whether or not the inference result on the display unit is appropriate. At this time, an inference result such as leaving the train on the 10th line was obtained. Above, 1 when considering the first train of the next day
If the 1st line number is preferable, the inference result is corrected by using the correction mechanism 7 having a keyboard or other input mechanism, and the correction content for the inference result is stored in the correction content file 8.

【0004】従って、以上のような推論装置は、与えら
れた入力データと推論条件4とから推論を実行し、得ら
れた推論結果が思わしくないときには、人間が推論結果
を修正し、修正内容を得るようにしている。
Therefore, the inference apparatus as described above executes inference from the given input data and the inference condition 4, and when the obtained inference result is unsatisfactory, a person corrects the inference result, I am trying to get it.

【0005】このとき、推論条件4に多少の変更が生じ
たとき、その推論条件4を変更することになるが、この
変更された推論条件4に基づいて再び推論を実行し、さ
らに推論結果が思わしくない場合には再度人間が同じよ
うな修正処理を実施している。
At this time, when the inference condition 4 is slightly changed, the inference condition 4 is changed, and the inference is executed again based on the changed inference condition 4, and the inference result is further obtained. If it does not look right, humans are carrying out the same correction process again.

【0006】[0006]

【発明が解決しようとする課題】従って、以上のような
推論装置は、推論条件4に多少の変更が生じたとき、そ
の変更された推論条件4に基づいて再び最初から推論を
やり直す必要があるので、1回目の推論時間と同程度の
推論時間がかかる問題がある。
Therefore, in the inference apparatus as described above, when the inference condition 4 is slightly changed, it is necessary to restart the inference from the beginning based on the changed inference condition 4. Therefore, there is a problem that the inference time is about the same as the first inference time.

【0007】また、推論部3では、人間が推論結果をど
のように修正したかを全く把握していないので、推論条
件4の変更に伴う再度の推論後、その推論結果に対して
も同様の修正処理が必要となり、手間がかかり、時間の
割りに余り良い推論結果が得られないという問題があ
る。
Further, since the inference unit 3 does not grasp how the human has modified the inference result at all, after the second inference due to the change of the inference condition 4, the same inference result is obtained. There is a problem that a correction process is required, it takes time and labor, and a reasonably good reasoning result cannot be obtained for the time.

【0008】本発明は上記実情に鑑みてなされたもの
で、過去の推論結果の有効活用を図って短時間に推論結
果を得るとともに、推論結果に対する修正内容を以後の
推論に十分に反映し、迅速により良い推論結果を得る推
論装置を提供することを目的とする。
The present invention has been made in view of the above circumstances, and in addition to obtaining the inference result in a short time by effectively utilizing the past inference result, the correction content of the inference result is sufficiently reflected in the subsequent inference, It is an object of the present invention to provide an inference device that can obtain better inference results quickly.

【0009】[0009]

【課題を解決するための手段】上記課題を解決するため
に、請求項1に対応する発明は、入力データに推論条件
を適用して得られる推論結果を推論結果ファイルに登録
し、この推論結果が不適当であると判断したとき修正機
構により修正して修正内容を得る推論装置において、前
記入力データの中から必要とするパターン条件を抽出し
て保持するとともに、前記推論結果ファイルに登録され
る推論結果を取り込んでパターン推論結果として登録す
る推論パターン抽出機構と、前記修正機構により修正が
行われたとき、当該修正機構による修正内容を取り込ん
でパターン修正内容として登録する修正パターン抽出機
構と、今回の入力データと過去の入力データに相応する
パターン条件とを比較し、内容的に等しいとき、前記パ
ターン推論結果または前記パターン修正内容を取り込ん
で今回の入力データの推論結果として前記推論結果ファ
イルに登録するパターン条件推論機構とを設けた推論装
置である。
In order to solve the above problems, the invention according to claim 1 registers an inference result obtained by applying an inference condition to input data in an inference result file, When it is determined that is unsuitable, the inference device that corrects by the correction mechanism and obtains the correction content extracts and holds the required pattern condition from the input data and registers it in the inference result file. An inference pattern extraction mechanism that takes in the inference result and registers it as a pattern inference result, and a correction pattern extraction mechanism that takes in the correction contents by the correction mechanism and registers it as the pattern correction contents when the correction mechanism makes a correction. Input data and pattern conditions corresponding to past input data are compared, and when the contents are equal, the pattern inference result or Is a inference apparatus provided with a pattern condition inference engine to be registered in the inference result file as the inference results of this input data takes in the pattern corrections.

【0010】[0010]

【作用】従って、請求項1に対応する発明は以上のよう
な手段を講じたことにより、順次入力される入力データ
に推論条件を適用して推論結果を得ながら推論結果ファ
イルに登録していくが、このとき、推論パターン抽出機
構では、入力データの中から必要な入力データをパター
ン条件として保持する一方、前記推論によって得られる
推論結果をパターン推論結果として登録しておく。ま
た、前記推論結果に修正が加わったとき、前記修正パタ
ーン抽出機構がその修正内容をパターン修正内容として
登録しておく。
Therefore, in the invention corresponding to claim 1, by taking the above-described means, the inference conditions are applied to the sequentially input data and the inference results are obtained and registered in the inference result file. However, at this time, the inference pattern extraction mechanism holds necessary input data from the input data as a pattern condition, while registering the inference result obtained by the inference as a pattern inference result. Further, when a correction is added to the inference result, the correction pattern extraction mechanism registers the correction content as the pattern correction content.

【0011】従って、パターン条件推論機構では、既に
過去の入力データと同じ入力データが再び入ってきたと
き、今回の入力データと過去の入力データから得られた
パターン条件とを比較したとき、内容的に一致すること
になる。
Therefore, in the pattern condition inference mechanism, when the same input data as the past input data is input again, when the current input data and the pattern condition obtained from the past input data are compared, Will match.

【0012】そこで、この場合には、既に登録されてい
るパターン推論結果を流用して推論結果として出力する
か、或いは推論結果が修正されている場合には前記パタ
ーン修正内容を流用して推論結果として出力することか
ら、過去に同様の推論を行っている場合には短い時間で
推論結果を出すことができ、過去の修正内容が次回の推
論に容易に反映でき、より良い推論結果を得ることがで
きる。
Therefore, in this case, the already registered pattern inference result is diverted and output as the inference result, or if the inference result is corrected, the pattern correction content is diverted and the inference result is diverted. Since it is output as, the reasoning result can be output in a short time when similar reasoning is performed in the past, the past correction content can be easily reflected in the next reasoning, and a better reasoning result can be obtained. You can

【0013】[0013]

【実施例】以下、本発明装置の実施例について図面を参
照して説明する。図1は本発明装置の一実施例を示す構
成図である。なお、同図において従来装置と同一部分に
は同一符号を付してその詳しい説明は省略し、以下、特
に異なる部分について説明する。
Embodiments of the present invention will be described below with reference to the drawings. FIG. 1 is a block diagram showing an embodiment of the device of the present invention. In the figure, the same parts as those of the conventional device are designated by the same reference numerals, and detailed description thereof will be omitted. Hereinafter, particularly different parts will be described.

【0014】先ず、推論部3には従来の推論機構2の
他、入力データ1を取り込んで当該入力データ1とほぼ
同じデータのパターン条件をパターン条件ファイル11
に格納するとともに、当該入力データにおける推論結果
が推論結果ファイル5から取り出されてパターン推論結
果としてパターン推論結果ファイル12に格納する推論
パターン抽出機構13と、入力データとパターン条件と
を比較して内容的に等しいとき、パターン推論結果ファ
イル12の過去のパターン推論結果または後記するパタ
ーン修正内容ファイルの過去のパターン修正内容を取り
込んで今回の推論結果として推論結果ファイル5に格納
するパターン条件推論機構14とが設けられている。
First, in addition to the conventional inference mechanism 2, the inference unit 3 takes in the input data 1 and sets the pattern conditions of the same data as the input data 1 to the pattern condition file 11.
The inference pattern extraction mechanism 13 which stores the inference result in the input data from the inference result file 5 and stores it as the pattern inference result in the pattern inference result file 12 while comparing the input data with the pattern condition. And the pattern condition inference mechanism 14 which takes in the past pattern inference result of the pattern inference result file 12 or the past pattern amendment content of the pattern amendment content file described later and stores it in the inference result file 5 as the inference result of this time. Is provided.

【0015】また、修正部6には、従来の修正機構7の
他、例えば修正機構7から修正有りの指示を受けたと
き、人間によって修正された修正内容ファイル8の修正
内容を取り込んでパターン修正内容としてパターン修正
内容ファイル15に格納する修正パターン抽出機構16
が設けられている。
Further, in addition to the conventional correction mechanism 7, the correction unit 6 takes in the correction contents of the correction contents file 8 corrected by a human when the correction mechanism 7 gives an instruction to correct the pattern and corrects the pattern. A correction pattern extraction mechanism 16 that stores the contents in the pattern correction content file 15
Is provided.

【0016】従って、以上のような構成であれば、従来
の推論機構2による推論実行時、推論パターン抽出機構
13では、従来の推論機構2と同時に与えられる入力デ
ータ1の中から基本的なデータを取り込んでパターン条
件ファイル11にパターン条件として格納しておけば、
以後、入力データ1が与えられたとき、パターン条件推
論機構14により入力データとパターン条件とを比較す
れば、今回の入力データと過去の入力データに相当する
パターン条件とが一致しているか否かが容易に判断でき
る。
Therefore, with the above configuration, when the inference is performed by the conventional inference mechanism 2, the inference pattern extraction mechanism 13 outputs the basic data from the input data 1 given at the same time as the conventional inference mechanism 2. If you capture and store it as a pattern condition in the pattern condition file 11,
After that, when the input data 1 is given, the pattern condition inference mechanism 14 compares the input data with the pattern condition to determine whether the current input data and the pattern condition corresponding to the past input data match. Can be easily determined.

【0017】このとき、過去の推論結果がパターン推論
結果ファイル12に格納されており、また推論結果に修
正が加わったときにはその過去の修正内容がパターン修
正内容ファイル15に格納されているので、パターン修
正内容とパターン推論結果のうちパターン修正内容を優
先的に取り込んで推論結果とし、また修正なき場合には
パターン推論結果を取り込んで推論結果とすれば、推論
時間を大幅に削減でき、かつ、修正内容を容易に反映さ
せることができる。
At this time, since the past inference result is stored in the pattern inference result file 12, and when the inference result is corrected, the past correction content is stored in the pattern correction content file 15, the pattern If you preferentially capture the pattern modification content out of the modification content and the pattern inference result as the inference result, and if there is no modification, capture the pattern inference result as the inference result, you can significantly reduce the inference time and modify it. The content can be easily reflected.

【0018】次に、列車を車庫に留置する計画的な推論
を取り入れた具体的な実施例について説明する。図2は
列車を車庫に留置するときの推論装置および推論結果修
正装置の構成を示す図である。先ず、入力データ1とし
て、例えば列車がその日に割り付いているダイヤ情報1
aおよび各列車がその日に実施する必要がある検査・作
業を記録している検査・作業情報1bとが上げられる。
一方、パターン条件ファイル11のパターン条件として
は、ダイヤ情報1aおよび検査・作業情報1bに対応し
てダイヤ情報パターン条件11aおよび検査・作業情報
パターン条件11bとが作成される。
Next, description will be given of a specific embodiment in which planned reasoning for placing a train in a garage is incorporated. FIG. 2 is a diagram showing a configuration of an inference device and an inference result correction device when a train is detained in a garage. First, as input data 1, for example, train information 1 that trains are assigned on that day
a and the inspection / work information 1b that records the inspection / work that each train must perform on that day are listed.
On the other hand, as the pattern conditions of the pattern condition file 11, a diamond information pattern condition 11a and an inspection / work information pattern condition 11b are created corresponding to the diamond information 1a and the test / work information 1b.

【0019】次に、推論部3は、図1と同様に従来の推
論機構2、推論パターン抽出機構13およびパターン条
件推論機構14が設けられている。また、留置計画結果
ファイル5aは何れの列車が何時から何時までの間、車
庫内のどの番線に留置するかの推論結果を格納するファ
イルであり、またパターン留置推論結果ファイル12a
は各列車の留置推論結果をそのまま取り込んで記憶する
ファイルである。
Next, the inference unit 3 is provided with a conventional inference mechanism 2, an inference pattern extraction mechanism 13 and a pattern condition inference mechanism 14 as in FIG. Further, the detention plan result file 5a is a file that stores the inference result of which train in the garage is detained on which train from what time to when, and the pattern detention inference result file 12a.
Is a file that stores the inference result of each train as it is.

【0020】また、修正部6は図1と同様に従来の修正
機構7と修正パターン抽出機構16が設けられている。
さらに、留置修正内容ファイル8aおよびパターン留置
修正内容ファイル15aはそれぞれ図1に示す修正内容
ファイル8およびパターン修正内容ファイル15に相当
するものである。
Further, the correction section 6 is provided with a conventional correction mechanism 7 and a correction pattern extraction mechanism 16 as in FIG.
Further, the placement correction content file 8a and the pattern placement correction content file 15a respectively correspond to the correction content file 8 and the pattern correction content file 15 shown in FIG.

【0021】次に、以上のような装置の動作について図
3を参照して説明する。 (1) 1回目の入力データ群に対する推論および推論
結果の修正について。 今、入力データ1として図3に示すようなダイヤ情報1
aおよび検査・作業情報1bが推論部3に入力されると
する。その結果、推論パターン抽出機構13では、1回
目の入力データ1であるので、そのダイヤ情報1aおよ
び検査・作業情報1bをそのままダイヤ情報パターン条
件11aおよび検査・作業情報パターン条件11bとし
てパターン条件ファイル11に登録する。
Next, the operation of the above apparatus will be described with reference to FIG. (1) Regarding inference for the first input data group and modification of the inference result. Now, as input data 1, timetable information 1 as shown in FIG.
It is assumed that a and the inspection / work information 1b are input to the inference unit 3. As a result, since the inference pattern extraction mechanism 13 is the first input data 1, the pattern information file 1a and the inspection / work information 1b are directly used as the pattern information file condition 11a and the inspection / work information pattern condition 11b. Register with.

【0022】つまり、ダイヤ情報パターン条件として、
「列車8000がK1というダイヤに割り付いてい
る」、「列車8001がK2というダイヤに割り付いて
いる」、「列車8002がK3というダイヤに割り付い
ている」というパターンを登録する。なお、列車800
0,8001,8002のダイヤK1,K2,K3,…
にはそれぞれ線路走行時間帯などの情報が入っている。
That is, as the diamond information pattern condition,
The patterns "train 8000 is assigned to the diamond K1", "train 8001 is assigned to the diamond K2", and "train 8002 is assigned to the diamond K3" are registered. In addition, train 800
0, 8001, 8002 diamonds K1, K2, K3, ...
Each contains information such as the track running time zone.

【0023】また、推論パターン抽出機構13は、検査
・作業情報パターン条件として、検査・作業情報1bに
基づいて、「列車8000は検査・作業を行わない」、
「8001はA検査のみを行う」、「列車8002は清
掃作業のみを行う」という検査・作業情報パターン条件
をパターン条件ファイル11に登録する。
Further, the inference pattern extracting mechanism 13 "train 8000 does not inspect / work" based on the inspection / work information 1b as the inspection / work information pattern condition.
The inspection / work information pattern conditions of “8001 only perform inspection A” and “train 8002 only perform cleaning work” are registered in the pattern condition file 11.

【0024】ここで、ダイヤ情報1aおよび検査・作業
情報1bについて推論条件4を適用して推論を実行し、
図3に示すような留置計画結果を得た後、留置計画結果
ファイル5aに登録する。一方、推論パターン抽出機構
13は、1回目の推論であるので、留置計画結果ファイ
ル5aの留置計画結果をそのまま取り込んでパターン留
置推論結果ファイル12aに登録する。従って、図3か
ら明らかなように、留置計画結果とパターン留置推論結
果とが同じ情報内容となる。つまり、パターン留置推論
結果として、留置計画結果と同様に、「列車8000は
18:00から24:00まで10線番に留置する」、
「列車8001は19:00から24:00まで11線
番に留置する」、「列車8002は20:00から2
4:00まで12線番に留置する」というパターンがパ
ターン留置推論結果ファイル12aに登録される。
Here, inference conditions 4 are applied to the diamond information 1a and the inspection / work information 1b to execute inference,
After obtaining the detention plan result as shown in FIG. 3, it is registered in the detention plan result file 5a. On the other hand, since the inference pattern extraction mechanism 13 is the first inference, it takes in the detention plan result of the detention plan result file 5a as it is and registers it in the pattern detention inference result file 12a. Therefore, as is apparent from FIG. 3, the detention plan result and the pattern detention inference result have the same information content. In other words, as the result of the pattern detention inference, "the train 8000 is detained on the 10th line from 18:00 to 24:00," as in the detention plan result.
"Train 8001 stays on line 11 from 19:00 to 24:00", "Train 8002 from 20:00 to 2
The pattern "detain on line number 12 until 4:00" is registered in the pattern detention inference result file 12a.

【0025】ところで、この留置計画結果を従来の修正
機構7に送出し、表示部に表示して確認したところ、留
置計画結果5aが思わしくないと判断されたとき、つま
り留置計画結果から列車8001について留置すべき1
1線番が思わしくないと判断されたとき、その線番を好
ましい線番である「21」に修正する。その結果、留置
修正内容ファイル8aには図3に示すような留置修正内
容が登録される。
By the way, when the result of the detention plan is sent to the conventional correction mechanism 7 and is displayed and confirmed, when it is determined that the detention plan result 5a is not bad, that is, the train 8001 is judged from the detention plan result. 1 to be detained
When it is determined that the 1st wire number is unfavorable, the wire number is corrected to "21" which is a preferable wire number. As a result, the detention correction content as shown in FIG. 3 is registered in the detention correction content file 8a.

【0026】一方、従来の修正機構7において修正が行
なわれると、修正有りの指示が修正パターン抽出機構1
6に送られる。ここで、修正パターン抽出機構16は、
その修正有りの指示に基づいて留置修正内容ファイル8
aから列車8001の留置修正内容を取り込んでパター
ン留置修正ファイル15aに登録する。図3にはそのパ
ターン留置修正内容が示されている。 (2) 2回目の入力データ群に対する推論および推論
結果の修正について。
On the other hand, when the conventional correction mechanism 7 makes a correction, an instruction indicating that the correction has been made is issued to the correction pattern extraction mechanism 1.
Sent to 6. Here, the correction pattern extraction mechanism 16
Detention correction contents file 8 based on the instruction of the correction
The contents of the detention correction of the train 8001 are fetched from a and registered in the pattern detention correction file 15a. FIG. 3 shows the contents of the pattern placement correction. (2) Regarding inference for the second input data group and modification of the inference result.

【0027】2回目の入力データ1として図4に示すよ
うなダイヤ情報1aおよび検査・作業情報1bが推論部
3に入力されたとする。ここで、2回目の情報1a,1
bと1回目の情報1a,1bに相当するパターン条件と
を見たとき、列車8000は全く同じであり、列車80
01も全く同じである。列車8002は、1回目のとき
に清掃作業が入っていたが、2回目のときには清掃作業
がなしとなっている。従って、このとき、推論パターン
抽出機構13では、既に1回目のときと同様の列車80
00,8001,8002,…であるので、1回目のダ
イヤ情報パターン条件11aおよび検査・作業情報パタ
ーン条件11bがそのまま登録されている。
It is assumed that the diagram information 1a and the inspection / work information 1b as shown in FIG. 4 are input to the inference unit 3 as the second input data 1. Here, the second information 1a, 1
Looking at b and the pattern conditions corresponding to the first information 1a and 1b, the train 8000 is exactly the same, and the train 80
01 is exactly the same. The train 8002 had cleaning work in the first time, but no cleaning work in the second time. Therefore, at this time, the inference pattern extraction mechanism 13 has already performed the same train 80 as the first train.
, 00, 8001, 8002, ..., The first time diamond information pattern condition 11a and inspection / work information pattern condition 11b are registered as they are.

【0028】一方、パターン条件推論機構14は、ダイ
ヤ情報1a,検査・作業情報1bとダイヤ情報パターン
条件11a,検査・作業情報パターン条件11bとを比
較したとき、列車8000については全く同じであるの
で、得られる推論結果も同様であるので、図4に示すよ
うにパターン留置推論結果ファイル12aから列車80
00に関するパターン留置推論結果を流用し、留置計画
結果ファイル5aに留置計画結果として登録する。
On the other hand, when the pattern condition inference mechanism 14 compares the diamond information 1a, the inspection / work information 1b with the diamond information pattern condition 11a and the inspection / work information pattern condition 11b, the train information 8000 is completely the same. , The obtained inference result is also the same. Therefore, as shown in FIG.
The pattern detention inference result regarding 00 is diverted and registered in the detention plan result file 5a as the detention plan result.

【0029】次に、列車8001については、ダイヤ情
報1a,検査・作業情報1bとダイヤ情報パターン条件
11a,検査・作業情報パターン条件11bとが同じで
あるが、同一の列車についてパターン留置修正内容ファ
イル15aにパターン留置修正内容が登録されているの
で、図4に示すように当該列車8001のパターン留置
修正内容を取り込んで留置計画結果ファイル5aに登録
する。
Next, regarding the train 8001, the schedule information 1a, the inspection / work information 1b and the schedule information pattern condition 11a and the test / work information pattern condition 11b are the same, but the pattern detention correction content file for the same train. Since the pattern placement correction contents are registered in 15a, the pattern placement correction contents of the train 8001 are fetched and registered in the placement plan result file 5a as shown in FIG.

【0030】なお、パターン条件推論機構14からパタ
ーン留置修正内容を留置計画結果ファイル5aに登録す
るとき、推論パターン抽出機構13に修正内容を留置計
画結果とする旨の信号を送出することにより、留置計画
結果ファイル5aのパターン留置修正内容がパターン留
置推論結果ファイル12aに登録されることはない。つ
まり、パターン留置推論結果ファイル12aには修正な
しの留置計画結果だけが登録される。
When the pattern condition inference mechanism 14 registers the pattern detention correction content in the detention plan result file 5a, the deduction is performed by sending a signal to the inference pattern extraction mechanism 13 that the modification content is the detention plan result. The pattern placement correction contents of the plan result file 5a are not registered in the pattern placement inference result file 12a. That is, only the detention plan result without correction is registered in the pattern detention inference result file 12a.

【0031】また、列車8002については、検査・作
業情報1bと検査・作業情報パターン条件11bとが異
なっているので、パターン留置推論結果またはパターン
留置修正内容が流用できないので、パターン条件推論機
構14から従来の推論機構2にその旨の通知がなされ
る。その結果、従来の推論機構2は、既に列車800
0,8001の留置計画結果が出ているので、これら留
置計画結果をベースとし、相互に重ならないように留置
計画結果を導き出し、留置計画結果ファイル5aに登録
する。
Further, with respect to the train 8002, since the inspection / work information 1b and the inspection / work information pattern condition 11b are different, the pattern detention inference result or the pattern detention correction content cannot be diverted. The conventional reasoning mechanism 2 is notified to that effect. As a result, the conventional inference mechanism 2 is already in the train 800.
Since the detention plan results of 0,8001 are obtained, based on these detention plan results, the detention plan results are derived so as not to overlap each other, and registered in the detention plan result file 5a.

【0032】従って、以上のような実施例の構成によれ
ば、列車8000については、今回の入力データと既に
登録されているパターン条件とが一致することから、パ
ターン条件推論機構14では、既にパターン留置推論結
果ファイル12aに登録されているパターン留置推論結
果をそのまま流用して留置計画結果とするので、非常に
短い時間で推論結果を出すことができる。
Therefore, according to the configuration of the above embodiment, since the input data of this time and the already registered pattern condition match for the train 8000, the pattern condition inference mechanism 14 already has the pattern condition. Since the pattern detention inference result registered in the detention inference result file 12a is used as it is as the detention plan result, the inference result can be output in a very short time.

【0033】また、列車80001については、既に過
去に修正したパターン留置修正内容があるので、それを
そのまま留置計画結果とすればよく、人間が修正した結
果を次回の推論結果に容易に反映でき、迅速により良い
推論結果が得られる。
Further, for the train 80001, since the pattern placement correction contents already corrected in the past, it can be used as it is as the placement plan result, and the result corrected by humans can be easily reflected in the next inference result. Better reasoning results are obtained quickly.

【0034】なお、上記実施例では、列車の車庫留置に
ついて述べたが、この利用分野に限らないことは言うま
でもない。その他、本発明はその要旨を逸脱しない範囲
で種々変形して実施できる。
Although the garage detention of the train has been described in the above embodiment, it goes without saying that the invention is not limited to this field of use. In addition, the present invention can be modified in various ways without departing from the scope of the invention.

【0035】[0035]

【発明の効果】以上説明したように本発明によれば、過
去に同様の推論を行ったとき、既にファイルに登録して
いるパターン推論結果またはパターン修正内容を流用す
ることにより、無駄な推論を省くことができ、推論時間
の短縮化を図ることができる。また、人間が推論結果を
修正したとき、その修正結果のパターン修正内容を流用
するので、再び同様の修正を行う必要がなく、人間が望
むより良い推論結果が迅速に得られる。
As described above, according to the present invention, when the same inference is performed in the past, the pattern inference result or the pattern correction content already registered in the file is diverted, so that useless inference can be performed. It can be omitted and the reasoning time can be shortened. Further, when a human corrects the inference result, the pattern correction content of the correction result is diverted, so that it is not necessary to make the same correction again, and a better inference result desired by the human can be quickly obtained.

【図面の簡単な説明】[Brief description of drawings]

【図1】本発明に係わる推論装置の一実施例を示す構成
図。
FIG. 1 is a block diagram showing an embodiment of an inference device according to the present invention.

【図2】列車を車庫に留置する計画型の推論に適用した
本発明装置の構成図。
FIG. 2 is a configuration diagram of the device of the present invention applied to planned type inference in which a train is detained in a garage.

【図3】図2の装置を用いて得られる1回目の入力デー
タに対する推論結果および推論修正を説明する図。
FIG. 3 is a diagram for explaining an inference result and inference correction for first input data obtained by using the apparatus of FIG.

【図4】2回目に入力データに対する推論結果および推
論修正を説明する図。
FIG. 4 is a diagram illustrating an inference result and inference correction with respect to input data for the second time.

【図5】従来の推論装置の構成図。FIG. 5 is a block diagram of a conventional inference device.

【符号の説明】[Explanation of symbols]

2…従来の推論機構、3…推論部、4…推論条件ファイ
ル、5…推論結果ファイル、6…修正部、7…修正機
構、8…修正内容ファイル、11…パターン条件ファイ
ル、12…パターン推論結果ファイル、13…推論パタ
ーン抽出機構、14…パターン条件推論機構、15…パ
ターン修正内容ファイル、16…パターン推論結果ファ
イル。
2 ... Conventional inference mechanism, 3 ... Inference unit, 4 ... Inference condition file, 5 ... Inference result file, 6 ... Correction unit, 7 ... Correction mechanism, 8 ... Correction content file, 11 ... Pattern condition file, 12 ... Pattern inference Result file, 13 ... Inference pattern extraction mechanism, 14 ... Pattern condition inference mechanism, 15 ... Pattern correction content file, 16 ... Pattern inference result file.

Claims (1)

【特許請求の範囲】[Claims] 【請求項1】 入力データに推論条件を適用して得られ
る推論結果を推論結果ファイルに登録し、この推論結果
が不適当であると判断したとき修正機構により修正して
修正内容を得る推論装置において、 前記入力データの中から必要とするパターン条件を抽出
して保持するとともに、前記推論結果ファイルに登録さ
れる推論結果を取り込んでパターン推論結果として登録
する推論パターン抽出機構と、 前記修正機構により修正が行われたとき、当該修正機構
による修正内容を取り込んでパターン修正内容として登
録する修正パターン抽出機構と、 今回の入力データと過去の入力データに相応するパター
ン条件とを比較し、内容的に等しいとき、前記パターン
推論結果または前記パターン修正内容を取り込んで前記
今回の入力データの推論結果として前記推論結果ファイ
ルに登録するパターン条件推論機構と、 を備えたことを特徴とする推論装置。
1. An inference device that registers an inference result obtained by applying an inference condition to input data in an inference result file and corrects the inference result by a correction mechanism to obtain correction contents when it is judged that the inference result is inappropriate. In the above, the inference pattern extraction mechanism that extracts and holds the necessary pattern condition from the input data and that stores the inference result registered in the inference result file and registers it as the pattern inference result, and the correction mechanism When the correction is performed, the correction pattern extraction mechanism that takes in the correction contents by the correction mechanism and registers it as the pattern correction contents is compared with the pattern conditions corresponding to the current input data and the past input data, and the contents are compared. When they are equal, the pattern inference result or the pattern correction content is taken in and the inference result of the input data this time is acquired. And a pattern condition inference mechanism registered in the inference result file as
JP24123793A 1993-09-28 1993-09-28 Inference device Pending JPH0793161A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP24123793A JPH0793161A (en) 1993-09-28 1993-09-28 Inference device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP24123793A JPH0793161A (en) 1993-09-28 1993-09-28 Inference device

Publications (1)

Publication Number Publication Date
JPH0793161A true JPH0793161A (en) 1995-04-07

Family

ID=17071250

Family Applications (1)

Application Number Title Priority Date Filing Date
JP24123793A Pending JPH0793161A (en) 1993-09-28 1993-09-28 Inference device

Country Status (1)

Country Link
JP (1) JPH0793161A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2019131342A1 (en) * 2017-12-27 2019-07-04 日本電気株式会社 Logical calculation device, logical calculation method, and program

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2019131342A1 (en) * 2017-12-27 2019-07-04 日本電気株式会社 Logical calculation device, logical calculation method, and program
JPWO2019131342A1 (en) * 2017-12-27 2020-07-02 日本電気株式会社 Logical calculation device, logical calculation method, and program

Similar Documents

Publication Publication Date Title
JPH0793161A (en) Inference device
JPS6324424A (en) Program debug system
JP2003216514A (en) Inter-system collation system and method for equipment information
JPH08278809A (en) Plant controller
JPH0752802A (en) Transportation plan support device
JPH05120065A (en) Testing and verifying method for computer program
JP2525393B2 (en) Logic simulation test coverage method
JPH0870349A (en) System for automatically judging test result of electronic exchange
JP3422352B2 (en) Master file generation management device
JPS63101934A (en) Forming system for maintenance information of assembler language program
JPS58197554A (en) Program monitoring device
JPH0478953A (en) Schedule generating system
JPH0224724A (en) Knowledge base verification instrument
JPH01292445A (en) Firmware debugging system
JPH04205216A (en) Key input controller
JPS63163604A (en) Method for monitoring flow chart type programmable sequence controller
JP2004021658A (en) Program automatic execution system
JPH0981639A (en) Schedule management device
JPH03119475A (en) Comparison method for logical simulation result
JPH06314328A (en) Control system for covering element in geographic information system
JPH0831012B2 (en) Data verification test method
JPH0781569A (en) Device for simulating total traffic control
JPH05151226A (en) Spot allocation schedule monitoring system
JPH01312641A (en) Batch test system for on-line
JPH0398163A (en) Vector data processor