Claims Analysis
Total Claims: 17
Claim 1
Independent Claim
251 words
A fuzzy backward reasoning system comprising: memory means for storing a causality table having m×n elements, each of which indicates a membership grade of a corresponding cause to a corresponding effect and is represented by interval data within a predetermined numerical data range; first generating means for reading out the causality table from said memory means and generating basic and auxiliary matrix tables each having m×n elements from the causality table and an input effect matrix table having n elements which correspond to n effects and are respectively represented by interval data within the predetermined numerical data range; second generating means for generating a minimum matrix table having m elements, each of which represent a least upper bound value of a corresponding row of the basic matrix table; third generating means for generating from the basic and auxiliary matrix tables a checking matrix table having m×n elements, each of which has a flag set when representing a possibility of influence to a certainty of a corresponding cause; modifying means for modifying the checking matrix table to selectively reset each flag in accordance with corresponding elements of the basic and minimum matrix tables; and fourth generating means for generating from elements having the flags set of the checking matrix table and the basic and minimum matrix tables a cause matrix table having m elements, each of which is represented by interval data within the predetermined numerical data range, the cause matrix table element interval data representing a certainty of a corresponding cause.
Claim 2
Dependent Claim
251 words
A fuzzy backward reasoning system comprising: memory means for storing a causality table having m×n elements, each of which indicates a membership grade of a corresponding cause to a corresponding effect and is represented by interval data within a predetermined numerical data range; first generating means for reading out the causality table from said memory means and generating basic and auxiliary matrix tables each having m×n elements from the causality table and an input effect matrix table having n elements which correspond to n effects and are respectively represented by interval data within the predetermined numerical data range; second generating means for generating a minimum matrix table having m elements, each of which represent a least upper bound value of a corresponding row of the basic matrix table; third generating means for generating from the basic and auxiliary matrix tables a checking matrix table having m×n elements, each of which has a flag set when representing a possibility of influence to a certainty of a corresponding cause; modifying means for modifying the checking matrix table to selectively reset each flag in accordance with corresponding elements of the basic and minimum matrix tables; and fourth generating means for generating from elements having the flags set of the checking matrix table and the basic and minimum matrix tables a cause matrix table having m elements, each of which is represented by interval data within the predetermined numerical data range, the cause matrix table element interval data representing a certainty of a corresponding cause.
Claim 3
Dependent Claim
23 words
A fuzzy backward reasoning system according to claim 1, wherein said system requires a theoretical operation time proportional to a value of m×n.
Claim 4
Independent Claim
223 words
A method of performing fuzzy backward reasoning, comprising the steps of: providing a causality table having m×n elements, each of which indicates a membership grade of a corresponding cause to a corresponding effect and is represented by interval data within a predetermined numerical data range; generating basic and auxiliary matrix tables each having m×n elements from the causality table and an input effect matrix table having n elements which correspond to n effects and are respectively represented by interval data within the predetermined numerical data range; generating a minimum matrix table having m elements, each of which represent a least upper bound value of a corresponding row of the basic matrix table; generating from the basic and auxiliary matrix tables a checking matrix table having m×n elements, each of which has a flag set when representing a possibility of influence to a certainty of a corresponding cause; modifying the checking matrix table to selectively reset each flag in accordance with corresponding elements of the basic and minimum matrix tables; and generating from elements having the flags set of the checking matrix table and the basic and minimum matrix tables a cause matrix table having m elements, each of which is represented by interval data within the predetermined numerical data range,the cause matrix table element interval data representing a certainty of a corresponding cause.
Claim 5
Independent Claim
223 words
A method of performing fuzzy backward reasoning, comprising the steps of: providing a causality table having m×n elements, each of which indicates a membership grade of a corresponding cause to a corresponding effect and is represented by interval data within a predetermined numerical data range; generating basic and auxiliary matrix tables each having m×n elements from the causality table and an input effect matrix table having n elements which correspond to n effects and are respectively represented by interval data within the predetermined numerical data range; generating a minimum matrix table having m elements, each of which represent a least upper bound value of a corresponding row of the basic matrix table; generating from the basic and auxiliary matrix tables a checking matrix table having m×n elements, each of which has a flag set when representing a possibility of influence to a certainty of a corresponding cause; modifying the checking matrix table to selectively reset each flag in accordance with corresponding elements of the basic and minimum matrix tables; and generating from elements having the flags set of the checking matrix table and the basic and minimum matrix tables a cause matrix table having m elements, each of which is represented by interval data within the predetermined numerical data range,the cause matrix table element interval data representing a certainty of a corresponding cause.
Claim 6
Dependent Claim
22 words
A method according to claim 3, wherein the fuzzy backward reasoning requires a theoretical operation time proportional to a value of m×n.
Claim 7
Dependent Claim
97 words
A method according to claim 3, wherein said basic and auxiliary matrix tables generating step includes the step of performing ε- and ε-compositions for the causality and effect matrix tables to the basic and auxiliary matrix tables, and wherein the ε-composition is represented by ##EQU29## the ε-composition is represented by ##EQU30## where [a,b] is an element of the causality matrix table, is an element of the effect matrix table corresponding to [a,b], a and b in [a,b] are lower and upper bound values, respectively, and c and d in [a,b] are lower and upper bound values, respectively.
Claim 8
Dependent Claim
61 words
A method according to claim 5, wherein said checking matrix table generating step includes the step of generating the checking matrix table from the basic and auxiliary matrix tables by using the following condition, ##EQU31## where {C ij }, u ij and v ij represent elements of i-th row and i-th column of the checking, basic and auxiliary matrix tables, respectively.
Claim 9
Dependent Claim
50 words
A method according to claim 6, wherein the flag is one and said modifying step includes the step of resetting the flags to zero when a lower bound value of the basic matrix table element corresponding to each of the flags is larger than a corresponding minimum matrix table element.
Claim 10
Dependent Claim
146 words
A method according to claim 6, wherein said cause matrix table generating step includes the steps of: generating a sum matrix table having n elements, each of which represents the number of elements having flags set in a corresponding column of the checking matrix table; and generating the cause matrix table, each element of which has, as a lower bound value, if with respect to i-th row there is at least one checking matrix table element satisfying that a flag is set and that an element of the sum matrix table corresponding to the at least one checking matrix table element has a value of one, a most lower bound value of at least one basic matrix table element corresponding to the at least one checking matrix table element and zero, otherwise and as a upper bound value, a corresponding element of the minimum matrix table.
Claim 11
Independent Claim
265 words
A method of controlling a target apparatus by use of fuzzy backward reasoning, comprising the steps of: detecting n state (n is an integer of n≧2) of the target apparatus; providing a causality table having m×n elements (m is an integer of m≧2), each of which indicates a membership grade of a corresponding cause to a corresponding effect and is represented by interval data within a predetermined numerical data range; generating basic and auxiliary matrix tables each having m×n elements from the causality table and an input effect matrix table having n elements which correspond to n ffects and are respectively represented by interval data within the predetermined numerical data range; generating a minimum matrix table having m elements, each of which represent a least upper bound value of a corresponding row of the basic matrix table; generating from the basic and auxiliary matrix tables a checking matrix table having m×n elements, each of which has a flag set when representing a possibility of influence to a certainty of a corresponding cause; modifying the checking matrix table to selectively reset each flag in accordance with corresponding elements of the basic and minimum matrix tables; generating from elements having the flags set of the checking matrix table and the basic and minimum matrix tables a cause matrix table having m elements, each of which is represented by interval data within the predetermined numerical data range, the cause matrix table element interval data representing a certainty of a corresponding cause; and controlling the target apparatus based on the certainties of the elements of the cause matrix table.
Claim 12
Independent Claim
265 words
A method of controlling a target apparatus by use of fuzzy backward reasoning, comprising the steps of: detecting n state (n is an integer of n≧2) of the target apparatus; providing a causality table having m×n elements (m is an integer of m≧2), each of which indicates a membership grade of a corresponding cause to a corresponding effect and is represented by interval data within a predetermined numerical data range; generating basic and auxiliary matrix tables each having m×n elements from the causality table and an input effect matrix table having n elements which correspond to n ffects and are respectively represented by interval data within the predetermined numerical data range; generating a minimum matrix table having m elements, each of which represent a least upper bound value of a corresponding row of the basic matrix table; generating from the basic and auxiliary matrix tables a checking matrix table having m×n elements, each of which has a flag set when representing a possibility of influence to a certainty of a corresponding cause; modifying the checking matrix table to selectively reset each flag in accordance with corresponding elements of the basic and minimum matrix tables; generating from elements having the flags set of the checking matrix table and the basic and minimum matrix tables a cause matrix table having m elements, each of which is represented by interval data within the predetermined numerical data range, the cause matrix table element interval data representing a certainty of a corresponding cause; and controlling the target apparatus based on the certainties of the elements of the cause matrix table.
Claim 13
Dependent Claim
22 words
A method according to claim 9, wherein the fuzzy backward reasoning requires a theoretical operation time proportional to a alue of m×n.
Claim 14
Dependent Claim
93 words
A method according to claim 9, wherein said basic and auxiliary matrix tables generating step includes the step of performing ε- and ε-compositions for the causality and effect matrix tables to the basic and auxiliary matrix tables, and wherein the ε-composition is represented by ##EQU32## the ε-composition is represented by ##EQU33## where is an elements of the causality matrix table, is an element of the effect matrix table corresponding to, a and b in are lower and upper bound values, respectively, and c and d in are lower and upper bound values, respectively.
Claim 15
Dependent Claim
61 words
A method according to claim 11, wherein said checking matrix table generating step includes the step of generating the checking matrix table from the basic and auxiliary matrix tables by using the following condition, ##EQU34## where {c ij }, u ij and v ij represent elements of i-th row and i-th column of the checking, basic and auxiliary matrix tables, respectively.
Claim 16
Dependent Claim
50 words
A method according to claim 12, wherein the flag is one and said modifying step includes the step of resetting the flags to zero when a lower bound value of the basic matrix table element corresponding to each of the flags is larger than a corresponding minimum matrix table element.
Claim 17
Dependent Claim
144 words
A method according to claim 12, wherein said cause matrix table generating step includes the steps of: generating a sum matrix table having n elements, each of which represents the number of elements having flags set in a corresponding column of the checking matrix table; and generating the cause matrix table, each element of which has, as a lower bound value, with respect to i-th row there is at least one checking matrix table element satisfying that a flag is set and that an element of the sum matrix table corresponding to the at least one checking matrix table element has a value of one, a most lower bound value of at least one basic matrix table element corresponding to the at least one checking matrix table element and zero, otherwise and as-a upper bound value, a corresponding element of the minimum matrix table.