54 resultados para Lógica de predicados
Resumo:
Trabalho exploratório visando detectar a existência de uma lógica simbólica na medicina popular (fitoterapia).
Resumo:
The National Program for Strengthening Family Agriculture (Pronaf) has included family farmers into the scope of public policies, by following the trends of policies from the 1990s to democratize access to financial resources. Sustainability has been put into the program. In this study, the overall purpose was analyze the objectives of Pronaf, in the context of economic development. We found out that Pronaf would not allow evaluating the relation among activities conducted and results obtained by the program. Thus, it would be inconsistent. Besides analyzing official documents, other specific objectives were to analyze the consistency of Pronaf and, in case of inconsistency, propose a logical framework matrix. No project was found, only the legislation. The analyse of the latter does not allow filling the matrix and this indicates an inconsistency. A full matrix was proposed.
Resumo:
Pós-graduação em Engenharia Elétrica - FEIS
Resumo:
Pós-graduação em Ciências Cartográficas - FCT
Resumo:
The information retrieval process involves subjective, imprecise and vague concepts, such as "information need", "relevance", and the very concept of "information". The main information retrieval models treat these concepts accurately, represented by a single numerical value. The fuzzy logic, while operating with the uncertainty of natural phenomena in a systematic and rigorous manner, represents a promising alternative to solve some problems related to information retrieval. This paper presents the fuzzy logic and some examples of its use in information retrieval systems (IRS).
Resumo:
The present work develops a model to simulate the dynamics of a quadcopter being controlled by a PD fuzzy controller. Initially is presented a brief history of quadcopters an introduction to fuzzy logic and fuzzy control systems. Afterwards is presented an overview of the quadcopter dynamics and the mathematical modelling development applying Newton-Euler method. Then the modelling are implemented in a Simulink model in addition to a PD fuzzy controller. A prototype proposition is made, by describing each necessary component to build up a quadcopter. In the end the results from the simulators are discussed and compared due to the discrepancy between the model using ideal sensor and the model using non-ideal sensors
Resumo:
This work has as its aims to offer a general view on the teaching of logics in the basic education by means of different materials on the theme. There are highlighted considerations on academic works in the area of math education that claims the teaching of logics on basic education as a means of developing the reason and promote the learning. It is done a bibliographic review on works that approach the theory of formal logics that presents different ways of working the teaching of logics. The curricular proposition of São Paulo State for the Math area is analyzed and its characteristics are discussed. The learning evaluation in a large federal scale for the teaching of middle and basic education are detailed in its matrix of references and content approached in its editions searching the evidences of a logical reasoning worth. A portal M3 Multimedia math is presented in activities in video format for the teaching of logics. After an analyze of the references where the focus was related to the learning of Math by means of an approaching where logics acts as a tool. It is possible to consider that there is a relevant number of researches and publishing in the area of Math education that approaches the concepts of formal logics. There is also evidences of a changing in National and State orientations for a basic education that reflects in its didactics resources and evaluations in a large scale. Even though, we can face difficulties on implementation of these proposes that is pointed out by constant critics by teachers concerning the changes in the resources and cited evaluations by the resistance of a considerable percentage of teachers to adopt the didactics materials distributed by the State and by the low performance of students in Public Schools in tests of learning
Resumo:
In this work was developed a fuzzy computational model type-2 predictive interval, using the software of the type-2 fuzzy MATLAB toolbox, the final idea is to estimate the number of hospitalizations of patients with respiratory diseases. The interest in the creation of this model is to assist in decision makeshift hospital environment, where there are no medical or professional equipment available to provide the care that the population need. It began working with the study of fuzzy logic, the fuzzy inference system and fuzzy toolbox. Through a real database provided by the Departamento de Informática do Sistema Único de Saúde (DATASUS) and Companhia de Tecnologia de Saneamento Básico (CETESB), was possible to start the model. The analyzed database is composed of the number of patients admitted with respiratory diseases a day for the public hospital in São José dos Campos, during the year 2009 and by factors such as PM10, SO2, wind and humidity. These factors were analyzed as input variables and, through these, is possible to get the number of admissions a day, which is the output variable of the model. For data analysis we used the fuzzy control method type-2 Mamdani. In the following steps the performance developed in this work was compared with the performance of the same model using fuzzy logic type-1. Finally, the validity of the models was estimated by the ROC curve
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Pós-graduação em Psicologia - FCLAS
Resumo:
Pós-graduação em Matemática em Rede Nacional - IBILCE
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)