Automatic Indexing and Information Visualization: A Study Based on Paraconsistent Logic

This paper reports a research to evaluate the potential and the effects of use of annotated Paraconsistent logic in automatic indexing. This logic attempts to deal with contradictions, concerned with studying and developing inconsistency-tolerant systems of logic. This logic, being flexible and containing logical states that go beyond the dichotomies yes and no, permits to advance the hypothesis that the results of indexing could be better than those obtained by traditional methods. Interactions between different disciplines, as information retrieval, automatic indexing, information visualization, and nonclassical logics were considered in this research. From the methodological point of view, an algorithm for treatment of uncertainty and imprecision, developed under the Paraconsistent logic, was used to modify the values of the weights assigned to indexing terms of the text collections. The tests were performed on an information visualization system named Projection Explorer (PEx), created at Institute of Mathematics and Computer Science (ICMC - USP Sao Carlos), with available source code. PEx uses traditional vector space model to represent documents of a collection. The results were evaluated by criteria built in the information visualization system itself, and demonstrated measurable gains in the quality of the displays, confirming the hypothesis that the use of the para-analyser under the conditions of the experiment has the ability to generate more effective clusters of similar documents. This is a point that draws attention, since the constitution of more significant clusters can be used to enhance information indexing and retrieval. It can be argued that the adoption of non-dichotomous (non-exclusive) parameters provides new possibilities to relate similar information.

O ensino da lógica na educação básica

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

Um modelo algébrico do quantificador da ubiquidade

Pós-graduação em Filosofia - FFC

Procedimentos de pesquisa em Geografia do Comércio e do Consumo: delimitação, intensidade e especialização de áreas centrais. Análises a partir de Marília/SP, São Carlos/SP e São José do Rio Preto/SP

This academic report presents results of the research developed between 2012 and 2015, and it had as main goal the development of new mapping possibilities of the central areas of the cities of Marília/SP, São Carlos/SP and São José do Rio Preto/SP. We developed this research using mostly the database from Cadastro Nacional de Endereços Para Fins Estatísticos (CNEFE), and after processing the information, it was added the typology established in the Cadastro Nacional de Atividades Econômicas (CNAE). This database, after the final treatment process, provided us information that made possible the production of thematic maps which are used to study central areas, allowing the analysis of spatial logics of companies, the identification of concentration and dispersion of economic activities, arrangement of specialized axis, expansion of the central area, reorganization of the city, among other process and phenomena

Projetos de lei sobre medicalização da educação: biopolítica, controle e resistência na contemporaneidade

At present, the processes of medicalization of childhood have reached the school spaces where diagnostic labeling accompanied of prescription of psychotropic drugs proliferate. The present work aims to study through the Foucauldian genealogical approach, the process of medicalization of education, with a special attention to analysis of Brazilian bills which serve to the medicalization logics and to the study of resistance movements which emerged with the purpose of denouncing psychopathology-causing strategies. It is considered that the school spaces, subject to the disciplining processes and standardization of bodies, have gained through bills, new devices of support to the psychiatric discourses. These, by appropriating of the childhood considered problem, have spawned diagnoses and psychopharmacological drugs, process that has been faced by resistance movements identified with proposals for enhancement of the plurality of life.

Apuntes para un estudio comparativo entre torcidas organizadas e hinchadas

The present study proposes an initial approach to a comparative study between supporter groups from Brazil (torcidas organizadas) and Argentina (hinchadas). The text presents a thick description that points to similarities and differences, in synchronic and diachronic terms, between both groups of football spectators. The paper focuses on each group's emergence, organizational framings, logics of belonging, and most significant practices and representations. Finally, it illustrates the contributions of this research to the construction of a public sociology of regional sport.

O ensino religioso na escola pública: regras que cooperam para sua organização

Pós-graduação em Educação - FCT

Acumulação por espoliação: o setor de mineração em Moçambique : o caso da mina de carvão da Vale S. A

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

As lógicas espacias do setor bancário nas cidades de Presidente Prudente e São José do Rio Preto: da estrutura espacial concentrada à multicentralidade seletiva

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

As lógicas espacias do setor bancário nas cidades de Presidente Prudente e São José do Rio Preto: da estrutura espacial concentrada à multicentralidade seletiva

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Inconsistent-tolerant base revision through Argument Theory Change

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.

Reference model for implementing an MRP system in a highly diverse component and seasonal lean production environment

Companies are currently choosing to integrate logics and systems to achieve better solutions. These combinations also include companies striving to join the logic of material requirement planning (MRP) system with the systems of lean production. The purpose of this article was to design an MRP as part of the implementation of an enterprise resource planning (ERP) in a company that produces agricultural implements, which has used the lean production system since 1998. This proposal is based on the innovation theory, theory networks, lean production systems, ERP systems and the hybrid production systems, which use both components and MRP systems, as concepts of lean production systems. The analytical approach of innovation networks enables verification of the links and relationships among the companies and departments of the same corporation. The analysis begins with the MRP implementation project carried out in a Brazilian metallurgical company and follows through the operationalisation of the MRP project, until its production stabilisation. The main point is that the MRP system should help the company's operations with regard to its effective agility to respond in time to demand fluctuations, facilitating the creation process and controlling the branch offices in other countries that use components produced in the matrix, hence ensuring more accurate estimates of stockpiles. Consequently, it presents the enterprise knowledge development organisational modelling methodology in order to represent further models (goals, actors and resources, business rules, business process and concepts) that should be included in this MRP implementation process for the new configuration of the production system.

Pavimentando Roraima: a BR-174 como exemplo das lógicas neoliberais de transnacionalização do território na Amazônia Ocidental

Este artigo discute a pavimentação da BR-174 na metade da década de 1990 e as suas consequências socioespaciais no estado de Roraima. O caso é apresentado como um exemplo da transformação das intervenções territoriais na Amazônia no contexto da neoliberalização do Estado e da produção de um espaço econômico transnacional. Os investimentos federais para o desenvolvimento rodoviário e infraestruturas auxiliares trouxeram conectividade sem precedentes para o estado de Roraima, além de gerar crescimento econômico. Todavia, o artigo argumenta que, além dos novos discursos de desenvolvimento regional sustentável, as lógicas dominantes dos projetos, tais como o melhoramento da BR-174, são as de um neoliberalismo em expansão transnacional, no qual o Estado empreendedor torna-se um parceiro para o estabelecimento de mercados externos mais do que o principal agente da integração do território nacional. Assim, no desenho da BR-174, Roraima aparece, principalmente, como um espaço estratégico de conexão transfronteiriça que liga a Amazônia brasileira aos portos do Caribe. Entretanto, passada mais de uma década desde a conclusão do projeto, a concentração territorial tem se aprofundado ao passo que emergem novas desigualdades socioespaciais intimamente atreladas às funções e fluxos que a integração rodoviária criou.

Link prediction using a probabilistic description logic

Due to the growing interest in social networks, link prediction has received significant attention. Link prediction is mostly based on graph-based features, with some recent approaches focusing on domain semantics. We propose algorithms for link prediction that use a probabilistic ontology to enhance the analysis of the domain and the unavoidable uncertainty in the task (the ontology is specified in the probabilistic description logic crALC). The scalability of the approach is investigated, through a combination of semantic assumptions and graph-based features. We evaluate empirically our proposal, and compare it with standard solutions in the literature.

Elementi postmoderni nell'horror americano contemporaneo. Forme testuali e culturali della mutazione 1968-1998

This research argues for an analysis of textual and cultural forms in the American horror film (1968- 1998), by defining the so-called postmodern characters. The “postmodern” term will not mean a period of the history of cinema, but a series of forms and strategies recognizable in many American films. From a bipolar re-mediation and cognitive point of view, the postmodern phenomenon is been considered as a formal and epistemological re-configuration of the cultural “modern” system. The first section of the work examines theoretical problems about the “postmodern phenomenon” by defining its cultural and formal constants in different areas (epistemology, economy, mass-media): the character of convergence, fragmentation, manipulation and immersion represent the first ones, while the “excess” is the morphology of the change, by realizing the “fluctuation” of the previous consolidated system. The second section classifies the textual and cultural forms of American postmodern film, generally non-horror. The “classic narrative” structure – coherent and consequent chain of causal cues toward a conclusion – is scattered by the postmodern constant of “fragmentation”. New textual models arise, fragmenting the narrative ones into the aggregations of data without causal-temporal logics. Considering the process of “transcoding”1 and “remediation”2 between media, and the principle of “convergence” in the phenomenon, the essay aims to define these structures in postmodern film as “database forms” and “navigable space forms.” The third section applies this classification to American horror film (1968-1998). The formal constant of “excess” in the horror genre works on the paradigm of “vision”: if postmodern film shows a crisis of the “truth” in the vision, in horror movies the excess of vision becomes “hyper-vision” – that is “multiplication” of the death/blood/torture visions – and “intra-vision”, that shows the impossibility of recognizing the “real” vision from the virtual/imaginary. In this perspective, the textual and cultural forms and strategies of postmodern horror film are predominantly: the “database-accumulation” forms, where the events result from a very simple “remote cause” serving as a pretext (like in Night of the Living Dead); the “database-catalogue” forms, where the events follow one another displaying a “central” character or theme. In the first case, the catalogue syntagms are connected by “consecutive” elements, building stories linked by the actions of a single character (usually the killer), or connected by non-consecutive episodes about a general theme: examples of the first kind are built on the model of The Wizard of Gore; the second ones, on the films such as Mario Bava’s I tre volti della paura. The “navigable space” forms are defined: hyperlink a, where one universe is fluctuating between reality and dream, as in Rosemary’s Baby; hyperlink b (where two non-hierarchical universes are convergent, the first one real and the other one fictional, as in the Nightmare series); hyperlink c (where more worlds are separated but contiguous in the last sequence, as in Targets); the last form, navigable-loop, includes a textual line which suddenly stops and starts again, reflecting the pattern of a “loop” (as in Lost Highway). This essay analyses in detail the organization of “visual space” into the postmodern horror film by tracing representative patterns. It concludes by examining the “convergence”3 of technologies and cognitive structures of cinema and new media.