JPS62229329A - Inference device - Google Patents

Abstract

PURPOSE:To carry out a deciding process in a short time by carrying out in parallel the 1st deciding device which decides that a hypothesis is true and a device which decides whether the hypothesis is false or not. CONSTITUTION:A knowledge base 2 stores the sufficient conditions and the necessary conditions with which various hypotheses are true. A central processing unit 1 carries out the inference process with reference to the base 2. The deciding device 5 and 6 perform the deciding processes under the control of the unit 1. The unit 1 reads both sufficient and necessary conditions out of the base 2 for a fact that a hypothesis is true in case a fact to be proved is defined as a hypothesis and gives the sufficient conditions to the device 5 and the necessary conditions to the device 6 respectively. Then both devices 5 and 6 work in parallel with each other to send the result of decision whether the hypothesis is true or not and that whether the hypothesis is false or not to the unit 1 respectively. Then the unit 1 decides whether the hypothesis is true, false or neither of them based on the results of decision of both devices 5 and 6.

Description

Detailed Description of the Invention [Object of the Invention] (Industrial Application Field) The present invention relates to an inference device that can efficiently determine whether a hypothesis is true or false.

(Prior Art) In knowledge information processing, various facts to be proven are set as hypotheses, and the above facts are proven while determining whether the hypotheses are true or false. Specifically, the inference process is executed by determining whether or not the conditions for the above hypothesis to hold true are met, and whether the conditions for the above hypothesis not to hold are satisfied.

However, the algorithm for this inference process is quite complex, and it has been extremely difficult to proceed with the decision process efficiently. For example, when it is determined that a hypothesis is not true, it is necessary to perform a new determination process to determine whether the hypothesis is false, which makes the determination process unnecessarily complicated and requires a large amount of time.

(Problems to be Solved by the Invention) The present invention has been made in consideration of the above circumstances, and its purpose is to efficiently and quickly perform judgment processing on the following hypotheses. The purpose of this invention is to provide an inference device.

[Object of the Invention] (Means for Solving Problems) The present invention provides a first determination device that determines whether or not the above hypothesis is true based on sufficient conditions for the hypothesis to be true; and a second determining device that determines whether the above hypothesis is false based on the necessary conditions for it to be true, and the first and second determining devices operate simultaneously to hypothesize the fact to be proven. This method is characterized by executing inference processing in parallel.

(Operation) Thus, according to the present invention, when a hypothesis to be proven is given, the process of determining whether the hypothesis is true or false is performed in parallel, so the inference results can be quickly processed. It becomes possible to derive the

In other words, it becomes possible to quickly execute the judgment process for the hypothesis.

(Example) Hereinafter, an example of the present invention will be described with reference to the drawings.

FIG. 1 is a schematic configuration diagram of the embodiment apparatus, and FIG. 2 is a diagram showing the flow of the determination processing procedure.

The central processing unit 1 forms a main body of an inference device that takes a fact to be proven as a hypothesis and processes to determine whether this hypothesis is true or false. The knowledge base 2 stores sufficient conditions and necessary conditions for various hypotheses P to be true, and the central processing unit 1 refers to this knowledge base 2 to execute inference processing.

Further, the dialog section 3 is connected to the central processing unit 1 via an interface (1/F) 4, and is used for arranging various facts necessary for executing inference processing and inputting answers thereof.

Here, the sufficient conditions and necessary conditions for the hypothesis P stored in the knowledge base 2 are expressed, for example, as follows.

In other words, the sufficient condition for hypothesis P to be true is P←(CIIA
It is represented by C12A... ) v (C21AC22A-) v (CmlACa2A-). However, C1j each represents a proposition.

Also, the necessary conditions for hypothesis P to be true are P--(D11vD12v-) A (D21vD22v-) 8 (I) slvDm2v...).

However, each Dlj represents a proposition. However, in this device, the treatment of this conditional expression is ~P-(~D IIA
-D 12A... )v (~D2LA-D22A-
) v (~DmlA-Dm2Δ...) [However, ~ indicates logical negation. ], and this is determined as a sufficient condition for the hypothesis P to be false.

The first determination device 5 and the second determination device 6 each execute a determination process under the control of the central processing unit 1, and the first determination device 5 determines that the hypothesis P is true. It is determined whether or not the hypothesis P is true by inputting sufficient conditions for the hypothesis P. Further, the second determination device B determines whether or not the hypothesis P is false by inputting necessary conditions for the hypothesis P to be true (sufficient conditions for the hypothesis P to be false). These determination processes are simultaneously executed in parallel by the first and second determination devices 5.8.

That is, when the fact to be proven is a hypothesis P as shown in FIG. 2, the sufficient condition is given to the first judgment device 5, and the necessary condition is given to the second judgment device B (steps b, c).

The first and second determination devices 5.6 each receive such a condition and perform a determination process to determine whether the condition is satisfied, for example, according to the processing algorithm shown in FIG. 3 (steps d and e). ).

The central processing unit l receives these determination processing results, and
A comprehensive judgment is made as to whether the hypothesis P is true, false, or whether the hypothesis P is true or false (steps f, g, h).

In the determination processing in the determination devices 5 and 6, first, the control parameters i and j are initialized in step A.

B), the proposition C1j indicated by its control parameters i, j
This is performed by sequentially determining whether (Dij) holds true (step C).

This determination process is repeatedly performed while incrementing the control parameter j (step D) to determine whether the conditions are satisfied for all propositions of item i (step E). Then, if the condition holds true for all propositions in item i,
A conclusion that the hypothesis P is true (false) is sought (step F).

If a proposition of item i is found that does not hold, the control parameter i is incremented in step G), and it is similarly checked whether the conditions hold for other items. If this process is executed for all items (step H), and the hypothesis P is still not proven to be true (false), it is concluded that the hypothesis P cannot be said to be true (false). I'm looking for it (step ■).

In such a determination process, the first determination device 5 obtains a determination result as to whether or not the hypothesis P is true. At the same time, the second determination device 6 obtains a determination result as to whether or not the hypothesis P is false.

Therefore, if the first determination device 5 concludes that the hypothesis P is true, the central control device 1 naturally determines that the second determination device 6 cannot say that the hypothesis P is false. Since the conclusion is that the hypothesis P is true, it is determined overall that the hypothesis P is true. Furthermore, when the second determining device 6 concludes that the hypothesis P is false, the first determining device 5 naturally concludes that the hypothesis P cannot be said to be true. Therefore, it is comprehensively determined that the hypothesis P is false.

When the first and second determining devices 5.6 reach the conclusion that the hypothesis P cannot be said to be true or false, it is determined that the truth of the hypothesis P is unknown. We are looking for an overall judgment result that says yes.

In this way, in this device, when a hypothesis P is established for a fact to be proven, whether the hypothesis is true or false is a sufficient condition for the hypothesis P to be established. Said first and second determining devices 5. according to requirements.
8, each is processed simultaneously and in parallel. Moreover, the algorithm for the determination process is simple and clear, and the determination process can be performed efficiently.

Therefore, the process of determining the truth or falsity of the hypothesis P can be easily and quickly executed, and the inference process can be executed efficiently in a short time.

Note that the present invention is not limited to the embodiments described above. For example, during the determination process of the hypothesis P, the determination process may proceed while inputting information as to whether or not the condition is met via the dialog section 3. Further, input of information necessary for the determination process may be prompted via the dialog section 3. In short, the present invention can be implemented with various modifications without departing from the gist thereof.

[Effects of the Invention] As explained above, according to the present invention, the process of determining whether a hypothesis is true or not and the process of determining whether the above hypothesis is false are performed in parallel, and the results of these determinations are Since the final judgment result for the hypothesis is obtained by making a comprehensive judgment, the judgment process can be executed efficiently, in a short period of time, and at high speed.

[Brief explanation of drawings]

FIG. 1 is a schematic configuration diagram of an apparatus according to an embodiment of the present invention, FIG. 2 is a diagram showing the flow of determination processing in the embodiment apparatus, and FIG. 3 is a diagram illustrating an example of a processing algorithm for determining conditions for establishing a hypothesis. It is. ■...Central processing unit, 2...Knowledge base, 3...
Dialogue unit, 4... Interface, 5... First determination device, 6... Second determination device. Applicant's agent Patent attorney Takehiko Suzue Figure 1 (wing) (unknown) (false)

Claims (1)

[Claims] a first determination device that determines whether the hypothesis is true based on a sufficient condition for the hypothesis to be true; and a first determination device that determines whether the hypothesis is false based on a necessary condition for the hypothesis to be true. An inference device comprising: a second decision device that makes a decision; and the first and second decision devices operate in parallel to execute an inference process in which a fact to be proven is a hypothesis.