Interpretação e análise do problema da indução sob uma visão fundamentada em teorias de conjuntos e teoria de probabilidades

The following work is to interpret and analyze the problem of induction under a vision founded on set theory and probability theory as a basis for solution of its negative philosophical implications related to the systems of inductive logic in general. Due to the importance of the problem and the relatively recent developments in these fields of knowledge (early 20th century), as well as the visible relations between them and the process of inductive inference, it has been opened a field of relatively unexplored and promising possibilities. The key point of the study consists in modeling the information acquisition process using concepts of set theory, followed by a treatment using probability theory. Throughout the study it was identified as a major obstacle to the probabilistic justification, both: the problem of defining the concept of probability and that of rationality, as well as the subtle connection between the two. This finding called for a greater care in choosing the criterion of rationality to be considered in order to facilitate the treatment of the problem through such specific situations, but without losing their original characteristics so that the conclusions can be extended to classic cases such as the question about the continuity of the sunrise

Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Antecedentes do engajamento em boca a boca eletrônico positivo entre turistas

This study examined the influence of the tourism destination image as well as satisfaction and motivation in the intention of engaging in a positive electronic word of mouth (eWOM) by tourists through Facebook. In addition, it was also specifically expected to assess the sociodemographic profile and frequency of eWOM publications from those who answered the questions; it also assessed the adequacy of the manifested variables for composition of the following dimensions: Quality, Satisfaction, Image, Motivations and Positive Electronic Word of Mouth (eWOM). And finally, it analyzed a relational model where there are relationships between Quality, Satisfaction, Image and Motivations in the explanation of engagement in the Positive Electronic Word of Mouth (eWOM). With this aim it was conducted a study, based on a hypothetical-deductive logic, which was descriptive in relation to its goals. The analytical approach was quantitative (a survey). The sampling procedure was non-probabilistic, by the convenience method of sampling specifically, having the choice of the subject been made through the probabilistic systematic method, and using time as a factor of systematization in an attempt of making randomly the selection of the interviewed people. The study sample consisted of 355 tourists. The used instrument to collect information was the structured questionnaire whose answers were collected in the main points of entry, exit and rides of tourists on the Pipa’s Beach/RN. Data analysis was carried out using descriptive and multivariate statistics, mainly exploratory and confirmatory factor analysis and structural equation modeling. Among the main results, it was possible to confirm that the Motivations, Satisfaction and Image strongly affect the intention of engaging in positive electronic word of mouth (eWOM). Emphasis is given to the motivations, as they demonstrate bigger impact in explaining the dependent variable; they are followed by the satisfaction and the image. The latter, however, is inversely proportional. Among the motivations, the one with the highest percentage of variance were the social benefits sought by tourists; and presenting the same percentage appears the desire to help other tourists and to vent Positive Emotions. The manifested variables demonstrate to be fully acceptable to be taken as reflexes of their respective factors.

A probabilistic analysis of the biometrics menagerie existence: case study in fingerprint data

Until recently the use of biometrics was restricted to high-security environments and criminal identification applications, for economic and technological reasons. However, in recent years, biometric authentication has become part of daily lives of people. The large scale use of biometrics has shown that users within the system may have different degrees of accuracy. Some people may have trouble authenticating, while others may be particularly vulnerable to imitation. Recent studies have investigated and identified these types of users, giving them the names of animals: Sheep, Goats, Lambs, Wolves, Doves, Chameleons, Worms and Phantoms. The aim of this study is to evaluate the existence of these users types in a database of fingerprints and propose a new way of investigating them, based on the performance of verification between subjects samples. Once introduced some basic concepts in biometrics and fingerprint, we present the biometric menagerie and how to evaluate them.

A probabilistic analysis of the biometrics menagerie existence: case study in fingerprint data

Until recently the use of biometrics was restricted to high-security environments and criminal identification applications, for economic and technological reasons. However, in recent years, biometric authentication has become part of daily lives of people. The large scale use of biometrics has shown that users within the system may have different degrees of accuracy. Some people may have trouble authenticating, while others may be particularly vulnerable to imitation. Recent studies have investigated and identified these types of users, giving them the names of animals: Sheep, Goats, Lambs, Wolves, Doves, Chameleons, Worms and Phantoms. The aim of this study is to evaluate the existence of these users types in a database of fingerprints and propose a new way of investigating them, based on the performance of verification between subjects samples. Once introduced some basic concepts in biometrics and fingerprint, we present the biometric menagerie and how to evaluate them.