Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

Lógica BDI fuzzy

Intendding to understand how the human mind operates, some philosophers and psycologists began to study about rationality. Theories were built from those studies and nowadays that interest have been extended to many other areas such as computing engineering and computing science, but with a minimal distinction at its goal: to understand the mind operational proccess and apply it on agents modelling to become possible the implementation (of softwares or hardwares) with the agent-oriented paradigm where agents are able to deliberate their own plans of actions. In computing science, the sub-area of multiagents systems has progressed using several works concerning artificial intelligence, computational logic, distributed systems, games theory and even philosophy and psycology. This present work hopes to show how it can be get a logical formalisation extention of a rational agents architecture model called BDI (based in a philosophic Bratman s Theory) in which agents are capable to deliberate actions from its beliefs, desires and intentions. The formalisation of this model is called BDI logic and it is a modal logic (in general it is a branching time logic) with three access relations: B, D and I. And here, it will show two possible extentions that tranform BDI logic in a modal-fuzzy logic where the formulae and the access relations can be evaluated by values from the interval [0,1]

Da atividade dialógica: aspectos lógicos

CRUZ, Ângela M. P.; Lycurgo, Tassos. Da atividade dialógica: aspectos lógicos. Revista Vivência, Natal, v. 26, p. 51-58, 2004.

Relações entre perfil de valores e perfil de uso da tecnologia: Um estudo com os docentes que atuam na modalidade presencial e/ou no ensino a distância

O advento das novas tecnologias e a dinamicidade das mudanças que estas provocam, impactam diretamente em vários aspectos da sociedade, dentre estes, na educação. Novas metodologias e mudanças no processo de ensino-aprendizagem tornam-se práticas cada vez mais frequentes neste campo. O elemento basilar desta nova constituição é o docente, capaz de transformar a utilização desses recursos em ferramentas que favoreçam o processo educativo. Essa readequação do comportamento exigida por essas constantes mudanças é orientada pelos valores pessoais dos sujeitos que vivenciam a situação. Os valores são idealizados como critérios que interferem diretamente nas atitudes, preferências e até mesmo no comportamento humano, influenciando no modo como o indivíduo interpreta as suas próprias atitudes e as dos outros, inclusive no âmbito profissional. Dessa forma, o objetivo geral da presente pesquisa é analisar as relações entre o perfil de uso da tecnologia e os valores dos docentes da UFRN Universidade Federal do Rio Grande do Norte, baseado na escala de valores de Schwartz. Para isso foram utilizados os tipos motivacionais que compõem a teoria de valores de Schwartz, através de questionário aplicado junto aos docentes. Trata-se de uma pesquisa de enfoque analítico quantitativo que utiliza um questionário da escala de valores desenvolvida por Schwartz et al. (2001) conhecida como PVQ (Portrait Values Questionnaire). A pesquisa foi desenvolvida a partir de uma amostra de 200 docentes entre atuantes da modalidade presencial e/ou na modalidade de ensino a distância. A estratégia de análise dos dados utilizou técnicas de estatística descritiva, análise de gráficos, análise das frequências relativas e a técnica estatística MANOVA (Análise Multivariada de Variância). Os resultados apontaram que os docentes utilizam moderadamente os recursos tecnológicos avaliados nesta pesquisa, como ferramenta de apoio pedagógico. Com relação ao perfil de valores, os docentes apresentaram prioridade entre os tipos motivacionais Autodeterminação, Benevolência e Universalismo, enquanto os menos priorizados foram os de Tradição, Realização e Poder, respectivamente. Contudo, não foram identificadas relações significativas entre o perfil de valores e o perfil de uso da tecnologia entre os docentes estudados nesta pesquisa

Redes sociais e a lógica do desvio comportamental em relação às normas de trabalho

This paper aim to check a hypothesis that assumes several behaviors related to social work norm´s obeying as a phenomenon that can be explained by actor´s social network structure and the rational choice processes related to the social norm inside that network, principally the payoff´s analysis received by the closest actors, or neighbors, at a social situation. Taking the sociological paradigm of rational action theory as a basis, the focus is on a debate about the logic of social norms, from Émile Durkheim´s method to Jon Elster´s theory, but also including social network analysis´s variables according to Robert Hanneman; and also Vilfredo Pareto´s constants related to human sociability, at the aim to detect elements that can help the scholars to develop an agent based model which could explain the sociological problem of deviance by a better way than the common sense´s view about morality and ethics at a social work environment

O incesto : discurso e ideologia

This research had as purpose to establish the logic symbolic present in the contemporary society that facilitated the emergency of a public speech on the incest, and, consequently, to demonstrate the ideological nature that structures it. Event associated to the order of the taboo, the incest would be the transgression of the injunction that, second Lévi-Strauss, facilitated the emergency of the Culture while symbolic order, differentiated of the natural order. The injunction of the incest would reveal the elementary and universal structures of the order symbolic presents in the human societies: the demand of the Rule as rule; the reciprocity and the gift, present element in the social changes that it transforms the individuals in partners, increasing a new quality in the transferred value, according to Lévi-Strauss. Starting from this, I developed the hypothesis second which the phenomenon of the alone incest became an event of discursive order and public as right social transformations affected the normative system (social representations, values, moral) regulator of the relationships among the social subjects, being reflected like this, in the own structuring of the Law. A second work hypothesis was developed starting from that. I develop it leaving of the argument that if when inserting the discussion of the thematic of the defense of the children and adolescent rights, being then, considering it while "privileged modality of sexual abuse against children", the present central subjects in the structuring of the social entail would be leaved. Being like this, the partner-institutional speech on the incest would answer the social demands of order and social control, becoming like this, discursive formations of ideological character. This research work tried to follow the hypothesis above referred, demonstrating the singular sense that it will be attributed to the incest in the contemporary society, particularly, its relationship with the Law and the transgression in the contemporary society

Um estudo sobre as origens da Lógica Matemáitca

The present study has as objective to explaining about the origins of the mathematical logic. This has its beginning attributed to the autodidactic English mathematician George Boole (1815-1864), especially because his books The Mathematical Analysis of Logic (1847) and An Investigation of the Laws of Thought (1854) are recognized as the inaugural works of the referred branch. However, surprisingly, in the same time another mathematician called Augutus of Morgan (1806-1871) it also published a book, entitled Formal Logic (1847), in defense of the mathematic logic. Even so, times later on this same century, another work named Elements of Logic (1875) it appeared evidencing the Aristotelian logic with Richard Whately (1787-1863), considered the better Aristotelian logical of that time. This way, our research, permeated by the history of the mathematics, it intends to study the logic produced by these submerged personages in the golden age of the mathematics (19th century) to we compare the valid systems in referred period and we clarify the origins of the mathematical logic. For that we looked for to delineate the panorama historical wrapper of this study. We described, shortly, biographical considerations about these three representatives of the logic of the 19th century formed an alliance with the exhibition of their point of view as for the logic to the light of the works mentioned above. In this sense, we aspirated to present considerations about what effective Aristotelian´s logic existed in the period of Boole and De Morgan comparing it with the new emerging logic (the mathematical logic). Besides of this, before the textual analysis of the works mentioned above, we still looked for to confront the systems of Boole and De Morgan for we arrive to the reason because the Boole´s system was considered better and more efficient. Separate of this preponderance we longed to study the flaws verified in the logical system of Boole front to their contemporaries' production, verifying, for example, if they repeated or not. We concluded that the origins of the mathematical logic is in the works of logic of George Boole, because, in them, has the presentation of a new logic, matematizada for the laws of the thought similar to the one of the arithmetic, while De Morgan, in your work, expand the Aristotelian logic, but it was still arrested to her

Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense

Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alice s Adventures In Wonderland and its sequel Alice Through The Looking Glass, he eventually created a real and complex universe which uses what we call the logic of the nonsense as an element to motivate the development of mathematical thinking of the reader, taking it as well, learn by establishing a link between the concrete (mathematics) and the imaginary (their universe). In order to investigate and discuss the educational potential of their works and state some elements that can contribute to a decentralized math education from the traditional method of following the models and decorate formulas, we visited his works based on the studies of archeology of knowledge (FOUCAULT, 2007), the rational thought and symbolic thinking (VERGANI, 2003) and about the importance of stories and narratives to the development of human cognition (FARIAS, 2006). Through a descriptive, analytical study, we used the literary construction and presented part of our study in form of a mathematical novel, to give the mathematical school a particular charm, without depriving it of its basics properties as discipline and content. Our study showed how the works of Carroll have a strong didactic element that can deploy in various activities of study and teaching for mathematics classes

O processo avaliativo institucional de desempenho do sistema público municipal de Teresina-PI (2001 a 2005): entre a lógica da excelência e a lógica da aprendizagem

This work focalize the institutional and educational evaluation, aiming to investigate the Municipal System Institutional Evaluation Performance of Teresina City Piauí (2001-2005), and to reflect about Institutional System Performance and its contribution to compose a new learning evaluation practice. In this sense, classifies elements about the evaluation practice in two Elementary Education municipal public schools, involving Education Municipal Bureau technicians as managers, pedagogues, teachers and students. Based on the ethnographic studies principles in the educational area, the work employs investigative procedures like document analysis, interviews with groups and individuals and also participator s comments. Intending to comprehend the complexity produced by the institutional and education evaluation processes, the wok reveals the Institutional Evaluation legal and educational political basis and the several positions assumed by the Learning Evaluation, as a classification tool or as a learning enhancement. This work points, as results, to a evaluation culture bipolarity carried out by the Municipal Education System as a explicit control and regulation toll, related to the classification and learning in a interaction process that operates both in the pressure and the reflection, as a culture practice established between excellence of logic and learning. The evaluation history has been construct on the evaluation actions dialectics, joint simultaneously between the Institutional Evaluation Performance and the learning evaluation. The senses, meanings and actions bipolarity is a interaction process product sustained between the institutional evaluation, under the scholar ranking application, and the learning evaluation. In this relativity, the teacher evaluation practice is found, ruled by interesting, thoughts and actions on the school evaluation, allowing a higher security and support to the learning results. Grounded in the researched reality, its possible to say that the teacher s evaluation practice is diversified, with different characteristics, when it is done in the learning search and in the learning intention. In the first case, reflects, rearranges and constructs new actions that lead the student to produce learning. In the second, shows the will, the wish of learning, but is a weak action, producing a not really significant learning and development; as a result, remains the mark approach as a determinant in the student future. The work s hope is to contribute not just to rethink these two evaluations dimensions the institutional and the learning ones but also to organize the school and to improve the pedagogic process

Iconografia humorística no ensino de História :modalidade de uso na sala de aula

Plongés dans le temps présent, les dessins humoristiques, par la capacité de représenter, de suggérer et de communiquer une idée, marquent présence à l école et dans la salle de classe. Caractérisés par l utilisation d éléments comiques, satiriques et irôniques, outre la nature persuasive, ces dessins possibilitent le lecteur de faire une lecture critique des événements sociaux et politiques de notre société. En tant que langage visuel, structuré dans les formes verbale et icônique, de même que par le caractère analogique de représentation, les dessins humoristiques constituent un excellent recours pédagogique. Toutefois, ils sont longtemps restés inaperçus par l école et, seul récemment, ils sont devenus objet d investigation de la part des historiens. Dans ce sens, nous nous sommes proposés, dans cette étude, à analyser l utilisation de ces dessins par les professeurs d histoire des écoles publiques nommées Centros Paraibanos de Educação Solidária (CEPES), de João Pessoa, capitale de l Etat de Paraíba, en vue d appréhender et de discuter la façon dont ces professeurs font usage de ces dessins dans leur pratique pédagogique. Par le moyen des actions des professeurs, conçues comme des arts de faire, selon Certeau, et par l identification des usages qui se caractérisent comme des tactiques, nous avons essayé de percevoir comment se réalise le rapport humour et histoire, en salle de classe. La systématisation, la catégorisation et la narration des pratiques pédagogiques observées ont été réalisées par l analyse des questionnaires et des interviews appliqués aux professeurs et élèves, ainsi qu à l observation des classes. Notre recherche s est fondée sur les théories de Roger Chartier et Michel de Certeau, dont les concepts de représentation et d appropriation, d usages et de tactiques nous ont aidé à comprendre la forme par laquelle les sujets incorporés au quotidien de la salle de classe se sont appropriés de la dimension imagétique à travers l humour. A partir des concepts d usage et d appropriation nous avons identifié dans les actions et les parlers, la façon dont les dessins humoristiques sont travaillés par les professeurs. Conçus comme des registres visuels qui relatent des questions sociales, politiques et économiques, ces dessins sont perçus comme des registres visuels qui relatent des questions sociales, politiques et économiques, identifant, ainsi, les adversités du présent, dans le monde social

O Evangelho segundo a Pastoral da Criança :por uma pedagogia da sobrevivência

This work aims to analyze social and educational actions at Pastoral da Criança, using education as a survival tool. This was done at Parque dos Coqueiros, a neighborhood in Natal, Rio Grande do Norte. The methodology for data collection was composed of comprehensive interview (Jean Kaufmann), participant observation (Robert Bogdan) and documental analysis (Le Goff); all os which bring reflections related to concepts such as strategies, tatics and know how (Michel de Certeau), configuration (Nobert Elias), and control technology (Michel de Foucault), care ethics (Leonardo Boff) and etno-theories (Natália Ramos). Pastoral da Criança is a social action organism that belongs to the National Conference of Bishops of Brazil, originated at Florestópolis, Londrina (Paraná), in the year of 1983. These actions have been an expression of a new logic of actions of the Catholic Church. It values the participation of laymen in the activities of the Pastoral. Thus, the parish is seen as a nucleus that irradiates the Church s Social Doctrine. At Rio Grande do Norte this institution has guided poverty stricken families on issues related to children s health as well as working with laymen for volunteer work. This is considered devotion, that is firmed by an individual and group mystique. The social and educational actions are done in three axes: 1) Monthly home visits, where there is mother-child support; 2) Life Celebration Day, where they weigh children and promote nutritional surveillance; 3) Meeting for Evaluation and Reflection, that aims to articulate community leaders to think about problems attached to the social actions they realize. This action tripod , as it is called by the Pastoral Agents are the types of actions that fundament survival education for poor children ranging from 0 to 6 years old. The families learn to deal with prevention, the essential, the alternative and probabilities of survival tactics due to exclusion matters or even social extermination. The Pastoral da Criança aims to recover childhood emotions in poverty stricken areas. It also has influence in the diminishing of malnutrition and mother and child mortality. This education for survival is the base on the art of teaching and learning of poverty stricken children. It is a social educational action, non assistencialist, but considered a shy action in order to promote mobilization of the communities that are accompanied for the emancipation and change of social conditions

Revelações e contradições entre concepção e gestão do currículo em um curso técnico no IFRN, na modalidade de educação de jovens e adultos

This dissertation reports the results of a research which has aimed to analyze the senses attributed to the curriculum by the students of the Technical Course of Computation Maintenance and Support, organized through the Programme of Integration of the the Professional Education with the Basic Education in the Youngster and Adult Education Modality (PROEJA), at Instituto Federal do Rio Grande do Norte (IFRN), Campus Santa Cruz. It has been sought to know who the students are and to investigate their curriculum conceptions, on which the this investigation has been based on. Thus, those senses attributed by the students on their narratives have been compared to the official proposed curriculum for the Programme and to the curriculum implemented by IFRN. The current research follows the qualitative approach being led by a study case and life stories methods. In order to effective that approach, two data collecting instruments have been developed: questionnaires and semi structured interviews. The collected data has been complemented by the legal and institutional documents analysis. This study is derived from the presupposition that PROEJA s students, although are able to access school after the educational system restructuration, are still facing difficulties during their courses because of the excluding and traditional curriculum, decontextualized with their personal and work life, that is, without curriculum integration. This study has accomplished PROEJA s students characterization presenting important data for the integrated curriculum construction at IFRN and revealing that the students consider the Programme as inclusive. Nevertheless, the practices concerned to the democratic construction of the curriculum and its dialogical action indicate partial inclusion, considering that, in order to include those students indeed, it would be necessary to include them to the institutional and academic context. Contradictory situations have been detected on the course pedagogical project, considered traditional and decontextualized, especially regarding to methodological aspects. The research also allowed to increase PROEJA s investigation field as well as to contribute with a better implementation of the Programme as curricular proposal bonded to Basic and Professional Education in the Youngster and Adult Modality Education Modality

Algoritmos genéticos: uso de lógica nebulosa e análise de convergência por cadeia de Markov

In this work, the Markov chain will be the tool used in the modeling and analysis of convergence of the genetic algorithm, both the standard version as for the other versions that allows the genetic algorithm. In addition, we intend to compare the performance of the standard version with the fuzzy version, believing that this version gives the genetic algorithm a great ability to find a global optimum, own the global optimization algorithms. The choice of this algorithm is due to the fact that it has become, over the past thirty yares, one of the more importan tool used to find a solution of de optimization problem. This choice is due to its effectiveness in finding a good quality solution to the problem, considering that the knowledge of a good quality solution becomes acceptable given that there may not be another algorithm able to get the optimal solution for many of these problems. However, this algorithm can be set, taking into account, that it is not only dependent on how the problem is represented as but also some of the operators are defined, to the standard version of this, when the parameters are kept fixed, to their versions with variables parameters. Therefore to achieve good performance with the aforementioned algorithm is necessary that it has an adequate criterion in the choice of its parameters, especially the rate of mutation and crossover rate or even the size of the population. It is important to remember that those implementations in which parameters are kept fixed throughout the execution, the modeling algorithm by Markov chain results in a homogeneous chain and when it allows the variation of parameters during the execution, the Markov chain that models becomes be non - homogeneous. Therefore, in an attempt to improve the algorithm performance, few studies have tried to make the setting of the parameters through strategies that capture the intrinsic characteristics of the problem. These characteristics are extracted from the present state of execution, in order to identify and preserve a pattern related to a solution of good quality and at the same time that standard discarding of low quality. Strategies for feature extraction can either use precise techniques as fuzzy techniques, in the latter case being made through a fuzzy controller. A Markov chain is used for modeling and convergence analysis of the algorithm, both in its standard version as for the other. In order to evaluate the performance of a non-homogeneous algorithm tests will be applied to compare the standard fuzzy algorithm with the genetic algorithm, and the rate of change adjusted by a fuzzy controller. To do so, pick up optimization problems whose number of solutions varies exponentially with the number of variables

Automação da detecção de fraudes em sistemas de medição de energia elétrica utilizando lógica fuzzy em ambiente SCADA

This works presents a proposal to make automatic the identification of energy thefts in the meter systems through Fuzzy Logic and supervisory like SCADA. The solution we find by to collect datas from meters at customers units: voltage, current, power demand, angles conditions of phasors diagrams of voltages and currents, and taking these datas by fuzzy logic with expert knowledge into a fuzzy system. The parameters collected are computed by fuzzy logic, in engineering alghorithm, and the output shows to user if the customer researched may be consuming electrical energy without to pay for it, and these feedbacks have its own membership grades. The value of this solution is a need for reduce the losses that already sets more than twenty per cent. In such a way that it is an expert system that looks for decision make with assertivity, and it looks forward to find which problems there are on site and then it wont happen problems of relationship among the utility and the customer unit. The database of an electrical company was utilized and the datas from it were worked by the fuzzy proposal and algorithm developed and the result was confirmed

Lógica Fuzzy para Controle de pH em um Processo Petrolífero

This work proposes the design, the performance evaluation and a methodology for tuning the initial MFs parameters of output of a function based Takagi-Sugeno-Kang Fuzzy-PI controller to neutralize the pH in a stirred-tank reactor. The controller is designed to perform pH neutralization of industrial plants, mainly in units found in oil refineries where it is strongly required to mitigate uncertainties and nonlinearities. In addition, it adjusts the changes in pH regulating process, avoiding or reducing the need for retuning to maintain the desired performance. Based on the Hammerstein model, the system emulates a real plant that fits the changes in pH neutralization process of avoiding or reducing the need to retune. The controller performance is evaluated by overshoots, stabilization times, indices Integral of the Absolute Error (IAE) and Integral of the Absolute Value of the Error-weighted Time (ITAE), and using a metric developed by that takes into account both the error information and the control signal. The Fuzzy-PI controller is compared with PI and gain schedule PI controllers previously used in the testing plant, whose results can be found in the literature.