Argumentative systems in robots

Nowadays, the development of intelligent agents intends to be more refined, using improved architectures and reasoning mechanisms. Revise the beliefs of an agent is also an important subject, due to the consistency that agents should have about their knowledge. In this work we propose deliberative and argumentative agents using Lego Mindstorms robots, Argumentative NXT BDI-like Agents. These agents are built using the notions of the BDI model and they are capable to reason using the DeLP formalism. They update their knowledge base with their perceptions and revise it when necessary. Two variations are presented: the Single Argumentative NXT BDI-like Agent and the MAS Argumentative NXT BDI-like Agent.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics

Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Uma metodologia para modelagem e avaliação da dependabilidade de redes industriais sem fio

Ensuring the dependability requirements is essential for the industrial applications since faults may cause failures whose consequences result in economic losses, environmental damage or hurting people. Therefore, faced from the relevance of topic, this thesis proposes a methodology for the dependability evaluation of industrial wireless networks (WirelessHART, ISA100.11a, WIA-PA) on early design phase. However, the proposal can be easily adapted to maintenance and expansion stages of network. The proposal uses graph theory and fault tree formalism to create automatically an analytical model from a given wireless industrial network topology, where the dependability can be evaluated. The evaluation metrics supported are the reliability, availability, MTTF (mean time to failure), importance measures of devices, redundancy aspects and common cause failures. It must be emphasized that the proposal is independent of any tool to evaluate quantitatively the target metrics. However, due to validation issues it was used a tool widely accepted on academy for this purpose (SHARPE). In addition, an algorithm to generate the minimal cut sets, originally applied on graph theory, was adapted to fault tree formalism to guarantee the scalability of methodology in wireless industrial network environments (< 100 devices). Finally, the proposed methodology was validate from typical scenarios found in industrial environments, as star, line, cluster and mesh topologies. It was also evaluated scenarios with common cause failures and best practices to guide the design of an industrial wireless network. For guarantee scalability requirements, it was analyzed the performance of methodology in different scenarios where the results shown the applicability of proposal for networks typically found in industrial environments

Um estudo de metamaterial em antenas de microfita

Metamaterials have attracted a great attention in recent years mostly due to their electromagnetic properties not found in nature. Since metamaterials began to be synthesized by the insertion of artificially manufactured inclusions in a medium specified host , it provides the researcher a broad collection of independent parameters such as the electromagnetic properties of the material host. In this work was presents an investigation of the unique properties of Split Ring Resonators and compounds metamaterials was performed. We presents a theoretical and numerical analysis , using the full-wave formalism by applying the Transverse Transmission Line - LTT method for the radiation characteristics of a rectangular microstrip antenna using metamaterial substrate, as is successfully demonstrated the practical use of these structures in antennas. We experimentally confirmed that composite metamaterial can improved the performance of the structures considered in this thesis

A etnomatemática dos trabalhadores das cerâmicas de Russas-Ce e o contexto escolar: delineando recomendações pedagógicas a partir de uma experiência educacional

It is still common among contemporary educational proposals an overemphasis abstraction, to the formalism and symbolism of mathematical knowledge at the expense of the sociocultural aspects of Mathematics. Coming up by questioning some academic mathematical tenets and valuing knowledge developed in different sociocultural contexts within Mathematical Education, the Ethnomatematics is consolidating itself as a research field. Despite its contributions to the educational context, because its philosophical character and the paucity of debates about the subject, the implementation of educational proposals for basic education are scarce. Given this situation, this dissertation comes up with a view to develop an educational intervention in the light of Ethnomathematics in a class of 6th grade of an elementary school from a red ceramic industries workers community, located in a countryside from Russas-CE and from this intervention, to develop a set of pedagogical recommendations aiming basic education teachers. Adopting a perspective of qualitative research, particularly guided by action research, this study used observation, field diary, interviews and activities with students as tools for data collection. It was found that the use of field research as part of teaching and learning favored the placement of students as critical subjects of their own reality . Furthermore, the educational experience culminated in the development of a method of teaching based on a relationship between protocooperational Ethnomatematics and the Resolution of Problems. It is necessary to broaden the debate about the ways in which the Ethnomatematics can contribute to the school context, bringing proposals closer to the reality of basic education teachers in order to help the promotion of an education which values cultural diversity without taking away the students from the access of the academic knowledge

O império do desentendimento humano: representações da realidade em textos de dalton trevisan

This work has the general proposal of studying the composition of the trevisanian fictional universe, the aesthetic expression engineered to formulate this universe, and last, the representations of reality that emanates from this aesthetic-narrative construction. It seemed to us, however, that it would be impossible to cover, even superficially, so vast and voluminous set of texts as the trevisanian. Therefore, so that we could accomplish this task, and still do it in a way that was, at the same time, plausible and thorough, it was necessary an objective cut within that library. Then we selected a book, representative of the whole trevisanian work, which served as the object of study: Cemitério de Elefantes, 1964, one of the first books of short stories by this author. Within this one, we focused even more our sight, then moving towards what we call a reality forked in paralytic world and world in violence . Supported by the theories and methodologies of Auerbach (2011), Candido (2002, 2006), Adorno (2003), Gennete (1995), Friedman (2002), and still moved by the spirit of Russian Formalism (1973), we built our criticism. Our approach was based then in three steps: first we are dedicated to comment the general context of the trevisanian work, supported strongly by reading two of the biggest critics of his literature, Miguel Sanches Neto and Berta Waldman, secondly, we turn us to comment on the detailed formal construction of language and narrative elements of the trevisanian prose; finally we raised our criticism to the level of reading representations of reality, and then we started to comment the construction of the trevisanian fictional universe, focusing in splitting this universe in paralytic world and world in violence

Uma (re)leitura teleológica da filosofia moral em Kant : por uma necessidade de inclusão do homem na natureza

Made from the bases of metaphysics, this dissertation is related do Kant‟s moral philosophy. But the itinerary to reach the main speculation used to develop this current understanding of Kant‟s thoughts, it is nothing but an attempt to make the formal rigor more flexible, which has always been associated to Kantian ethics‟ perspectives. From the awareness of what this formalism could be, while a moral arrangement, it is how we will be able to come upon a teleological Kant. That is the fundamental element to comprehend some of the significant aspects in that ethical system, which necessarily comes through the effort to demonstrate the proximity between reason and sensibility, as well as nature and liberty. In this environment, the journey to achieve the autonomy, as the bedrock of liberty and morality, evokes the support of education in Kantian patterns, which enables a course of improvement of the human being, as an individual e, more significantly, as specie. This evolution progress, which tents to reveal the destiny of the humanity, is evolved in the relationship between necessity and finality, as a condition to make the structure of a project to humanity possible. We should mention that it is a rational, an educational and a moral project to be developed in the course of history. As a consequence, the amount of all these elements permits the development of the man‟s natural disposition as a creature that looks for self knowledge , becoming, afterward, dignified to be qualified as a human being. Finally, this study intent to figure out the necessity of the human being inclusion to nature, which happens throughout the acquirement of the individuals‟ conscience

Percolação convencional, percolação correlacionada e percolação por invasão num suporte multifractal

In this work we have studied the problem of percolation in a multifractal geometric support, in its different versions, and we have analysed the conection between this problem and the standard percolation and also the connection with the critical phenomena formalism. The projection of the multifractal structure into the subjacent regular lattice allows to map the problem of random percolation in the multifractal lattice into the problem of correlated percolation in the regular lattice. Also we have investigated the critical behavior of the invasion percolation model in this type of environment. We have discussed get the finite size effects

Propriedades física de molécilas orgânicas e compostos do tipo perovskita CdSiO3 e CaPbO3

In the first part of this work our concern was to investigate the thermal effects in organic crystals using the theory of the polarons. To analyse such effect, we used the Fröhlich s Hamiltonian, that describes the dynamics of the polarons, using a treatment based on the quantum mechanics, to elucidate the electron-phonon interaction. Many are the forms to analyzing the polaronic phenomenon. However, the measure of the dielectric function can supply important information about the small polarons hopping process. Besides, the dielectric function measures the answer to an applied external electric field, and it is an important tool for the understanding of the many-body effects in the normal state of a polaronic system. We calculate the dielectric function and its dependence on temperature using the Hartree-Fock decoupling method. The dieletric function s dependence on the temperature is depicted by through a 3D graph. We also analyzed the so called Arrhenius resistivity, as a functionof the temperature, which is an important tool to characterize the conductivity of an organic molecule. In the second part we analyzed two perovskita type crystalline oxides, namely the cadmium silicate triclinic (CdSiO3) and the calcium plumbate orthorhombic (CaPbO3), respectively. These materials are normally denominated ABO3 and they have been especially investigated for displaying ferroelectric, piezoelectric, dielectrics, semiconductors and superconductors properties. We found our results through ab initio method within the functional density theory (DFT) in the GGA-PBE and LDA-CAPZ approximations. After the geometry optimization for the two structure using the in two approximations, we found the structure parameters and compared them with the experimental data. We still determined further the angles of connection for the two analyzed cases. Soon after the convergence of the energy, we determined their band structures, fundamental information to characterize the nature of the material, as well as their dielectrics functions, optical absorption, partial density of states and effective masses of electrons and holes

Teoria cinética não extensiva: efeitos físicos em gases e plasmas

The standard kinetic theory for a nonrelativistic diluted gas is generalized in the spirit of the nonextensive statistic distribution introduced by Tsallis. The new formalism depends on an arbitrary q parameter measuring the degree of nonextensivity. In the limit q = 1, the extensive Maxwell-Boltzmann theory is recovered. Starting from a purely kinetic deduction of the velocity q-distribution function, the Boltzmann H-teorem is generalized for including the possibility of nonextensive out of equilibrium effects. Based on this investigation, it is proved that Tsallis' distribution is the necessary and sufficient condition defining a thermodynamic equilibrium state in the nonextensive context. This result follows naturally from the generalized transport equation and also from the extended H-theorem. Two physical applications of the nonextensive effects have been considered. Closed analytic expressions were obtained for the Doppler broadening of spectral lines from an excited gas, as well as, for the dispersion relations describing the eletrostatic oscillations in a diluted electronic plasma. In the later case, a comparison with the experimental results strongly suggests a Tsallis distribution with the q parameter smaller than unity. A complementary study is related to the thermodynamic behavior of a relativistic imperfect simple fluid. Using nonequilibrium thermodynamics, we show how the basic primary variables, namely: the energy momentum tensor, the particle and entropy fluxes depend on the several dissipative processes present in the fluid. The temperature variation law for this moving imperfect fluid is also obtained, and the Eckart and Landau-Lifshitz formulations are recovered as particular cases

Excitações em cristais fotônicos unidimensionais

In this work, we present a theoretical study of the propagation of electromagnetic waves in multilayer structures called Photonic Crystals. For this purpose, we investigate the phonon-polariton band gaps in periodic and quasi-periodic (Fibonacci-type) multilayers made up of both positive and negative refractive index materials in the terahertz (THz) region. The behavior of the polaritonic band gaps as a function of the multilayer period is investigated systematically. We use a theoretical model based on the formalism of transfer matrix in order to simplify the algebra involved in obtaining the dispersion relation of phonon-polaritons (bulk and surface modes). We also present a quantitative analysis of the results, pointing out the distribution of the allowed polaritonic bandwidths for high Fibonacci generations, which gives good insight about their localization and power laws. We calculate the emittance spectrum of the electromagnetic radiation, in THZ frequency, normally and obliquely incident (s and p polarized modes) on a one-dimensional multilayer structure composed of positive and negative refractive index materials organized periodically and quasi-periodically. We model the negative refractive index material by a effective medium whose electric permittivity is characterized by a phonon-polariton frequency dependent dielectric function, while for the magnetic permeability we have a Drude like frequency-dependent function. Similarity to the one-dimensional photonic crystal, this layered effective medium, called polaritonic Crystals, allow us the control of the electromagnetic propagation, generating regions named polaritonic bandgap. The emittance spectra are determined by means of a well known theoretical model based on Kirchoff s second law, together with a transfer matrix formalism. Our results shows that the omnidirectional band gaps will appear in the THz regime, in a well defined interval, that are independent of polarization in periodic case as well as in quasiperiodic case

Ondas de spin em quasi-cristais magnônicos

In this paper we investigate the spectra of band structures and transmittance in magnonic quasicrystals that exhibit the so-called deterministic disorders, specifically, magnetic multilayer systems, which are built obeying to the generalized Fibonacci (only golden mean (GM), silver mean (SM), bronze mean (BM), copper mean (CM) and nickel mean (NM) cases) and k-component Fibonacci substitutional sequences. The theoretical model is based on the Heisenberg Hamiltonian in the exchange regime, together with the powerful transfer matrix method, and taking into account the RPA approximation. The magnetic materials considered are simple cubic ferromagnets. Our main interest in this study is to investigate the effects of quasiperiodicity on the physical properties of the systems mentioned by analyzing the behavior of spin wave propagation through the dispersion and transmission spectra of these structures. Among of these results we detach: (i) the fragmentation of the bulk bands, which in the limit of high generations, become a Cantor set, and the presence of the mig-gap frequency in the spin waves transmission, for generalized Fibonacci sequence, and (ii) the strong dependence of the magnonic band gap with respect to the parameters k, which determines the amount of different magnetic materials are present in quasicrystal, and n, which is the generation number of the sequence k-component Fibonacci. In this last case, we have verified that the system presents a magnonic band gap, whose width and frequency region can be controlled by varying k and n. In the exchange regime, the spin waves propagate with frequency of the order of a few tens of terahertz (THz). Therefore, from a experimental and technological point of view, the magnonic quasicrystals can be used as carriers or processors of informations, and the magnon (the quantum spin wave) is responsible for this transport and processing

Aplicações da q-Álgebra em física da matéria condensada

We address the generalization of thermodynamic quantity q-deformed by q-algebra that describes a general algebra for bosons and fermions . The motivation for our study stems from an interest to strengthen our initial ideas, and a possible experimental application. On our journey, we met a generalization of the recently proposed formalism of the q-calculus, which is the application of a generalized sequence described by two parameters deformation positive real independent and q1 and q2, known for Fibonacci oscillators . We apply the wellknown problem of Landau diamagnetism immersed in a space D-dimensional, which still generates good discussions by its nature, and dependence with the number of dimensions D, enables us future extend its application to systems extra-dimensional, such as Modern Cosmology, Particle Physics and String Theory. We compare our results with some experimentally obtained performing major equity. We also use the formalism of the oscillators to Einstein and Debye solid, strengthening the interpretation of the q-deformation acting as a factor of disturbance or impurity in a given system, modifying the properties of the same. Our results show that the insertion of two parameters of disorder, allowed a wider range of adjustment , i.e., enabling change only the desired property, e.g., the thermal conductivity of a same element without the waste essence