Algoritmo Q-learning como estratégia de exploração e/ou explotação para metaheurísticas GRASP e algoritmo genético

Techniques of optimization known as metaheuristics have achieved success in the resolution of many problems classified as NP-Hard. These methods use non deterministic approaches that reach very good solutions which, however, don t guarantee the determination of the global optimum. Beyond the inherent difficulties related to the complexity that characterizes the optimization problems, the metaheuristics still face the dilemma of xploration/exploitation, which consists of choosing between a greedy search and a wider exploration of the solution space. A way to guide such algorithms during the searching of better solutions is supplying them with more knowledge of the problem through the use of a intelligent agent, able to recognize promising regions and also identify when they should diversify the direction of the search. This way, this work proposes the use of Reinforcement Learning technique - Q-learning Algorithm - as exploration/exploitation strategy for the metaheuristics GRASP (Greedy Randomized Adaptive Search Procedure) and Genetic Algorithm. The GRASP metaheuristic uses Q-learning instead of the traditional greedy-random algorithm in the construction phase. This replacement has the purpose of improving the quality of the initial solutions that are used in the local search phase of the GRASP, and also provides for the metaheuristic an adaptive memory mechanism that allows the reuse of good previous decisions and also avoids the repetition of bad decisions. In the Genetic Algorithm, the Q-learning algorithm was used to generate an initial population of high fitness, and after a determined number of generations, where the rate of diversity of the population is less than a certain limit L, it also was applied to supply one of the parents to be used in the genetic crossover operator. Another significant change in the hybrid genetic algorithm is the proposal of a mutually interactive cooperation process between the genetic operators and the Q-learning algorithm. In this interactive/cooperative process, the Q-learning algorithm receives an additional update in the matrix of Q-values based on the current best solution of the Genetic Algorithm. The computational experiments presented in this thesis compares the results obtained with the implementation of traditional versions of GRASP metaheuristic and Genetic Algorithm, with those obtained using the proposed hybrid methods. Both algorithms had been applied successfully to the symmetrical Traveling Salesman Problem, which was modeled as a Markov decision process

A satisfação e a intenção de continuidade de uso em servços de e-learning:validação empírica de um modelo aplicado no serviço público

The present study aims to investigate the constructs of Technological Readiness Index (TRI) and the Expectancy Disconfirmation Theory (EDT) as determinants of satisfaction and continuance intention use in e-learning services. Is proposed a theoretical model that seeks to measure the phenomenon suited to the needs of public organizations that offer distance learning course with the use of virtual platforms for employees. The research was conducted from a quantitative analytical approach, via online survey in a sample of 343 employees of 2 public organizations in RN who have had e-learning experience. The strategy of data analysis used multivariate analysis techniques, including structural equation modeling (SEM), operationalized by AMOS© software. The results showed that quality, quality disconfirmation, value and value disconfirmation positively impact on satisfaction, as well as disconfirmation usability, innovativeness and optimism. Likewise, satisfaction proved to be decisive for the purpose of continuance intention use. In addition, technological readiness and performance are strongly related. Based on the structural model found by the study, public organizations can implement e-learning services for employees focusing on improving learning and improving skills practiced in the organizational environment

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

A satisfação e a intenção de continuidade de uso em servços de e-learning:validação empírica de um modelo aplicado no serviço público

The present study aims to investigate the constructs of Technological Readiness Index (TRI) and the Expectancy Disconfirmation Theory (EDT) as determinants of satisfaction and continuance intention use in e-learning services. Is proposed a theoretical model that seeks to measure the phenomenon suited to the needs of public organizations that offer distance learning course with the use of virtual platforms for employees. The research was conducted from a quantitative analytical approach, via online survey in a sample of 343 employees of 2 public organizations in RN who have had e-learning experience. The strategy of data analysis used multivariate analysis techniques, including structural equation modeling (SEM), operationalized by AMOS© software. The results showed that quality, quality disconfirmation, value and value disconfirmation positively impact on satisfaction, as well as disconfirmation usability, innovativeness and optimism. Likewise, satisfaction proved to be decisive for the purpose of continuance intention use. In addition, technological readiness and performance are strongly related. Based on the structural model found by the study, public organizations can implement e-learning services for employees focusing on improving learning and improving skills practiced in the organizational environment