# Expert Systems 1.Linguistic variables: a quintuple (x,T(x),U,G, )  X is the name of the variable;  T denotes the term set of x, that is, the set of names.

## Presentation on theme: "Expert Systems 1.Linguistic variables: a quintuple (x,T(x),U,G, )  X is the name of the variable;  T denotes the term set of x, that is, the set of names."— Presentation transcript:

Expert Systems 1.Linguistic variables: a quintuple (x,T(x),U,G, )  X is the name of the variable;  T denotes the term set of x, that is, the set of names of linguistic values of x, with each value being a fuzzy variable denoted by x and ranging over a universe of discourse U which is associated with the base variable u;  G is a syntactic rule (grammar) for generating the name, X, of values of x;  M is a semantic rule for associating with each X its meaning; M(X) is a fuzzy subset of U.

2.Approximate reasoning  Generalized modus ponens PremiseA is true ImplicationIf A then B ConclusionB is ture 1)Allow statements that are characterized by fuzzy sets. 2)Relax the identity of the B’s in the implication and the conclusion. Premisex is A’ ImplicationIf x is A then y is B Conclusiony is B’

 Zadeh’s compositional rule of inference: Let R(x), R(x,y) and R(y) be fuzzy relations in X, XxY, and Y respectively, which act as fuzzy restrictions on x, (x,y), and y, respectively. Let A and B denote particular fuzzy sets in X and XxY. Then the compositional rule of inference asserts, that the solution of the relational assignment equations R(x) = A, R(x,y) = B is given by R(y) = A o B.

Fuzzy Implications  Ordering of fuzzy implications: Fig. 11.2.

Selection of Fuzzy Implications  It must satisfy the following formula: 

Multiconditional Approximate Reasoning  Disjunctive if-then rules  Conjunctive if-then rules 

WHAT 使用者使用者 使用者介面使用者介面 推理 機置 知識庫 工作記 憶區 知識擷取介面知識擷取介面 領域專家領域專家 知識工程師知識工程師 專家系統架構

Deduction. Logical reasoning in which conclusion must follow from their premises. Induction. Inference from the specific case to the general. Intuition. No proven theory. The answer just appears, possibly by unconsciously recognizing an underlying pattern. Expert systems do not implement this type of inference yet. ANS may hold promise for this type of inference since they can extrapolate from their training rather than just provide a conditioned response or interpolation. That is, a neural net will always give its best guess for a solution. Heuristics. Rules of thumb based on experience.

Generate and Test. Trial and error. Often used with planning for efficiency. Abduction. Reasoning back from a true conclusion to the premises that may have caused the conclusion. Default. In the absence of specific knowledge, assume general or common knowledge by default. Autoepistemic. Self-knowledge Nonmonotonic. Previous knowledge may be incorrect when new evidence is obtained. Analogy. Inferring a conclusion based on the similarities to another situation.

3.Reasons for the use of fuzzy set theory in expert systems:  user-machine input/output description,  imprecise knowledge  uncertainty management. 4.Fuzzy production rules: condition/ conclusion parts contain linguistic variables. 5.Fuzzy frames:  allowing slots to contain fuzzy sets as values,  allowing partial inheritance through is-a slots. 6.Fuzzy semantic nets. 7.Fuzzy inference.

 Medicine 1)Sanchez: Fuzzy set A: the symptoms observed in the patient. Fuzzy relation R: the medical knowledge that relates the symptoms to the diseases. Fuzzy set B: the possible diseases of the patient B = A o R

2)CADIAG-2: R O :occurrence relation S x D R C :confirmability relation S x D R S :occurrence relation P x S R 1 = R S o R O (occurrence indication on P x D) R 2 = R S o R C (confirmability indication on P x D) R 3 = R S o (1-R O ) (nonoccurrence indication on P x D) R 4 = (1-R S ) o R O (nonsymptom indication on P x D) => draw different types of diagnostic conclusions.

 s1 occurs very seldom in patients with d1. S1 often occurs in patients with d2 but seldom confirms the presence of disease d2. S2 always occurs with d1 and always confirms the presence of d1; s2 never occurs with d2 and its presence never confirms d2. S3 very often occurs with d2 and often confirms the presence of d2. S3 seldom occurs in patients with disease d1.

Example:  Membership function:  Linguistic terms: always, often, unspecific, seldom, never  Modifier: very (concentration operation u 2 )

(diagnostic hypotheses:.5< max [ u R1, u R2 ]) d1 and d2 are suitable hypotheses for p1 and p2. d2 is the acceptable hypothesis for p3 d1 is strongly confirmed for p2 (R2) (confirmed diagnosis: u R2 (p,d) = 1) d1 is excluded as a possible diagnosis for p3 (excluded diagnosis: u R3 (p,d) or u R4 (p,d) = 1)

Building Expert Systems by Embedding Analogical Reasoning into Deductive Reasoning Mechanism  Rule knowledge base: IF X 1 with (W 1,R 1 ) AND X 2 with (W 2,R 2 ) AND …… X m with (W m,R m ) THEN Y. 1.W i are fuzzy weight factors, R i are fuzzy relation matrices.

PCPILE TURBO PROLOG MS-DOS PC/AT or COMPATIBLE

EXPERTUSER INTERFACE ANALOGICAL INFERENCE MECHANISM DEDUCTIVE INFERENCE MECHANISM CASE KNOWLEDGE BASE RULE KNOWLEDGE BASE

 Deductive Inference Mechanism 1.B i (y) = A i o R i (y) ( max-min composition) 2. 3.rank(B) = (rank all rules)

(2) Very very similar: (S ij ) 1/4 very similar: (S ij ) ½ middle similar: (S ij ) 1 less similar: (S ij ) 2 less less similar: (S ij ) 4 (3) Similarity degree: S * = A o S o B = max {min[ (x), S(x,y),[ (y)]}.  Case Knowledge Base 1.Case base structure 2.Similarity relation matrix: expresses the relaxation of truth value of an attribute. x, y A=VT=(0,0,0,.5,1) B=MT=(0,0,.5,1,.5) S=MS S * =0.75

 Analogical inference mechanism Do Procedure (CASE) for all cases: Do Procedure (QTTRIBUTE) for all attributes: End DO Procedure ( ATTRIBUTE). End Do Procedure (CASE). Do Procedure (GOAL) for all goals. End Do Procedure (GOAL). Return the sort of goals with its similarity possibility value πk as “approximate solution.” Procedure (ATTRIBUTE): Determine Similarity Degrees of Attributes Using the definition of similarity degree of fuzzy truth value, i.e., Eq. 7, we can draw the similarity degree S ij of an attribute X i between the diagnosed case and past case C i by the following equation

…………(9) In which A j = the fuzzy truth value of attribute X j of the diagnosed case; A ij = fuzzy truth value of attribute X j of past case C i ; u aj = the mambership function of A j ; and u aij = the membership function of A ij. Procedure (CASE): Determine Similarity Degree of Cases For each test case, C i, we obtain a similarity degree, S i ; with respect to the diagnosed case by aggregating all the similarity degrees of attributes with the weighted average method …………………………………………………(10)

Procedure (GOAL): Determine Aggregated Possibility of Goals …………………………………………………(11) in which π k = aggregated possibility of goal Y k ; π ik = possibility of goal Y k with respect to past case C i ; NCB = number of cases in the case base; and i = 1, 2, …, NCB.

Differences between expert systems and fuzzy logic control 1.The existing FLC systems originated in control engineering rather than in AI. 2.FLC models are all rule-based systems. 3.By contrast to expert systems FLC serves almost exclusively the control of production systems such as electrical power plants, kiln cemen plants, chemical plants, etc., that is, their domains are even narrower than than those of expert systems.

4.In general, the rules of FLC systems are not extracted from the human expert through the system but formulated explicitly by the FLC designer. 5.Finally, because of their purpose, their inputs are normally observations of technological systems and their outputs control statements.

Essential design problems in FLC: 1.Define input and control variables, that is, determine which states of the process shall be observed and which control actions are to be considered. –Engine-boiler combination: state variables (steam pressure in boiler, speed of engine) –Control actions (heat-input to boiler, throttle opening at the input of the engine cylinder) 2.Define the condition interface, that is, fix the way in which observations of the process are expressed as fuzzy sets.

3. Design the rule base, that is, determine which rules are to be applied under which conditions. 4.Design the computational unit, that is, supply algorithms to perform fuzzy computations. Those generally lead to fuzzy outputs. 5.Determine rules according to which fuzzy control statements can be transformed into crisp control actions.

Defuzzification Methods: Center of Area Method

Defuzzification Methods: Center of Maxima Method

Defuzzification Methods: Mean of Maxima Method

Defuzzification Methods: parameterized class

Fuzzy Automata An automaton is called a fuzzy automaton when its states are characterized by fuzzy sets, and the production of responses and next states is facilitated by appropriate fuzzy relations A = –X is a nonempty finite set of input states (stimuli) –Y is a nonempty finite set of output states (stimuli) –Z is a nonempty finite set of internal states (stimuli) –R is a fuzzy relation on Z x Y –S is a fuzzy relation on X x Z x Y

Fuzzy Automata Fuzzy Relations R and S Storage C t = E t+1 CtCt AtAt BtBt EtEt

Fuzzy Automata

Deterministic fuzzy automaton (p. 352) “o”  max-min; other schemes. Probabilistic automaton of the Moore type

Download ppt "Expert Systems 1.Linguistic variables: a quintuple (x,T(x),U,G, )  X is the name of the variable;  T denotes the term set of x, that is, the set of names."

Similar presentations