932 resultados para Classical logic
Resumo:
Pós-graduação em Economia - FCLAR
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
This paper refers to the design of an expert system that captures a waveform through the use of an accelerometer, processes the signal and converts it to the frequency domain using a Fast Fourier Transformer to then, using artificial intelligence techniques, specifically Fuzzy Reasoning, it determines if there is any failure present in the underlying mode of the equipment, such as imbalance, misalignment or bearing defects.
Resumo:
This article purposes the ARBot, a system that has as main objective the presentation of concepts of logic for students of elementary and secondary education. The system was developed using the technology known as Augmented Reality (AR), which allows complement the actual environment where the user is, by adding virtual objects. In this scenario the RA created from a virtual game interface is used, through which cognitive challenges are presented. To solve these challenges, users must set up three-dimensional virtual characters using visual language. As a result it follows that, in a playful way, concepts of algorithms and programming are assimilated by users. In addition, the system enables two users to interact in a cooperative game mode. In cooperative mode, the system focuses on collaborative learning, since it allows users to jointly solve the cognitive challenge presented by the system.
Resumo:
The fuzzy logic accepts infinite intermediate logical values between false and true. In view of this principle, a system based on fuzzy rules was established to provide the best management of Catasetum fimbriatum. For the input of the developed fuzzy system, temperature and shade variables were used, and for the output, the orchid vitality. The system may help orchid experts and amateurs to manage this species. ?Low? (L), ?Medium? (M) and ?High? (H) were used as linguistic variables. The objective of the study was to develop a system based on fuzzy rules to improve management of the Catasetum fimbriatum species, as its production presents some difficulties, and it offers high added value
Resumo:
Discutimos as implicações da noção de adaptação que é uma noção chave para a teoria da evolução clássica. Em lugar de obstinar-se em considerar os organismos como coleção de traços adaptados, propomos buscar estudar a evolução por meio de um quadro teórico onde prevalece uma outra ontologia que destaca o fato de que os organismos e as circunstâncias são totalmente integrados. A etapa preliminar necessária para esta reconsideração consiste em passar de uma lógica prescritiva para uma lógica proscritiva. Isto é, da idéia de que tudo que não é permitido, é proibido; à idéia que o que não é proibido, é permitido. Propomos que a idéia de que os sistemas vivos especificam o mundo no qual eles vivem pode modificar nossa maneira de encarar os processos adaptativos.
Resumo:
We derive general rigorous lower bounds for the average ground state energy per site e ((d)) of the quantum and classical Edwards-Anderson spin-glass model in dimensions d=2 and d=3 in the thermodynamic limit. For the classical model they imply that e ((2))a parts per thousand yena'3/2 and e ((3))a parts per thousand yena'2.204a <-.
Resumo:
Background: CAH patients have an increased risk of cardiovascular disease, and it remains unknown if lifelong glucocorticoid (GC) treatment is a contributing factor. In the general population, glucocorticoid receptor gene (NR3C1) polymorphisms are associated with an adverse metabolic profile. Our aim was to analyze the association between the NR3C1 polymorphisms and the metabolic profile of CAH patients. Methodology: Sixty-eight adult patients (34SV/34SW) with a mean age of 28.4 +/- 9 years received dexamethasone (mean 0.27 +/- 0.11 mg/day) to obtain normal androgen levels. SW patients also received fludrocortisone (50 mu g/day). Metabolic syndrome (MetS) was defined by the NCEP ATPIII criteria and obesity by BMI >= 30 kg/m(2). NR3C1 alleles were genotyped, and association analyses with phenotype were carried out with Chi-square, t-test and regression analysis. Results: Obesity and MetS were observed in 23.5% and 7.3% of patients, respectively, and were not correlated with GC doses and treatment duration. BMI was positively correlated with blood pressure (BP), triglycerides (TG), LDL-c levels and HOMA-IR and inversely correlated with HDL-c levels. BclI and A3669G variants were found in 26.4% and 9.6% of alleles, respectively. Heterozygotes for the BclI polymorphism presented with higher BMI (29 kg/m(2) +/- 5.3 vs. 26 kg/m(2) +/- 5.3, respectively) and waist circumference (89 cm +/- 12.7 vs. 81 cm +/- 13, respectively) compared to wild-type subjects. Hypertension was found in 12% of patients and heterozygotes for the BclI polymorphism presented higher systolic BP than wild type subjects. Low HDL-c and high TG levels were identified in 30% and 10% of patients, respectively, and were not associated with the NR3C1 polymorphisms. A3669G carriers and non-carriers did not differ. Conclusion: In addition to GC therapy, the BclI GR variant might play an important role in obesity susceptibility in CAH patients. Genotyping of GR polymorphisms could result in the identification of a subgroup at risk patients, allowing for the establishment of personalized treatment and the avoidance of long-term adverse consequences.
Resumo:
Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies.
Resumo:
The non-classical human leukocyte antigen (HLA) class I genes present a very low rate of variation. So far, only 10 HLA-E alleles encoding three proteins have been described, but only two are frequently found in worldwide populations. Because of its historical background, Brazilians are very suitable for population genetic studies. Therefore, 104 bone marrow donors from Brazil were evaluated for HLA-E exons 14. Seven variation sites were found, including two known single nucleotide polymorphisms (SNPs) at positions +424 and +756 and five new SNPs at positions +170 (intron 1), +1294 (intron 3), +1625, +1645 and +1857 (exon 4). Haplotyping analysis did show eight haplotypes, three of them known as E*01:01:01, E*01:03:01 and E*01:03:02:01 and five HLA-E new alleles that carry the new variation sites. The HLA-E*01:01:01 allele was the predominant haplotype (62.50%), followed by E*01:03:02:01 (24.52%). Selective neutrality tests have disclosed an interesting pattern of selective pressures in which balancing selection is probably shaping allele frequency distributions at an SNP at exon 3 (codon 107), sequence diversity at exon 4 and the non-coding regions is facing significant purifying pressure. Even in an admixed population such as the Brazilian one, the HLA-E locus is very conserved, presenting few polymorphic SNPs in the coding region.
Resumo:
A dimensional analysis of the classical equations related to the dynamics of vector-borne infections is presented. It is provided a formal notation to complete the expressions for the Ross' threshold theorem, the Macdonald's basic reproduction "rate" and sporozoite "rate", Garret-Jones' vectorial capacity and Dietz-Molineaux-Thomas' force of infection. The analysis was intended to provide a formal notation that complete the classical equations proposed by these authors.
Resumo:
The classical magnetoresistance of a two-dimensional electron gas constrained to non-planar topographies, in antidot lattices, and under the influence of tilted magnetic field in arbitrary direction is numerically studied. (C) 2012 Elsevier B.V. All rights reserved.
Resumo:
The ever-growing production and the problematization of Environmental Health have shown the need to apprehend complex realities and deal with uncertainties from the most diversified instruments which may even incorporate local aspects and subjectivities by means of qualitative realities, while broadening the capacity of the information system. This paper presents a view on the reflection upon some challenges and possible convergences between the ecosystemic approach and the Fuzzy logic in the process of dealing with scientific information and decision-making in Environmental Health.
Resumo:
Aspects related to the users' cooperative work are not considered in the traditional approach of software engineering, since the user is viewed independently of his/her workplace environment or group, with the individual model generalized to the study of collective behavior of all users. This work proposes a process for software requirements to address issues involving cooperative work in information systems that provide distributed coordination in the users' actions and the communication among them occurs indirectly through the data entered while using the software. To achieve this goal, this research uses ergonomics, the 3C cooperation model, awareness and software engineering concepts. Action-research is used as a research methodology applied in three cycles during the development of a corporate workflow system in a technological research company. This article discusses the third cycle, which corresponds to the process that deals with the refinement of the cooperative work requirements with the software in actual use in the workplace, where the inclusion of a computer system changes the users' workplace, from the face to face interaction to the interaction mediated by the software. The results showed that the highest degree of users' awareness about their activities and other system users contribute to a decrease in their errors and in the inappropriate use of the system.
Resumo:
OBJECTIVE: This study proposes a new approach that considers uncertainty in predicting and quantifying the presence and severity of diabetic peripheral neuropathy. METHODS: A rule-based fuzzy expert system was designed by four experts in diabetic neuropathy. The model variables were used to classify neuropathy in diabetic patients, defining it as mild, moderate, or severe. System performance was evaluated by means of the Kappa agreement measure, comparing the results of the model with those generated by the experts in an assessment of 50 patients. Accuracy was evaluated by an ROC curve analysis obtained based on 50 other cases; the results of those clinical assessments were considered to be the gold standard. RESULTS: According to the Kappa analysis, the model was in moderate agreement with expert opinions. The ROC analysis (evaluation of accuracy) determined an area under the curve equal to 0.91, demonstrating very good consistency in classifying patients with diabetic neuropathy. CONCLUSION: The model efficiently classified diabetic patients with different degrees of neuropathy severity. In addition, the model provides a way to quantify diabetic neuropathy severity and allows a more accurate patient condition assessment.