JPH05158695A - Expert system - Google Patents

Expert system

Info

Publication number
JPH05158695A
JPH05158695A JP3324935A JP32493591A JPH05158695A JP H05158695 A JPH05158695 A JP H05158695A JP 3324935 A JP3324935 A JP 3324935A JP 32493591 A JP32493591 A JP 32493591A JP H05158695 A JPH05158695 A JP H05158695A
Authority
JP
Japan
Prior art keywords
knowledge
processing
data
constraint
code
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
JP3324935A
Other languages
Japanese (ja)
Inventor
Takehiro Soga
武弘 曾我
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.)
Fujitsu Ltd
Original Assignee
Fujitsu 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 Fujitsu Ltd filed Critical Fujitsu Ltd
Priority to JP3324935A priority Critical patent/JPH05158695A/en
Publication of JPH05158695A publication Critical patent/JPH05158695A/en
Pending legal-status Critical Current

Links

Classifications

    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02TCLIMATE CHANGE MITIGATION TECHNOLOGIES RELATED TO TRANSPORTATION
    • Y02T10/00Road transport of goods or passengers
    • Y02T10/10Internal combustion engine [ICE] based vehicles
    • Y02T10/12Improving ICE efficiencies

Landscapes

  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

PURPOSE:To replenish necessary knowledge, and restart a process at an interruption point and carry on the process if a deficiency in knowledge is detected while a knowledge process is in operation. CONSTITUTION:A knowledge process part 12 processes necessary restriction conditional expressions of knowledge codes 11 in order and specifies restriction conditional expressions to be processed; if data or restriction conditional expression is not found in the knowledge codes, the process of the restriction conditional expression is interrupted, which is reported to an interruption control part 13 to request the process. The interruption control part 13 obtains knowledge information for generating the data or restriction conditional expression to be replenished from a knowledge base 10 when the information is found in the knowledge base 10 or issues a specific input request when not to obtain the knowledge information inputted from outside, generates the necessary data or restriction conditional expression from the obtained knowledge information and adds it to the knowledge code 11; and the knowledge process part 12 is informed of that and the process of the interrupted restriction conditional expression is carried on.

Description

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

【0001】[0001]

【産業上の利用分野】本発明は、知識コードを実行する
エキスパートシステム、特に知識コードの不足を、実行
中に補充することができるエキスパートシステムに関す
る。
BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to an expert system for executing knowledge code, and more particularly to an expert system capable of replenishing a lack of knowledge code during execution.

【0002】[0002]

【従来の技術と発明が解決しようとする課題】エキスパ
ートシステムにおける、いわゆる推論処理は、例えば、 if eval(A,B) then exec(R) のような内容の制約条件式の処理を繰り返すことによっ
て構成される。
2. Description of the Related Art So-called inference processing in an expert system is performed by repeating processing of constraint condition expressions such as if eval (A, B) then exec (R). Composed.

【0003】上記の制約条件式の処理は、データAとB
の値について、「eval」で指定される評価を行い、その
結果が真(条件に適合)であれば、制約条件式Rを処理
することを示す。なお、「eval」の内容等によりオペラ
ンドのデータの数は3個以上又は1個の場合がある。
The processing of the above-mentioned constraint condition expression is performed by the data A and B.
The value specified by "eval" is evaluated, and if the result is true (matches the condition), it means that the constraint condition expression R is processed. The number of operand data may be three or more or one depending on the content of “eval”.

【0004】評価が真の場合に指定される制約条件式の
個数は一般に複数であり、複数の制約条件式が指定され
た段階で推論の分岐が発生し、その1分枝の処理を進
め、その他の制約条件式をスタックし、処理を進めた分
枝で評価結果が真で無かった場合(即ち推論に失敗した
場合)には、他の分枝に進むために最近のスタック点か
ら制約条件式を取り出して推論をやり直す。
Generally, the number of constraint condition expressions designated when the evaluation is true is plural, and a branch of inference occurs at the stage where a plurality of constraint condition expressions are designated, and the processing of one branch is advanced. If the evaluation result is not true in the branch where the other constraint condition expressions are stacked and the processing is advanced (that is, inference fails), the constraint condition is calculated from the latest stack point in order to proceed to another branch. Take out the expression and try the inference again.

【0005】以上のような処理の対象となる制約条件式
及び評価対象のデータは、所要の知識収集結果から、前
記のような内容を表す知識情報として知識ベースに収集
しておき、そのうち必要なものを前記のような制約条件
式の処理がし易い情報形式の知識コードにコンパイルし
て利用する。
The constraint condition expression and the data to be evaluated, which are the objects of the above processing, are collected in the knowledge base as the knowledge information representing the above contents from the required knowledge collection result, and the necessary The information is compiled into a knowledge code in an information format that is easy to process the constraint expression as described above, and is used.

【0006】図4はエキスパートシステムの構成例を示
し、知識処理部1は利用者が必要な推論を起動するため
の制約条件式の指定を入力することにより処理を開始
し、知識コード2を使用して前記のように処理を進め
る。知識コード2は適当な知識ベースから別途予めコン
パイルして生成されている。
FIG. 4 shows an example of the configuration of an expert system. The knowledge processing section 1 starts the processing by inputting a constraint condition expression for the user to activate necessary inference, and uses the knowledge code 2. Then, the process proceeds as described above. Knowledge code 2 is generated by separately compiling from an appropriate knowledge base.

【0007】図5(a)は知識ベースの内容の例であり、
(b)は(a)をコンパイルして生成される知識コードの内
容の例である。知識処理部1の処理で、もし知識コード
2に、評価対象のデータに記憶領域の割当が無いか、デ
ータに記憶領域の割当はあっても有効な値が設定されて
いない場合(以上を一括してデータが無い場合とい
う)、又は指定されている制約条件式が無い場合には処
理を進めることができないので、推論処理を異常終了さ
せるしか無い。
FIG. 5 (a) shows an example of the contents of the knowledge base.
(b) is an example of the contents of the knowledge code generated by compiling (a). In the processing of the knowledge processing unit 1, if the knowledge code 2 does not have a storage area allocated to the data to be evaluated, or if there is a storage area allocated to the data but a valid value is not set ( If there is no data), or if there is no specified constraint condition expression, the process cannot proceed, so the inference process must be terminated abnormally.

【0008】そこで利用者は、エキスパートシステムの
知識不足と判断して、不足する知識情報を補足し、コン
パイルして知識コードに追加した後、前記の推論処理を
最初からやり直さなければならない。
Therefore, the user must judge that the knowledge of the expert system is insufficient, supplement the lacking knowledge information, compile it and add it to the knowledge code, and then restart the inference processing from the beginning.

【0009】このような事態は、特に構築中のエキスパ
ートシステムのテスト運用等で、膨大な知識情報の収集
から必要なもののみに知識コードを絞ってコンパクトな
システムを目指す場合とか、又は知識情報の収集漏れが
ある場合に起こり易い。
In such a situation, especially in the test operation of the expert system under construction, the knowledge code is narrowed down to only necessary ones from the collection of enormous knowledge information, or the knowledge information It tends to occur when there is a collection omission.

【0010】本発明は、運用中に知識不足を検出した場
合に、必要な知識を補充して、中断した点から処理を再
開して継続できるようにしたエキスパートシステムを目
的とする。
An object of the present invention is to provide an expert system capable of replenishing necessary knowledge and restarting the process from the point of interruption and continuing when the lack of knowledge is detected during operation.

【0011】[0011]

【課題を解決するための手段】図1は、本発明の構成を
示すブロック図である。図はエキスパートシステムの構
成であって、知識ベース10と、知識コード11と、知識処
理部12と、中断管理部13とを有する。
FIG. 1 is a block diagram showing the configuration of the present invention. The figure shows the configuration of an expert system, which has a knowledge base 10, a knowledge code 11, a knowledge processing unit 12, and an interruption management unit 13.

【0012】知識ベース10は、所定形式の知識情報を保
持し、知識コード11は、所要の該知識情報を翻訳して生
成されたデータ及び制約条件式よりなり、各該制約条件
式は、所要の該データの評価処理と、該評価処理の結果
が真である場合に処理する該制約条件式とを指定する式
である。
The knowledge base 10 holds knowledge information in a predetermined format, and the knowledge code 11 is composed of data generated by translating the required knowledge information and constraint condition expressions, and each constraint condition expression is required. Is an expression that specifies the evaluation processing of the data and the constraint conditional expression to be processed when the result of the evaluation processing is true.

【0013】知識処理部12は、該知識コードの所要の該
制約条件式を順次処理し、該処理する該制約条件式に指
定する、該データ及び制約条件式の何れかが該知識コー
ドに無い場合に、当該制約条件式の処理を中断して、中
断管理部13に通知して処理を要求する。
The knowledge processing unit 12 sequentially processes the required constraint condition expressions of the knowledge code, and specifies either the data or the constraint condition expressions specified in the constraint condition expression to be processed, and the knowledge code does not have any of them. In this case, the processing of the constraint conditional expression is interrupted, the interruption management unit 13 is notified, and the processing is requested.

【0014】中断管理部13は、当該知識コード11に無い
データ又は制約条件式を生成するための知識情報が、知
識ベース10に有れば該知識ベースから取得し、知識ベー
ス10に無ければ、所定の入力要求を発行して、外部から
の入力により知識情報を取得し、該取得した知識情報か
ら所要の該データ又は制約条件式を生成して知識コード
11に追加した後、知識処理部12に通知して該中断した制
約条件式の処理を継続させる。
The interruption management unit 13 acquires from the knowledge base 10 the knowledge information for generating the data or constraint condition expression that is not in the knowledge code 11 if the knowledge base 10 exists. A knowledge code is obtained by issuing a predetermined input request, externally inputting knowledge information, and generating the required data or constraint conditional expression from the acquired knowledge information.
After adding to 11, the knowledge processing unit 12 is notified and the processing of the interrupted constraint condition expression is continued.

【0015】[0015]

【作用】本発明のエキスパートシステムにより、システ
ム運用中に知識不足を検出すると、その推論処理を一時
中断するが、システムの運用を続けながら、不足する知
識情報を知識ベースで探し、知識ベースに無ければ利用
者からの入力を受け、それをコンパイルして知識コード
に追加する。
When the lack of knowledge is detected during system operation by the expert system of the present invention, the inference processing is temporarily interrupted, but the missing knowledge information is searched for in the knowledge base while the system operation is continued, and the knowledge information is lost. For example, it takes input from the user, compiles it, and adds it to the knowledge code.

【0016】その後、中断した推論処理を中断した状態
から再開して継続するので、エキスパートシステムのテ
スト運用等を効率良く進め、適切な内容の知識コードを
整備することが容易になる。
After that, the interrupted inference processing is resumed from the interrupted status and continued, so that it becomes easy to efficiently carry out the test operation of the expert system and to prepare the knowledge code of appropriate contents.

【0017】[0017]

【実施例】図2、図3は本発明の処理の流れの一例を示
す図である。図は1つの制約条件式の処理例を示し、制
約条件式は概念的に、if eval(データ,データ,...)
then exec(制約条件式,制約条件式,...)のような形式
であるものとする。
DESCRIPTION OF THE PREFERRED EMBODIMENTS FIGS. 2 and 3 are diagrams showing an example of the processing flow of the present invention. The figure shows an example of processing one constraint condition expression, and the constraint expression is conceptually if eval (data, data, ...)
The format is then exec (constraint expression, constraint expression, ...).

【0018】知識処理部12は、図2の処理ステップ19で
スタックから制約条件式を1つ取り出すと、処理ステッ
プ20で「eval」のオペランドであるデータの1つについ
てデータが知識コード11にあるか識別し、有れば処理ス
テップ21で全データをチェックしたか識別して、未チェ
ックがあれば処理ステップ20に戻り、全オペランドをこ
のようにしてチェックする。
When the knowledge processing unit 12 extracts one constraint condition expression from the stack in the processing step 19 of FIG. 2, the knowledge code 11 has the data for one of the data which is the operand of "eval" in the processing step 20. If yes, it is identified whether all the data has been checked in processing step 21, and if there is no check, processing returns to processing step 20 and all operands are checked in this way.

【0019】チェックにおいて、データ無しを検出する
と、処理を中断して中断管理部13に知識コードの補充を
要求する。中断管理部13は、処理ステップ30で知識処理
部12の処理再開のために状態を保存した後、処理ステッ
プ31で必要なデータの知識情報が知識ベース10にあるか
探索し、有れば処理ステップ32でその知識情報を読込み
処理ステップ35でコンパイルして知識コード11に追加す
る。
In the check, if no data is detected, the processing is interrupted and the interruption management unit 13 is requested to supplement the knowledge code. The interruption management unit 13 saves the state in order to restart the processing of the knowledge processing unit 12 in processing step 30, and then searches the knowledge base 10 for the necessary knowledge information of the data in processing step 31, and if there is, processes it. In step 32, the knowledge information is read and in step 35, it is compiled and added to the knowledge code 11.

【0020】知識ベース10に必要な知識情報が無い場合
には、処理ステップ33で利用者の端末等に知識情報の入
力要求を出力し、それに応えて利用者が入力する知識情
報入力を処理ステップ34で受け取り、前記のように処理
ステップ35で知識コード11に追加する。以上の後、処理
ステップ36で知識処理部12に状態を渡して、中断点から
処理を再開させる。
If the knowledge base 10 does not have the necessary knowledge information, a knowledge information input request is output to the user's terminal or the like in processing step 33, and the knowledge information input entered by the user is processed in response to the request. Received at 34 and added to knowledge code 11 at process step 35 as described above. After that, the state is passed to the knowledge processing unit 12 in process step 36, and the process is restarted from the interruption point.

【0021】知識処理部12は、このようにして全データ
のチェックを終わると、処理ステップ22でそれらのデー
タについて、「eval」に指定する評価処理を行い、結果
が真であれば図3の処理ステップ24に進むが、偽であれ
ばこの回の処理を終わる。
When the knowledge processing unit 12 finishes checking all the data in this way, the knowledge processing unit 12 performs an evaluation process of designating "eval" for these data in process step 22. If the result is true, the process shown in FIG. The process proceeds to process step 24, but if false, the process of this time is ended.

【0022】評価結果が真の場合には、「exec」のオペ
ランドに指定された制約条件式が知識コード11にあるか
を1つづつ図3の処理ステップ24でチェックし、有れば
処理ステップ25で指定の全制約条件式をチェックしたか
識別して、未チェックがあれば処理ステップ24に戻り、
全制約条件式をこのようにしてチェックする。
If the evaluation result is true, it is checked in the processing step 24 of FIG. 3 whether the constraint condition expression specified in the operand of "exec" exists in the knowledge code 11, and if there is, the processing step In 25, identify whether or not all specified constraint conditional expressions have been checked, and if there is no check, return to processing step 24,
Check all constraint expressions in this way.

【0023】知識コード11に必要な制約条件式が無い場
合には、処理を中断して、中断管理部13に知識コードの
補充を要求する。中断管理部13は、処理ステップ40で知
識処理部12の処理再開のために状態を保存した後、処理
ステップ41〜45で前記図2の処理ステップ31〜35と同様
にして、制約条件式のための知識情報を取得し、コンパ
イルして知識コード11に追加すると、処理ステップ46で
知識処理部12に状態を渡して、中断点から処理を再開さ
せる。
If the knowledge code 11 does not have a necessary constraint condition expression, the processing is interrupted and the interruption management unit 13 is requested to supplement the knowledge code. The interruption management unit 13 saves the state in order to restart the processing of the knowledge processing unit 12 in processing step 40, and then, in processing steps 41 to 45 in the same manner as the processing steps 31 to 35 in FIG. After acquiring the knowledge information for compiling and adding the knowledge information to the knowledge code 11, the state is passed to the knowledge processing unit 12 in process step 46 to restart the process from the interruption point.

【0024】知識処理部12は、このようにして全制約条
件式のチェックを終わると、処理ステップ26でそれら指
定の制約条件式をスタックして処理を終わる。
When the knowledge processing unit 12 finishes checking all the constraint conditional expressions in this way, it stacks the designated constraint conditional expressions in processing step 26 and finishes the processing.

【0025】[0025]

【発明の効果】以上の説明から明らかなように本発明に
よれば、エキスパートシステムの知識処理において、運
用中に知識不足を検出した場合に、必要な知識を補充し
て、中断した点から処理を再開して継続できるので、シ
ステムのテスト運用等を効率良く進め、適切な内容の知
識コードを整備することが容易になるという著しい工業
的効果がある。
As is apparent from the above description, according to the present invention, in the knowledge processing of the expert system, when a lack of knowledge is detected during operation, necessary knowledge is supplemented and processing is performed from the point of interruption. Since it can be restarted and continued, there is a remarkable industrial effect that it becomes easy to efficiently carry out system test operations and the like, and to prepare knowledge codes of appropriate contents.

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

【図1】 本発明の構成を示すブロック図FIG. 1 is a block diagram showing the configuration of the present invention.

【図2】 本発明の処理の流れ図(その1)FIG. 2 is a flowchart of the process of the present invention (No. 1)

【図3】 本発明の処理の流れ図(その2)FIG. 3 is a flowchart of the process of the present invention (No. 2)

【図4】 従来の構成例を示すブロック図FIG. 4 is a block diagram showing a conventional configuration example.

【図5】 知識ベースと知識コードの例を示す図FIG. 5 is a diagram showing an example of a knowledge base and a knowledge code.

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

1、12 知識処理部 2、11 知識コード 10 知識ベース 13 中断管理部 19〜26、30〜36、40〜46 処理ステップ 1, 12 Knowledge processing unit 2, 11 Knowledge code 10 Knowledge base 13 Interruption management unit 19-26, 30-36, 40-46 Processing steps

Claims (1)

【特許請求の範囲】[Claims] 【請求項1】 知識ベース(10)と、知識コード(11)と、
知識処理部(12)と、中断管理部(13)とを有し、 該知識ベース(10)は、所定形式の知識情報を保持し、 該知識コード(11)は、所要の該知識情報を翻訳して生成
されたデータ及び制約条件式よりなり、 各該制約条件式は、所要の該データの評価処理と、該評
価処理の結果が真である場合に処理する該制約条件式と
を指定する式であり、 該知識処理部(12)は、該知識コード(11)の所要の該制約
条件式を順次処理し、 該処理する該制約条件式に指定する、該データ及び制約
条件式の何れかが該知識コード(11)に無い場合に、当該
制約条件式の処理を中断して、該中断管理部に通知して
処理を要求し、 該中断管理部(13)は、当該知識コード(11)に無いデータ
又は制約条件式を生成するための知識情報が、該知識ベ
ース(10)に有れば該知識ベースから取得し、 該知識ベースに無ければ、所定の入力要求を発行して、
外部からの入力により知識情報を取得し、 該取得した知識情報から所要の該データ又は制約条件式
を生成して該知識コード(11)に追加した後、該知識処理
部(12)に通知して該中断した制約条件式の処理を継続さ
せるように構成されていることを特徴とするエキスパー
トシステム。
1. A knowledge base (10), a knowledge code (11),
It has a knowledge processing unit (12) and an interruption management unit (13), the knowledge base (10) holds knowledge information in a predetermined format, and the knowledge code (11) stores the required knowledge information. It is composed of data generated by translation and a constraint conditional expression, and each of the constraint conditional expressions specifies the required evaluation processing of the data and the constraint conditional expression to be processed when the result of the evaluation processing is true. The knowledge processing unit (12) sequentially processes the required constraint conditional expressions of the knowledge code (11), and specifies the data and constraint conditional expressions specified in the constraint conditional expressions to be processed. If any of them is not in the knowledge code (11), the processing of the constraint condition expression is interrupted, the interruption management unit is notified and the processing is requested, and the interruption management unit (13) If the knowledge base (10) has knowledge information for generating data or constraint expression not found in (11), it is acquired from the knowledge base and Without the base, by issuing a predetermined input request,
Knowledge information is acquired by input from the outside, the required data or constraint conditional expression is generated from the acquired knowledge information, added to the knowledge code (11), and then notified to the knowledge processing unit (12). The expert system is configured to continue the processing of the interrupted constraint condition expression.
JP3324935A 1991-12-10 1991-12-10 Expert system Pending JPH05158695A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP3324935A JPH05158695A (en) 1991-12-10 1991-12-10 Expert system

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP3324935A JPH05158695A (en) 1991-12-10 1991-12-10 Expert system

Publications (1)

Publication Number Publication Date
JPH05158695A true JPH05158695A (en) 1993-06-25

Family

ID=18171263

Family Applications (1)

Application Number Title Priority Date Filing Date
JP3324935A Pending JPH05158695A (en) 1991-12-10 1991-12-10 Expert system

Country Status (1)

Country Link
JP (1) JPH05158695A (en)

Similar Documents

Publication Publication Date Title
US5313635A (en) Compiling system for distributed computer system with multiple types of computers
CN109272109B (en) Instruction scheduling method and device of neural network model
US8752056B2 (en) Running native code across single or multi-core hybrid processor achitecture
CN107451045A (en) A kind of method and device of abnormal information positioning
US5450567A (en) Method and system for program change in distributed data processing system
EP0871118B1 (en) Parallel data processing system and method of controlling such a system
CN111988429A (en) Algorithm scheduling method and system
JPH05158695A (en) Expert system
KR900006667B1 (en) Program assembling system
JP3114149B2 (en) Schedule automatic creation processing method
JPH0667871A (en) Automatic program updating system
JP3120434B2 (en) Program operation analysis method
JPH09114673A (en) Device and method for program loading
JP3008890B2 (en) Processing control unit
JPH08249193A (en) Checking system for language specification range of program
CN117251208A (en) Code clone detection method and device and electronic equipment
CN114493360A (en) Process creative evaluation method, device, equipment and medium based on RPA and AI
CN114327638A (en) Monitoring document generation method and device, computer equipment and readable storage medium
JPS6347839A (en) Inference control system
CN116737125A (en) Rule logic operation method and device
JPH06251185A (en) Output file generating system in ocr data entry system
CN113553059A (en) Local variable query method, device, server and storage medium
JPH10293691A (en) Register allocating method
JP2003085013A (en) Pdm system and programming method for system connection
CN117008912A (en) Code compiling method, device, electronic equipment and computer readable storage medium

Legal Events

Date Code Title Description
A02 Decision of refusal

Free format text: JAPANESE INTERMEDIATE CODE: A02

Effective date: 20010220