Fuzzy syllogistic system

Information

  • Patent Grant
  • 5392383
  • Patent Number
    5,392,383
  • Date Filed
    Monday, December 13, 1993
    30 years ago
  • Date Issued
    Tuesday, February 21, 1995
    29 years ago
Abstract
A fuzzy syllogistic inference processing system for use with a chain of implications when links in the chain have various measures between 0 and 1 of confidence. Analog signals that are linearly related to the confidence measures are generated and compared. The chain of implications is given a confidence measure that is equal to that of the inference consequence of the last major premise in the chain provided that each major premise in the chain has a confidence measure that is larger than the confidence measure of the complement or negation of its antecedent in the chain.
Description

INTRODUCTION
This invention relates to fuzzy information processing systems and to such systems that use syllogistic techniques to reach conclusions when supplied with fuzzy or imprecise information.
BACKGROUND OF THE INVENTION
In classical logic, a variety of procedures based on logical operations and rules of inference have been developed to proceed from basic premises to logical conclusions. Moreover, these procedures have been the bases for electronic computers that have revolutionized our way of life. These computers typically are based on Boolean algebra and logic depend on quantized binary digits as the input signals and are not well adapted to manipulate input premises that are fuzzy and with a variable range of truth value.
However, in recent years, in response to the need to be able to reach relatively well-defined conclusions with relatively ill-defined or inexact input information, there have been a number of proposals for fuzzy computers or fuzzy information processing systems. Various applications have been proposed for such fuzzy information processing systems, often in control systems where noise and other variables make it impractical to use highly precise signal values.
One such proposal is described in U.S. Pat. No. 4,875,184 which issued on Oct. 17, 1989 to T. Yamakawa and discloses apparatus described as a fuzzy-inference engine that is designed for use as a fuzzy logic computer. As described therein, the computer is quite complex and appears to depend in reaching conclusions on a large memory of assumed relationship values and a form of interpolation of such values.
Moreover, considerable work appears to have been done on developing circuits and components useful for such computers and many are described by T. Yamakawa in a paper entitled "Fuzzy Hardware Systems of Tomorrow" that appeared in a book edited by E. Sanchez and L. A. Zadek entitled "Approximate Reasoning in Intelligent Systems, Decision and Control" published by Pergamon Press (London) 1987. In this paper, nine different fuzzy logic functions are defined in terms of two basic membership functions.
These prior art approaches have tended to depend primarily on detailed input information with little reliance on inferential assumptions and consequently have tended to be complex with a need for very large memories for the storage of detailed information about the relationships between the various components of the information being processed.
The present invention seeks to simplify such complexity and to this end relies more heavily on inferences made with less detailed information at the expense of sometimes concluding no inference is possible from the given antecedents.
SUMMARY OF THE INVENTION
In particular, the invention relies on the concept that the truth or confidence measure of the major premise of the involved syllogism connecting the input premises will be used in the circuitry as the value of the consequent of the inference whenever this truth or confidence measure is larger than the complement (negation) of the truth of confidence measure of the minor premise. The size of this inequality will be termed the fidelity, or measure of validity, of this inference. To this end, it will be necessary to provide values to such truth or confidence measures to the various premises. In some instances, these measures may need to be initially assigned arbitrary values based on expectations but improved values may be learned with use as is done with neural nets. In other instances, these values may be derived as fuzzy measurements of particular conditions.
To distinguish the invention based on this concept from the prior art approaches in which no comparison is made between the truth measure of the inference and the complement of the truth measure of the minor premise to derive the fidelity, the invention will be described as a fuzzy syllogistic system.
The use of this concept allows such a system to be characterized by a considerable simplification in the electronics involved. A key feature of a system in accordance with the invention is a circuit to be called an inference block in which separate input terminals are provided with a first analog input signal whose current amplitude is linearly related to the truth measure of the minor premise and with a second analog input signal whose current amplitude is linearly related to the truth measure of the major premise, to yield a first output whose amplitude is that is the second input so long as the second input is at least as great as the value of the complement of the first input, and preferably greater than the value of the complement by a prescribed amount which amount, can be chosen to compensate for noise in the system and a second output which is the difference between the second input and the complement of the first input. If this inequality is not satisfied, it is concluded that the truth value of the minor premise is insufficient to effect an inference from the major premise. In this case of the second output, the fidelity, is zero.
The invention will be better understood from the following more detailed description taken in conjunction with the following drawing.





BRIEF DESCRIPTION OF THE DRAWING
FIG. 1 shows the symbol to be used to designate the inference block that is a basic feature of the invention.
FIG. 2 shows in block schematic form the components of an inference block.
FIG. 3 shows the symbol to be used for a particular circuit important to the invention when a chain of implications is involved.
FIG. 4 shows in block schematic form the components of the circuit represented by the symbol of FIG. 3.
FIG. 5 shows, using the symbols of FIGS. 1 and 3, a fuzzy information system that involves a three-link chain of inferences in accordance with the invention.





DETAILED DESCRIPTION OF THE INVENTION
Before discussing the drawing, it will be helpful to begin with an exposition of the novel concepts on which the invention is based. In particular, it will be useful to explore the ramifications of fuzzy inference.
The objective of fuzzy inference is to obtain some properties of the fuzzy functions B.sub.1, B.sub.2, . . . from similar properties of the fuzzy functions A.sub.1, A.sub.2, . . . when these functions can be related according to an inference scheme
A.sub.1, A.sub.2, . . . .fwdarw.B.sub.1, B.sub.2, . . . (1)
where the A are antecedents and the B consequent of the inference whose truth or confidence measure is between zero and one because of the unavailability of complete information as to the truth of the inference governed by a collection of rules of inference. In classical logic this can be accomplished in a variety of equivalent procedures based on combinations of both logic operations and modus ponens. Extensions of these procedures to fuzzy logic have been less successful: many lack contraposition (A B)=(B' A'); none reproduce reducted ad absurdum (rada) (A B,A B').fwdarw.A'. There are, of course, applications where such properties may be inappropriate, even undesirable; however, even the lack of a law of excluded middle should not prevent the formulation of a method of fuzzy inference which captures these fundamentally essential features of classical logic.
In approaching inference it is natural to try to derive conclusions from premises using logic operations. For example, to construct a modus ponens (i.e., assuming the major premise A B and the minor premise A are valid to conclude B is valid)
(A,A B).fwdarw.B (2)
one could try
A.LAMBDA.(A B) (3)
or even
(A.LAMBDA.(A B)) B (4)
However, in classical logic (A.LAMBDA.(A B))=(A.LAMBDA.B).noteq.B, while ((A.LAMBDA.(A B)) B)=1. Thus, while both explanations are understandable, (the first saying that to obtain B, we must have a valid A, the second indicating that this expression is a tautology, value even if A=B'), neither can really be said to represent the heart of modus ponens. On the other hand, the classical statement, "If A is true and if A implies B is true, then B is true, " is simple, direct, and, if B can be extracted (detached) from A B, effective. But, most importantly, it involves an operation outside of the logic operations (and (.LAMBDA.), or (), negation (), etc.), but of course, not outside of logic. Let us now capture this important aspect in fuzzy logic.
Before proceeding, however, a word about the operation implication is necessary. We shall use (A B)=(A' B), as if it were just another fuzzy logic connective. As in logic, this expression returns B of A is sufficiently true; otherwise it returns A' meaning A is not true enough. Some authors have modified A B in order to emphasize one or more aspects of inference, e.g. (A B)=(A.alpha.B). However, we must bear in mind that even though the result of an inference in classical logic can be expressed in the form, "When A is true, B is true,.revreaction. which can be represented by the operation of implication, A B, the two, inference and implication, are two very different concepts. In addition, and as a technical point crucial for what follows, A.alpha.B=1,A.ltoreq.B,=B,A>B has an inappropriate, logic symmetry to represent A B. To be sure it reduces to the classical A' B for (A,B)={0,1}.sup.2. But it is discontinuous along A=B in the very region ((A,B)>1/2) where A B is most useful. Indeed, one cannot infer B from A and A B for A<B. In addition, choosing A.alpha.B at once precludes both contraposition and reducted ad absurdum. The choice (A B)=(1 (1-A+B)), which, in contrast with A.alpha.B, does correspond to A' B in the choice of fuzzy logic operations bounded sum and bounded difference for union and intersection, respectively, and which does preserve contraposition, also precludes reductio ad absurdum. Again, the logic symmetry is inappropriate since (1.LAMBDA.(1-A+B))=1 for A.ltoreq.B and (1-A+B) for A.gtoreq.B. Though continuous across A=B, it embodies two distinct functional dependences in the region ((A,B)>1/2) where only one type of dependence would be expected. Again B cannot be inferred from A and A B for A<B.
To achieve modus ponens for fuzzy logic, we must be able to derive the fuzzy function B from the fuzzy functions A and A B. All fuzzy functions are, of course, functions of elements associated with fuzzy sets, and need not be the same element when taken in combination. For example, we can have A(x) B(x) or A(x) B(y) depending on the problem of interest. For sake of brevity we occasionally write A.sub.x for A(x), etc. The logic operation A B we represent as A' B, since this form preserves the meaning of implication: when true, if A is true then B is true. for A B we choose max (A,B), for A.LAMBDA.B we choose min (A,B), for A' we choose 1-A, a common choice since the beginning of fuzzy logic 8 1], and one which satisfies all the standard properties of logic connectives except the laws of excluded middle and noncontradiction. In what follows A B means the logic OR if reference is to logic, set union if reference is to set theory and max (A,B) if reference is to fuzzy logic. Similarly A.LAMBDA.B: AND, intersection, min (A,B);A': negation, complement, 1-A.
Returning finally to modus ponens, given (A B)=max (A', B), clearly if (A B)>A' then B=(A B). Thus if we know (A B) and A, we calculate A'=1-A and compare (A B) with A'. If the former is strictly larger then we infer that B=(A B). We write this as follows:
(A,A B).fwdarw.B=(A B)>.sub.w A' (5)
where the ">.sub.w " symbol (as in X>.sub.w Y) reminds us that the preceeding equality is valid whenever X>Y. Note that for (A B)=A',B(.ltoreq.A') is (otherwise) undeterminate. (The case (A B)<A' is impossible.) Put another way, for B>A', which includes all the most useful region (1/2<(A,B).ltoreq.1), and in fact half of all possible values for (A,B),0.ltoreq.A'<B.ltoreq.1, B can be readily extracted from A B. In words this has a strong intuitive ring: the larger A, the smaller A B need to be trigger inference, or the smaller A, the larger A B must be to permit inference: B=(A B)>.sub.w A' captures this inverse relationship.
The advantages of the above procedure include retaining contraposition ((A B)=(B' A')), due to the retention of (A B)=(A' B), the dependence of the result on the nature of A as well as A B (see modus tollens below), and the retention of reductio ad absurdum. Concerning the latter, consider the case where we are given A B and A B', both greater than 1/2, i.e., more true than false. Whatever the value of B, A'>1/2, for if A'<1/2, min (A B, A B')<1/2 contrary to assumption. Knowing A'>1/2, we find at once that
A'=min(A B,A B')>.sub.w 1/2, (6)
a statement of rada. One can strengthen this result by recognizing that (6) has the form
A'=(A B).LAMBDA.(A B') (7a)
which expands into
A'=(A (B.LAMBDA.B'))=(A' (B.LAMBDA.B')) (7b)
so that for A'>min (B,B').ltoreq.1/2 one obtains rada. Thus the crisper (i.e., closer to 1) B or B' becomes, the wider the ranges of A'(min(B,B')<A'.ltoreq.1) that can be inferred using proof by contradiction (rada) (6). Since B is not normally known, (6) is usually the best one can do. Should B be bounded away from 1/2, then this lower bound can be reduced further. (Note that (7a) also follows from taking the conjunction of the given quantities. Recalling (3) we remember that this is not always a useful procedure.)
There are, of course, occasions where A B and B' are known. By analogy to modus ponens above, we can construct modus tollens
(B', A B).fwdarw.A'=(A B)>.sub.w B (8)
While (A B)>1/2 and B'>1/2 yield A'=(A B), in fact (8) can be used to recover A' from the region 0.ltoreq.B<A'.ltoreq.1 complementary to that covered by modus ponens.
Rules of Inference
In logic inference can be formulated either in the form of axioms plus modus ponens or in the form of a set of rules of inference including modus ponens. For fuzzy logic, the latter are much more useful, as we shall see when we apply the rules to derive the standard axioms in fuzzy form. Previous workers have labelled each rule of inference in symbolic logic by a logic operation and either the word "introduction" or "elimination," or with quantifiers "instantiation" or "generalization." Extending these to fuzzy logic, one worker has changed "elimination" to "exploitation." Our rules differ significantly from his, however, since he chose to interpret A B as A.alpha.B. Here we shall simply use the symbol for the operator and the first letter of the appropriate noun.
E: (implication elimination) This is simply our modus ponens ((5) above).
I: (implication introduction) Here we take what we know about A and B to construct
(A B)=(A'VB). (This, of course, is not the only source of fuzzy functions of the form A B.)
.about.E: (negation elimination) A"=1-A'=1-(1-A)=A.
.about.I: (negation introduction) This is rada (6), i.e., reductio ad absurdum or proof by contradiction, or modus tollens (8), whichever is appropriate.
.LAMBDA.E:(conjunction elimination) In logic given that .LAMBDA..sub.k A.sub.k is true (1) , one infers that A.sub.k is true (1) for each k. In fuzzy logic one is given min (A.sub.k)=A.sub.mn and infers A.sub.k .gtoreq.A.sub.mn for each k. However, by analogy with E (see below), based on modus ponens, we can infer
( .sub.k (A.sub.k M),.LAMBDA..sub.l A.sub.l).fwdarw.M= .sub.k (A.sub.k M)>.sub.w ( .sub.l A.sub.l)', (9
while based on modus tollens we can infer
( .sub.k (M B.sub.k),.LAMBDA..sub.l B.sub.l ').fwdarw.M'= .sub.k (M B.sub.k) >.sub.w (.LAMBDA..sub.l B.sub.l ')'. (10)
.LAMBDA.I: (conjunction introduction) Here we take (A.sub.1, A.sub.2. . . ) and form A.sub.mn =mn(A.sub.1, A.sub.2, . . . )=.LAMBDA..sub.k A.sub.k.
E: (disjunction elimination) In logic this is one of the more interesting rules of inference. Using modus ponens/tollens it is readily extended to fuzzy logic:
(.LAMBDA..sub.k (A.sub.k M), .sub.l A.sub.l).fwdarw.M=.LAMBDA..sub.k (A.sub.k M)>.sub.w ( .sub.l A.sub.l)', (11)
(.LAMBDA..sub.k (M B.sub.k), .sub.l B.sub.l ').fwdarw.M'=.LAMBDA..sub.k (M B.sub.k)>.sub.w ( .sub.l B.sub.l ')'. (12)
I: (disjunction introduction) Here we take (A.sub.1, A.sub.2, . . . ) and form A.sub.mx =mx(A.sub.1, A.sub.2, . . . )= .sub.k A.sub.k.
Extensions
These rules can be extended in a number of ways. If we interpret the quantifiers for all x, Ax ( .sub.x A.sub.x) as (.LAMBDA..sub.x A.sub.x) and there exists y such that ( .sub.y B.sub.y) as ( .sub.y B.sub.y) then E, I, E, I follow at once by analogy with .LAMBDA.E, .LAMBDA.I, E, I above. Thus
E: ( .sub.x (A.sub.x M), .sub.y A.sub.y).fwdarw.M= .sub.x (A.sub.x M)>.sub.w ( .sub.y A.sub.y)' (13)
( .sub.x (M B.sub.x), .sub.y B.sub.y ').fwdarw.M'= .sub.x (M B.sub.x)>.sub.w ( .sub.y B.sub.y ')' (14)
E: ( .sub.x (A.sub.x M), .sub.y A.sub.y).fwdarw.M= .sub.x (A.sub.x M)>.sub.w ( .sub.y A.sub.y)' (15)
( .sub.x (M B.sub.x), .sub.y B.sub.y ').fwdarw.M'= .sub.x (M B.sub.x) >.sub.w ( .sub.y B.sub.y ')' (16)
Of greater interest are the representations of the conditional quantifies. If we interpret .sub.x f.sub.x,g.sub.x, i.e., for all elements x such that f.sub.x is satisfied in a fuzzy sense, then g.sub.x is also satisfied, as .LAMBDA..sub.x (f.sub.x g.sub.x)=.LAMBDA..sub.x (f.sub.x '.LAMBDA.g.sub.x), and .sub.x f.sub.x,g.sub.x as .sub.x (f.sub.x .LAMBDA.g.sub.x), and noting that
( .sub.x f.sub.x,g.sub.x)'= .sub.x f.sub.x,g'.sub.x (17)
we obtain at once the following conditional quantifier inferences:
.sub.c E: ( .sub.x f.sub.x, (g.sub.x B), .sub.y f.sub.y,g.sub.y).fwdarw. .sub.x f.sub.x >.sub.w B= .sub.x f.sub.x, (g.sub.x B)>.sub.w ( .sub.y f.sub.y,g.sub.y)' (18)
( .sub.x f.sub.x,(A g.sub.x), .sub.y f.sub.y,g.sub.y ').fwdarw. .sub.x f.sub.x >.sub.w A'= .sub.x f.sub.x, (A g.sub.x)>.sub.w ( .sub.y f.sub.y,g.sub.y ')' (19)
.sub.c E: ( .sub.x f.sub.x, (g.sub.x B), .sub.y f.sub.y, g.sub.y).fwdarw.B= .sub.x f.sub.x, (g.sub.x B)>.sub.w ( .sub.y f.sub.y,g.sub.y)' (20 )
( .sub.x f.sub.x, (A g.sub.x), .sub.y f.sub.y, g.sub.y ').fwdarw.A'= .sub.x f.sub.x, (A g .sub.x)>.sub.w ( .sub.y f.sub.y,g.sub.y ')' (21)
As in (13)-(16), (18) and (20) generalize modus ponens, (19) and (21) modus tollens.
In symbolic logic one often expresses hypotheses in the following form
H=((A.sub.1 A.sub.2 . . . A.sub.n) B), (22a)
the negation of which is
H'=A.sub.1 A.sub.2 . . . A.sub.n B' (22b)
If H' is true (the set (A.sub.1, A.sub.2, . . . ,A.sub.n, B') consistent), then H is false (not valid); if H' is false (the set inconsistent), then H is true (valid). With our interpretation of the operation of fuzzy implication, we can manipulate (22ab) much as is done in logic to obtain analogous results.
Examples of this include the following. If
H.sub.12 =((A.sub.1 A.sub.2) (B.sub.1 B.sub.2)), (23a)
then by a straightforward manipulation
H.sub.12 =((A.sub.1 B.sub.2 ') (B.sub.1 .LAMBDA.A.sub.2 ')) (23b)
In this manner, one obtains a number of implications having the same (known) fuzzy truth value. Of particular interest is to write (22a) as
H=((A.sub.2 .LAMBDA.. . . .LAMBDA.A.sub.n .LAMBDA.B') A.sub.1 ') (24)
In logic, if one also has A.sub.2 .LAMBDA. . . . .LAMBDA.A.sub.n A.sub.1, then using modus tollens it follows from (24) that
H=(A.sub.2 .LAMBDA.. . . .LAMBDA.A.sub.n B) (25)
Hence, within a set propositions implied by other propositions can be omitted in hypotheses such as (22a). In fuzzy logic, owing to the continuous nature of the operations, it is necessary that ((A.sub.2 .LAMBDA. . . . .LAMBDA.A.sub.n) B)>((A.sub.2 .LAMBDA.. . . .LAMBDA.A.sub.n) A.sub.1 ') Expression (25) then remains valid since from (24
H=(A.sub.2 (B A.sub.1 '))=(A.sub.2 B) (A.sub.2 A.sub.1 ')=(A.sub.2 B)>.sub.w (A.sub.2 A.sub.1 '), (26)
where A.sub.2 =A.sub.2 .LAMBDA. . . . .LAMBDA.A.sub.n.
In proving theorems, more easily proved lemmas are often used in order to shorten the proof. This technique can be formalized using the cut rule
(A.sub.1 (B.sub.1 R.sub.12), (A.sub.2 .LAMBDA.R.sub.12) B.sub.2).fwdarw.((A.sub.1 .LAMBDA.A.sub.2) (B.sub.1 B.sub.2)) (27)
where R.sub.12 is the cut formula (lemma of A.sub.1) of this inference, the conclusion (result) of which does not involve R.sub.12 explicitly. Longer chains of reasoning are readily envisioned
(A.sub.1 (B.sub.1 .LAMBDA.R.sub.12),(R.sub.12 .LAMBDA.A.sub.2) B.sub.2, A.sub.2 (B.sub.2 R.sub.23),R.sub.23 .LAMBDA.A.sub.3 B.sub.3).fwdarw.(A.sub.1 .LAMBDA.A.sub.2 .LAMBDA.A.sub.3 B.sub.1 B.sub.2 B.sub.3) (28)
Note that even in fuzzy logic the two intermediate terms can be combined as
(R.sub.12 .LAMBDA.A.sub.2 B.sub.2) (A.sub.2 B.sub.2 R.sub.23)=(R.sub.12 .LAMBDA.A.sub.2 B.sub.2 R.sub.23), (29)
which has the same structure as (27).
In order to determine the nature of the inference (27) in fuzzy logic, we consider the simpler (actually equivalent) inference
(u v,u' w).fwdarw.(v.sub.v w) (30)
Clearly (v w).ltoreq.mx(u v,u' w)=mx(u,v,u', w). If (uVv)>u>(u'V w)' then we would have equality. However, merely from (u v) and (u' w), we cannot guarantee both these strict inequalities. Now, so long as (u v)>(u'10 w)', it follows that
mn(u v,u' w).ltoreq.(v w).ltoreq.mx(u v,u' w). (31)
This is appropriate, as the conjunction of the antecedent implications in (30) would be expected to play a key role here. If, in addition to (30), we also have
(t v,t' w).fwdarw.(v w), (32)
with (t v)>(t' w)', then the limits in (31) can be tightened to
mx(mn(u v,u' w),mn(t v,t' w)).ltoreq.(v w).ltoreq.mx((u.LAMBDA.t) v, (u t)' w) (33)
These results, (31) and (33), differ from our previous results in that here we have not explicitly identified the consequent of the inference in terms of the antecedent, we have only bounded it. Since this is indeed a fuzzy logic, this limitation should not seem too unnatural.
We can now return to the cut rule (27). if we identify A.sub.1 ' B.sub.1 with v,A.sub.2 ' B.sub.2 with w, and R.sub.12 with u, then v w=(A.sub.1 .LAMBDA.A.sub.2) (B.sub.1 B.sub.2), and with these entries (31) yields
mn(A.sub.1 (B.sub.1 R.sub.12), (A.sub.2 .LAMBDA.R.sub.2) B.sub.2).ltoreq.(A.sub.1 .LAMBDA.A.sub.2) (B.sub.1 B.sub.2).ltoreq..ltoreq.mx(A.sub.1 (B.sub.1 .LAMBDA.R.sub.12),(A.sub.2 .LAMBDA.R.sub.12) B.sub.2) (34)
so long as (A.sub.1 (B.sub.1 R.sub.12))>(A.sub.2 .LAMBDA.R.sub.12 B.sub.2)'. Similarly (28) works out to be
mn(A.sub.1 (B.sub.1 .LAMBDA.R.sub.12), R.sub.12 .LAMBDA.A.sub.2 B.sub.2 R.sub.23, R.sub.23 A.sub.3 B.sub.3) .ltoreq.(A.sub.1 .LAMBDA.A.sub.2 .LAMBDA.A.sub.3 B.sub.1 B.sub.2 V B.sub.3).ltoreq.mx(A.sub.1 B.sub.1 .LAMBDA.R.sub.12, R.sub.12 .LAMBDA.A.sub.2 B.sub.2 R.sub.23, R.sub.23,.LAMBDA.A.sub.3 B.sub.3) (35)
provided (A.sub.1 (B.sub.1 R.sub.12))>((R.sub.12 .LAMBDA.A.sub.2) (B.sub.2 R.sub.23))' and ((R.sub.12 .LAMBDA.A.sub.2) (B.sub.2 R.sub.23)).ltoreq.((R.sub.23 .LAMBDA.A.sub.3) B.sub.3)'. (The inequalities in (34) and (35) are sharp, however many A and B are considered). Longer chains can be similarly analyzed and the bounds tightened with alternative lemmas.
A common variant of the cut rule (27) is the following minor extension:
(A.sub.1 B.sub.1 R.sub.1, R.sub.2 .LAMBDA.A.sub.2 B.sub.2).fwdarw.(A.sub.1 .LAMBDA.(R.sub.1 R.sub.2).LAMBDA.A.sub.2) (B.sub.1 B.sub.2) (36)
where, of course, R.sub.1 R.sub.2 is understood to be a third antecedent. This can be decomposed and analyzed in much the same manner as (28), with the result that
mn(A.sub.1 B.sub.1 V R.sub.1, R.sub.1 R.sub.2, R.sub.2 .LAMBDA.A.sub.2 B.sub.2) .ltoreq.(A.sub.1 .LAMBDA.(R.sub.1 R.sub.2).LAMBDA.A.sub.2) (B.sub.1 B.sub.2).ltoreq.mx(A.sub.1 B.sub.1 R.sub.1, R.sub.1 R.sub.2, R.sub.2 .LAMBDA.A.sub.2 B.sub.2) (37)
so long as (A.sub.1 B.sub.1 R.sub.1)>(R.sub.1 R.sub.2)' and (R.sub.1 R.sub.2).ltoreq.(R.sub.2 .LAMBDA.A.sub.2 B.sub.2)'. Various simplifications of (27) or (36) lead to exact results. For example
(A.sub.1 .LAMBDA.A.sub.2 R B,S A.sub.1 .LAMBDA.A.sub.2 B).fwdarw.(A.sub.1 .LAMBDA.(R S).LAMBDA.A.sub.2 B) (38)
according to
(A.sub.1 .LAMBDA.(R S).LAMBDA.A.sub.2 B)=mn(A.sub.1 .LAMBDA.A.sub.2 R B,S.LAMBDA.A.sub.1 .LAMBDA.A.sub.2 B) (39)
while A.sub.2 (B.sub.2 (A.sub.1 B.sub.1))=(A.sub.1 .LAMBDA.A.sub.2) (B.sub.1 B.sub.2), again owing to our choice of A B=A' B.
As an extension of E, one can encounter this modus-ponens-like inference
({A.sub.j B.sub.j }, .sub.i A.sub.i).fwdarw. .sub.i B.sub.i (40)
By analogous reasoning we find
.sub.i A.sub.i)'<.sub.w mn.sub.k (A.sub.k B.sub.k).ltoreq. .sub.i B.sub.i .ltoreq.mx.sub.k (A.sub.k B.sub.k) (41)
While mx.sub.k (A.sub.k B.sub.k)=mx.sub.k (A.sub.k ') mx.sub.l (B.sub.l), so that if one knew .LAMBDA..sub.k A.sub.k, one could write
.sub.l B.sub.l = .sub.k (A.sub.k B.sub.k)>.sub.w (.LAMBDA..sub.k A.sub.k)', (42)
this would not be too useful, as some A.sub.k can be 0. Rather, it is the inequality
.LAMBDA..sub.k (A.sub.k B.sub.k).ltoreq. .sub.l B.sub.l
which lies at the heart of (41). The equivalent expression using modus tollens is
({A.sub.i B.sub.i }, .sub.j B.sub.j ').fwdarw. .sub.j A.sub.j ' (43)
and
( .sub.k B.sub.k ')<.sub.w mn.sub.k (A.sub.k B.sub.k).ltoreq. .sub.j A.sub.j '.ltoreq.mx.sub.l (A.sub.l B.sub.l). (44)
Once again one could have
.sub.j A.sub.j '=mx.sub.l (A.sub.l B.sub.l)>.sub.w .sub.l B.sub.l,
but as above this form has minimal utility.
Another common inference in logic (transitivity) has the form
(A X,X.sub.1 X.sub.2 . . . ,X.sub.n B).fwdarw.A B (45)
We can use our fuzzy modus ponens (5) to pass from A to B so long as the following inequalities are satisfied:
A'<(A X.sub.1),(A X.sub.1)'<(X.sub.1 X.sub.2), . . . ,(X.sub.n-1 X.sub.n)'<(X.sub.n B) (46)
From these we infer X.sub.s =(X.sub.s-1 X.sub.s) and B=(X.sub.n B). Similarly using modus tollens (8) and
B'>(X.sub.n B)', (X.sub.n B)>(X.sub.n-1 X.sub.n)', . . . ,(X.sub.1 X.sub.2)>(A X)'
we infer X.sub.r '=(X.sub.r X.sub.r+1) and A'=(A' X.sub.1). (Note that the intermediate inequalities are the same as those above.) Should B and C be joined by Y.sub.1 . . . Y.sub.m similarly satisfying
B'<(B Y.sub.1),(B Y.sub.1)'<(Y.sub.1 Y.sub.2), . . . ,(Y.sub.m-1 Y.sub.m)'<(Y.sub.m C),
then this meshes with series (46) and C=(Y.sub.m C).
These results illustrate a number of interesting features. So long as the intermediate inequalities are satisfied, the derived implication
(A .sub.d B)=(A X.sub.1, X.sub.n B), (47)
now represented by two quantities, does not depend upon the actual values of (X.sub.1 X.sub.2), . . . ,(X.sub.n-1 X.sub.n). In other words, the successive influences do not dilute the inference. While (47) cannot be reduced to the simpler form (A B)=(A' B), it does enable us to preserve the most important feature of the classical result. In (45) if A is true, then X.sub.1 is true, if X.sub.1 is true, then X.sub.2 is true, . . . , if X.sub.n is true then B is true: hence if A is true, B is true, and (43) indeed simplifies to A B. Similarly, if (A X.sub.1)>A', then B=(X.sub.n B) summarizes (46). (It is this encapsulation which is not possible with the simplifier form A' B.) If we are working with quantified quantities, then .sub.l (X.sub.s X.sub.s X.sub.s+1).sub.l)>( .sub.k (X.sub.x-1 X.sub.s).sub.k ' guarantees (X.sub. s X.sub.s+1).sub.l >(X.sub.s-1 X.sub.s).sub.l for each 1, and (47) becomes
(A .sub.d B)= .sub.l (A X.sub.1).sub.l, .sub.k (X.sub.n B).sub.k)
Thus for each x, A.sub.x >(.LAMBDA..sub.l (A X.sub.1)(.sub.l)',B.sub.x .gtoreq..LAMBDA..sub.k (X.sub.n B).sub.k, using the minimization interpretation of universal quantification introduced above.
Perhaps the most counterintuitive result here is that some of the (X.sub.s X.sub.s+1) can in principle be less than 1/2 without affecting the overall inference. (Clearly if each exceeds 1/2, all inequalities are immediately satisfied.) Thus all that is required of (X.sub.s X.sub.s+1) is that it exceeds (X.sub.s-1 X.sub.s)' and (X.sub.s+1 X.sub.s+2)' which can be quite small. In general, no two adjacent implications can be less than 1/2. However, given strong implications on either side, this model permits a weak implication in between representing an "intuitive-leap" (a tunneling-inference-space) phenomenon. (Mathematically this results from making full use of the B>1-A region of the 0.ltoreq.A.ltoreq.1,0.ltoreq.B.ltoreq.1 domain over which A B is defined.) Should a weak implication enter, the system could search for a stronger connective, as would a person in a similar situation. However, one would still have the result, found initially more quickly and simply but so it would seem with less rigor. Of course, if appropriate, a lower limit (e.g. 1/2) can be imposed ad hoc on the individual implications. In any event one is not restricted to a monotonically increasing sequence of A,X.sub.1, X.sub.2 , . . . ,X.sub.n, B, though such could be imposed if warranted.
Closely related to the above is fuzzy mathematical induction: (F.sub.1, F.sub.n-1).fwdarw.F.sub.n, or more precisely, (F.sub.1, F.sub.n F.sub.n+1).fwdarw.F.sub.n+1. So long as F.sub.n and (F.sub.n F.sub.n+1) remain above 1/2, then F.sub.n+1 >1/2, and all is well. However, should (F.sub.n F.sub.n+1) drop below 1/2, induction would cease. To avoid this deadlock, one should switch to G.sub.n+1 =F'.sub.n+1 so that (F.sub.n G.sub.n+1)>1/2. Should (G.sub.m G.sub.m+1)<1/2 for some m>n+1, one simply switches back to F.sub.m+1 =G'.sub.m+1 so that (G.sub.m F.sub.m+1)>1/2. One can continue in this manner to all countable m, n.
One should carefully distinguish inference and decision theory. In the latter one usually carries out explicit operations to determine an output which elicits a decision. In the former, by contrast, one relies on implicit operations. For example modus ponens goes into A B to note that if 1 0 is 0 and 1 is 1, then A=1 and A B=1 means that B=1; values of A B for A=0 are not needed for this inference. This going inside of, this implicit-function dependence (given x and f(x,y), find y), is what inference is all about.
With this background we can discuss circuit implementations of fuzzy syllogistic systems in accordance with the invention.
First FIG. 1 shows a symbol 10 to be used for representing the basic inference function involved. It comprises input terminals 101 and 102 supplied with input signals X.sub.n and Y.sub.n and output terminals 103 and 104 supplying output with signals X.sub.n+1 and Y.sub.n+1. X.sub.n corresponds to an analog signal with an amplitude between 0 and 1 that is a measure of the truth, or confidence, of the minor premise involved. Y.sub.n corresponds to an analog signal with an amplitude between 0 and 1 that is a measure of the truth, or, confidence of the major premise. X.sub.n+1 corresponds to an analog signal that is a measure of the bounded difference between Y.sub.n and X.sub.n ' where X.sub.n ' is the negation or complement (1-X.sub.n) of X.sub.n. (This difference has been referred to as the fidelity or degree of validity of the inference Y.sub.n+1). Y.sub.n+1 is equal to Y.sub.n but is valid only if X.sub.n+1 is greater than some arbitrary threshold, which may be as small as zero, although it may be chosen to have a positive value to compensate for noise or other factors to increase the reliability of the inference.
FIG. 2 shows in block schematic one form of circuit suitable for carrying out the function represented by symbol 10 of FIG. 1. It includes a bounded difference circuit 11 to which is supplied at its negative input terminal 12 with the current value of X.sub.n and at positive input terminal 13 with a current of unit value to provide at its output X.sub.n ' the complement or negation of X.sub.n. The output terminal 14 of circuit 11 is directly connected to the negative terminal 15 of a bounded difference circuit 16 similar to circuit 11 whose positive input terminal 17 is supplied by the input current Y.sub.n. In the circuit depicted, the input current Y.sub.n is supplied by way of an output terminal 19 of a current amplifier 20 whose input terminal 21 is supplied with current Y.sub.n. The current amplifier 20 also provides a replica of this current at its output terminal 22. At terminal A there is available the difference Y.sub.n -X.sub.n ' which is termed the fidelity measure of the implication. Unless the analog signal value Y.sub.n exceeds the analog signal value X.sub.n ' by some prescribed value adequate to compensate for the noise in the system, the fidelity measure has value zero and no inference is possible. If Y.sub.n does exceed X.sub.n ' adequately, the inference is valid and the analog value Y.sub.n is the value of the confidence measure of the desired consequent of the implication. The fidelity of a consequent has particular importance in a chain of inferences since a consequent becomes the antecedent in the next link of the chain. The use of the current amplifier 20 make Y.sub.n available for use in additional circuitry, as will be explained below. If this replica of Y.sub.n is not needed, Y.sub.n could be directly supplied to input terminal 17 without the insertion of the current amplifier 20.
Each of circuits 11, 16 and 20 can be of any form known in the art suitable for such functions. Examples of such circuits are described in the previously identified paper and patent of T. Yamakawa. It can be noted that circuits 11 and 16 basically are subtracting circuits.
FIG. 3 shows another block symbol 30 to be used for representing a circuit which, when provided with inputs a and b, will provide as the output the smaller of the two.
FIG. 4 shows in block schematic form a circuit suitable for providing the minimum function represented by symbol 30 of FIG. 3. It includes bounded difference circuits 31 and 32 similar to circuits 11 and 16 and current amplifier circuit 33 similar to current amplifier circuit 20 in the circuit arrangement of FIG. 2. Circuit 31 is connected so that it will provide as an output I.sub.b -I.sub.a when I.sub.a is smaller than I.sub.b but otherwise zero, and this output is supplied to circuit 32 that will provide as an output I.sub.b when I.sub.b is smaller than I.sub.a and I.sub.b .THETA.(I.sub.b .THETA.I.sub.a) or I.sub.a, when I.sub.a is smaller than I.sub.b. The patent to Yamakawa describes other possible forms of minimum circuit 30.
The foregoing circuits are designed to utilize the amplitude of signal currents as the measure of truth or confidence in the inferences involved. Alternatively, the amplitudes of voltages can be similarly used by choice of appropriate circuitry.
In some situations, a chain of implications is involved, more than one of which includes some uncertainty so that some fuzziness is involved. The present invention is especially well equipped to handle such a chain expeditiously, particularly as compared to other schemes proposed for handling such situations.
In FIG. 5, there is shown a block schematic for handling a chain of fuzzy inputs, each of which has a confidence measure between 0 and 1. In particular, it is designed to handle the three-link chain A X.sub.1, X.sub.1 X.sub.2, X.sub.2 B where A is the confidence in the initial or minor premise and X.sub.1, X.sub.2, B are the confidence measures of the three implications, respectively. In such a chain, the major premise of a link in the chain serves as the minor premise of the succeeding link in the chain.
Each of inference blocks 41, 42 and 43 is of the kind shown in more detail in FIG. 2 and each of the min. circuits 44 and 45 is of the kind shown in FIG. 4. As depicted, the confidence measure of A is supplied to the negative input terminal of inference block 41, and A X.sub.1 which a measure of the first implication is supplied to its positive input terminal. The output S.sub.1, equal to A X.sub.1 .THETA.A' is supplied as one input to the comparator 44. The other output of inference block 41 is applied to the negative input terminal of inference block 42 while the confidence measure of implication X.sub.1 X.sub.2 is applied to its positive input terminal. The first output S.sub.2 of inference block 42, equal to the X.sub.1 X.sub.2 .THETA.X', is supplied as a second input to the comparator 44. The second output X.sub.2 of the inference block is applied to the negative input terminal of inference block 43 along with the measure of the third implication X.sub.2 B applied to the positive terminal. The first output S.sub.B of inference block 43, equal to X.sub.2 B.THETA.X.sub.2 ', is supplied as an input to comparator 45 for comparison with f.sub.2, the smaller of S.sub.1 and S.sub.2 and there results B as the final inference output of the chain. However, in the event that S.sub.1, S.sub.2 or S.sub.B are zero, or less than a specified threshold, if this is desired, f.sub.B will be zero, or less than that specified threshold, and no inference can be drawn. If each of the fidelities is positive, the smallest of these, .function..sub.B, will be fidelity of the final consequent in the chain of implications. It is usually important to know this value.
It can be appreciated that the chain can be extended to include further inferences and these would be handled in an analogous fashion. It can be appreciated that the output will be the smallest of the various S terms that are formed as the first outputs of the various inference blocks where each S term is equal to the difference between the input applied to the positive input terminal of the associated inference block and the complement of the input applied to the negative input terminal.
Claims
  • 1. A fuzzy syllogistic inference system for processing a chain of implications that includes as the first link in the chain a minor premise that serves as an antecedent to infer a consequent of its major premise, which consequent serves as the antecedent to infer a consequent of the major premise in the next link of the chain, this process continuing through the last link in the chain comprising:
  • circuit means for each link in the chain for receiving as one input a signal corresponding to the confidence measure of the antecedent of the link and as another input a signal corresponding to the confidence measure of the major premise of the link and for generating a first output as the consequent of the link a signal corresponding to the confidence measure of the major premise of the link and a second output as the fidelity measure of the consequent of the link a signal which is the bounded difference between the confidence measure of the major premise and the complement of the confidence measure of the antecedent of the link,
  • means for coupling between successive said circuit means for each link the signal that is the first output as the consequent of the link to the one input corresponding to the confidence measure of the major premise of the link as the antecedent of the succeeding link in the chain, and
  • means for deriving the consequent of the last link in the chain as the consequent of the chain and deriving the lowest fidelity measure of any link in the chain as the fidelity measure of the consequent of the chain.
Parent Case Info

This is a continuation of application Ser. No. 07/759,489, now abandoned, filed Sep. 13, 1991.

US Referenced Citations (6)
Number Name Date Kind
4839823 Matsumoto Jun 1989
4860214 Matsuda et al. Aug 1989
4875184 Yamakawa Oct 1989
5021988 Mashiko Jun 1991
5133046 Kaplan Jul 1992
5142664 Zhang Aug 1992
Continuations (1)
Number Date Country
Parent 759489 Sep 1991