Fuzzy Logic
Reinforcement Learning for the Soccer Dribbling Task
Carvalho, Arthur, Oliveira, Renato
We propose a reinforcement learning solution to the \emph{soccer dribbling task}, a scenario in which a soccer agent has to go from the beginning to the end of a region keeping possession of the ball, as an adversary attempts to gain possession. While the adversary uses a stationary policy, the dribbler learns the best action to take at each decision point. After defining meaningful variables to represent the state space, and high-level macro-actions to incorporate domain knowledge, we describe our application of the reinforcement learning algorithm \emph{Sarsa} with CMAC for function approximation. Our experiments show that, after the training period, the dribbler is able to accomplish its task against a strong adversary around 58% of the time.
A Fuzzy Logic Computational Model for Emotion Regulation Based on Gross
Soleimani, Ahmad (University of Windsor, ON) | Kobti, Ziad (University of Windsor, ON)
Emotion regulation looks into methods and strategiesthat humans use in order to control and balance theirpossible extreme levels of emotions. One importantchallenge in building a computational model of emotionsis the mainly non-quantitative nature of this problem.In this paper, we investigate a Fuzzy logic approachas a possible framework for providing the requiredqualitative and quantitative description of suchmodels. In our proposed fuzzy computational modelwhich was constructed based on Gross theory for emotionregulation, beside the fuzzy structure, it includesa learning module that enhances the model adaptivityto environmental changes through learning some relevantaspects such as patterns of events’ sequences. Theresults of the simulation experiments were comparedagainst a formerly presented non-fuzzy implementation.We observed that the agents in our proposed modelmanaged to cope better with changes in the environmentand exhibited smoother regulation behavior. Moreover,our model showed further consistency with the inferentialrules of Gross theory.
Decision Tables Aggregation in Rough Sets Approximation
Chakhar, Salem (University Laval) | Pusceddu, Clara (University of Sassari)
The Dominance-based Rough Set Approach (DRSA) is an extension of Rough Sets Theory to handle multicriteria classification problems by authorizing preference-ordered attributes. The DRSA assumes the existence of a single decision table while real-world decision problems imply generally several experts with different decision tables. The objective of this paper is to propose an algorithm for the aggregation of a set of decision tables, as a first step for approximating these tables. The algorithm is illustrated using real-world data.
Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights
Dubois, Didier, Lang, Jerome, Prade, Henri
In this paper an approach to automated deduction under uncertainty,based on possibilistic logic, is proposed ; for that purpose we deal with clauses weighted by a degree which is a lower bound of a necessity or a possibility measure, according to the nature of the uncertainty. Two resolution rules are used for coping with the different situations, and the refutation method can be generalized. Besides the lower bounds are allowed to be functions of variables involved in the clause, which gives hypothetical reasoning capabilities. The relation between our approach and the idea of minimizing abnormality is briefly discussed. In case where only lower bounds of necessity measures are involved, a semantics is proposed, in which the completeness of the extended resolution principle is proved. Moreover deduction from a partially inconsistent knowledge base can be managed in this approach and displays some form of non-monotonicity.
A Hierarchical Approach to Designing Approximate Reasoning-Based Controllers for Dynamic Physical Systems
Berenji, Hamid R., Chen, Yung-Yaw, Lee, Chuen-Chien, Jang, Jyh-Shing, Murugesan, S.
This paper presents a new technique for the design of approximate reasoning based controllers for dynamic physical systems with interacting goals. In this approach, goals are achieved based on a hierarchy defined by a control knowledge base and remain highly interactive during the execution of the control task. The approach has been implemented in a rule-based computer program which is used in conjunction with a prototype hardware system to solve the cart-pole balancing problem in real-time. It provides a complementary approach to the conventional analytical control methodology, and is of substantial use where a precise mathematical model of the process being controlled is not available.
Compiling Fuzzy Logic Control Rules to Hardware Implementations
A major aspect of human reasoning involves the use of approximations. Particularly in situations where the decision-making process is under stringent time constraints, decisions are based largely on approximate, qualitative assessments of the situations. Our work is concerned with the application of approximate reasoning to real-time control. Because of the stringent processing speed requirements in such applications, hardware implementations of fuzzy logic inferencing are being pursued. We describe a programming environment for translating fuzzy control rules into hardware realizations. Two methods of hardware realizations are possible. The First is based on a special purpose chip for fuzzy inferencing. The second is based on a simple memory chip. The ability to directly translate a set of decision rules into hardware implementations is expected to make fuzzy control an increasingly practical approach to the control of complex systems.
Selecting Uncertainty Calculi and Granularity: An Experiment in Trading-Off Precision and Complexity
Bonissone, Piero P., Decker, Keith S.
The management of uncertainty in expert systems has usually been left to ad hoc representations and rules of combinations lacking either a sound theory or clear semantics. The objective of this paper is to establish a theoretical basis for defining the syntax and semantics of a small subset of calculi of uncertainty operating on a given term set of linguistic statements of likelihood. Each calculus is defined by specifying a negation, a conjunction and a disjunction operator. Families of Triangular norms and conorms constitute the most general representations of conjunction and disjunction operators. These families provide us with a formalism for defining an infinite number of different calculi of uncertainty. The term set will define the uncertainty granularity, i.e. the finest level of distinction among different quantifications of uncertainty. This granularity will limit the ability to differentiate between two similar operators. Therefore, only a small finite subset of the infinite number of calculi will produce notably different results. This result is illustrated by two experiments where nine and eleven different calculi of uncertainty are used with three term sets containing five, nine, and thirteen elements, respectively. Finally, the use of context dependent rule set is proposed to select the most appropriate calculus for any given situation. Such a rule set will be relatively small since it must only describe the selection policies for a small number of calculi (resulting from the analyzed trade-off between complexity and precision).
Generalizing Fuzzy Logic Probabilistic Inferences
Linear representations for a subclass of boolean symmetric functions selected by a parity condition are shown to constitute a generalization of the linear constraints on probabilities introduced by Boole. These linear constraints are necessary to compute probabilities of events with relations between the. arbitrarily specified with propositional calculus boolean formulas.
Comparing Expert Systems Built Using Different Uncertain Inference Systems
Vaughan, David S., Perrin, Bruce M., Yadrick, Robert M.
This study compares the inherent intuitiveness or usability of the most prominent methods for managing uncertainty in expert systems, including those of EMYCIN, PROSPECTOR, Dempster-Shafer theory, fuzzy set theory, simplified probability theory (assuming marginal independence), and linear regression using probability estimates. Participants in the study gained experience in a simple, hypothetical problem domain through a series of learning trials. They were then randomly assigned to develop an expert system using one of the six Uncertain Inference Systems (UISs) listed above. Performance of the resulting systems was then compared. The results indicate that the systems based on the PROSPECTOR and EMYCIN models were significantly less accurate for certain types of problems compared to systems based on the other UISs. Possible reasons for these differences are discussed.
A VLSI Design and Implementation for a Real-Time Approximate Reasoning
Togai, Masaki, Watanabe, Hiroyuki
The role of inferencing with uncertainty is becoming more important in rule-based expert systems (ES), since knowledge given by a human expert is often uncertain or imprecise. We have succeeded in designing a VLSI chip which can perform an entire inference process based on fuzzy logic. The design of the VLSI fuzzy inference engine emphasizes simplicity, extensibility, and efficiency (operational speed and layout area). It is fabricated in 2.5 um CMOS technology. The inference engine consists of three major components; a rule set memory, an inference processor, and a controller. In this implementation, a rule set memory is realized by a read only memory (ROM). The controller consists of two counters. In the inference processor, one data path is laid out for each rule. The number of the inference rule can be increased adding more data paths to the inference processor. All rules are executed in parallel, but each rule is processed serially. The logical structure of fuzzy inference proposed in the current paper maps nicely onto the VLSI structure. A two-phase nonoverlapping clocking scheme is used. Timing tests indicate that the inference engine can operate at approximately 20.8 MHz. This translates to an execution speed of approximately 80,000 Fuzzy Logical Inferences Per Second (FLIPS), and indicates that the inference engine is suitable for a demanding real-time application. The potential applications include decision-making in the area of command and control for intelligent robot systems, process control, missile and aircraft guidance, and other high performance machines.