On Arbitrary Selection Strategies for Basic Superposition

For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each clause [dN 96]. Here we extend this result to the case of clauses with equality for superposition-based inference systems. Our result is a generalization of the result given in [BG 01]. We answer their question about the completeness of a superposition-based system for general clauses with an arbitrary selection strategy, provided there exists a refutation without applications of the factoring inference rule.

Monodic temporal resolution

Until recently, First-Order Temporal Logic (FOTL) has been only partially understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of fragments of the logic was not previously available. However, a breakthrough by Hodkinson et al., identifying a finitely axiomatisable fragment, termed the monodic fragment, has led to improved understanding of FOTL. Yet, in order to utilise these theoretical advances, it is important to have appropriate proof techniques for this monodic fragment.In this paper, we modify and extend the clausal temporal resolution technique, originally developed for propositional temporal logics, to enable its use in such monodic fragments. We develop a specific normal form for monodic formulae in FOTL, and provide a complete resolution calculus for formulae in this form. Not only is this clausal resolution technique useful as a practical proof technique for certain monodic classes, but the use of this approach provides us with increased understanding of the monodic fragment. In particular, we here show how several features of monodic FOTL can be established as corollaries of the completeness result for the clausal temporal resolution method. These include definitions of new decidable monodic classes, simplification of existing monodic classes by reductions, and completeness of clausal temporal resolution in the case of monodic logics with expanding domains, a case with much significance in both theory and practice.

Mechanising first-order temporal resolution

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. Although a complete and correct resolution-style calculus has already been suggested for this specific fragment, this calculus involves constructions too complex to be of practical value. In this paper, we develop a machine-oriented clausal resolution method which features radically simplified proof search. We first define a normal form for monodic formulae and then introduce a novel resolution calculus that can be applied to formulae in this normal form. By careful encoding, parts of the calculus can be implemented using classical first-order resolution and can, thus, be efficiently implemented. We prove correctness and completeness results for the calculus and illustrate it on a comprehensive example. An implementation of the method is briefly discussed.

Monodic Temporal Resolution

First-order temporal logic is a coincise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics have identified important enumerable and even decidable fragments. In this paper we present the first resolution-based calculus for monodic first-order temporal logic. Although the main focus of the paper is on establishing completeness result, we also consider implementation issues and define a basic loop-search algorithm that may be used to guide the temporal resolution system.

Handling Equality in Monodic Temporal Resolution

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments including the guarded fragment with equality. In this paper, we specialise the monodic resolution method to the guarded monodic fragment with equality and first-order temporal logic over expanding domains. We introduce novel resolution calculi that can be applied to formulae in the normal form associated with the clausal resolution method, and state correctness and completeness results.

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. In this paper, we develop a clausal resolution method for the monodic fragment of first-order temporal logic over expanding domains. We first define a normal form for monodic formulae and then introduce novel resolution calculi that can be applied to formulae in this normal form. We state correctness and completeness results for the method. We illustrate the method on a comprehensive example. The method is based on classical first-order resolution and can, thus, be efficiently implemented.

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic

The clausal resolution method for propositional linear-time temporal logic is well known and provides the basis for a number of temporal provers. The method is based on an intuitive clausal form, called SNF, comprising three main clause types and a small number of resolution rules. In this paper, we show how the normal form can be radically simplified, and consequently, how a simplified clausal resolutioin method can be defined for this impoprtant variety of logics.

Internacionalização, democracia e gasto social na América Latina, 1980-1999

Neste trabalho examinamos o impacto da globalização sobre os gastos sociais nos países da América Latina. Para medir o nível de internacionalização das economias latino-americanas, construímos um novo indicador de abertura financeira baseada na codificação proposta por Dennis Quinn (1997). Nossos resultados apontam para duas lógicas sobre a qual os efeitos da globalização se fazem sentir. A abertura comercial tem um impacto negativo sobre o gasto social, enquanto a abertura financeira se relaciona positivamente com o mesmo tipo de gasto. Além disso, governos democráticos tendem a gastar mais em programas sociais. De modo geral, nossa pesquisa conclui que a globalização é um fenômeno complexo, apresentando simultaneamente conseqüências positivas e negativas para o financiamento dos programas sociais na América Latina.

Sentidos do trabalho informacional corporativo: uma investigação sobre o impacto do conhecimento no trabalho contemporâneo

This study proposes and uses a multipolar qualitative methodology for the investigation of the meanings of corporate work under the impact of the technical-scientific knowledge. Based on the constructionist epistemology and on a heideggerian approach, this methodology made possible the description of such phenomenon under the Management perspective, but also under the Psychology, Sociology and Philosophy views. Study starts with empirical data, collected by interviews and in publications, and analyzes them based on conceptual contributions from the four referred poles. As a result, this investigation proposes reflexivity, impermanence and entanglement as meanings of the corporate work that culminate in the paradoxical work. It also demonstrates that the impact of knowledge occurs in a reflexive spiral of complexification, continuously affecting individuals and work processes; describes the impermanent character of the work ruled by time, by neophilia and by uncertainties that make precarious the very subjective experience of worker; and proposes that this work becomes entangled due to the way it is managed, and is an entangling work, for embarrassing the individual in its techniques, logics and dissonances. The paradoxical essence that emerges from this appreciation of corporate work is described on the following scopes: its reflexivity does not prevent its rationality to be fragile; its dynamism coexists with the difficulty to achieve substantive organizational changes; its entanglement compromises the possibilities of an apparently reachable well-being; its focus on present ends up to be emptied; and its purpose of individual sustenance becomes unsustainable due to hyperconsumption. But the conclusions of the study do no describe a definitive phenomenon. At the ending, it points out possibilities of living with the paradoxical work as well as possibilities of its transformation.

Cultura e desenvolvimento local: um estudo do Programa Bairro-Escola da cidade de Nova Iguaçu

A relação entre cultura e desenvolvimento é um dos assuntos centrais dos debates contemporâneos que vão além do ambiente acadêmico e atinge a agenda política em diversos países. A cultura exerce um papel importante para o desenvolvimento que não se restringe à dimensão econômica, pois é capaz de construir ou reconstruir identidades, elevar a auto-estima individual e coletiva, adicionar valor ao patrimônio existencial humano. Faz-se necessário, ainda, um outro conceito de desenvolvimento, calcado em outras lógicas, sendo geográfica, social e culturalmente referenciado e promovendo uma transformação social profunda. No Brasil, alguns governos locais vêm assumindo o seu papel de protagonista do desenvolvimento com base nessa proposta. Em Nova Iguaçu - cidade localizada na Baixada fluminense - vem sendo desenvolvida uma política pública cujo protagonista e indutora é a Prefeitura municipal. Trata-se do Programa Bairro-Escola que, embora tenha como centralidade a educação, articula diversas secretarias da prefeitura e promove benefícios e oportunidades sociais às crianças, adolescentes e aos demais moradores da cidade que extrapolam o aspecto educacional. Para a sua operacionalização, a Prefeitura desenvolve parcerias com atores de diversas naturezas. O objetivo dessa dissertação foi compreender de que maneira o Bairro-Escola de Nova Iguaçu, especialmente seus programas, projetos e ações culturais, contribui para o desenvolvimento local. No que diz respeito à metodologia, a estratégia de pesquisa adotada, foi o estudo de caso. Para a coleta dos dados primários e secundários foram adotadas duas técnicas, a saber: bibliográfica-documental; e entrevistas semi-estruturadas com alguns representantes do Bairro-Escola e da Secretaria de Cultura de Nova Iguaçu. Os resultados indicam que o Bairro-Escola aponta para um esforço de inclusão e desenvolvimento social por meio de programas e ações integradas. Em síntese, as contribuições ao desenvolvimento proporcionadas pelo Bairro-Escola, pelas vias da cultura, em Nova Iguaçu são: ampliação do acesso da população à leitura - criação de cinco bibliotecas ramais nas Escolas da Rede Pública Municipal e reequipamento de duas bibliotecas comunitárias; criação de uma Escola de ensino e formação em audiovisual (Escola Livre de Cinema), com núcleos em quatro bairros da cidade; criação de uma Escola Livre de Música Eletrônica, atendendo, inicialmente, a 400 crianças beneficiárias do Bairro-Escola; oportunidade de experimentação artística para quase 7.000 crianças e jovens; capacitação de 52 artistas locais em artes cênicas; criação de um grupo cultural formado por artistas locais (Grupo Nós da Baixada) - grupo de artes cênicas no bairro Cerâmica; oportunidade de estágio (renda e aperfeiçoamento profissional) para cerca de 90 jovens nas oficinas culturais; perspectiva de trabalho para 96 grupos artístico-culturais locais, por meio do convênio com o Ministério da Cultura; fortalecimento de grupos artístico-culturais locais, por meio de assessoramento para a profissionalização e desenvolvimento desses grupos.

Gestão da informação e sistema de informações policiais em uma delegacia da polícia civil do Estado do Rio de Janeiro: uma abordagem organizacional

A dissertação apresenta o processo de trabalho do inquérito policial como sendo o processo-chave do sistema de informações policiais de uma delegacia de Polícia Civil do Estado do Rio de Janeiro. Faz considerações quanto à gestão e à análise de sistemas, comparando alguns especialistas, para compreensão da organização. Apresenta, também, uma visão da Polícia Civil no presente e a sua história. Disserta sobre a importância da linguagem em sua cultura organizacional e na sua lógica do trabalho apoiada em discursos, e propõe algumas possibilidades de mudanças organizacionais. A metodologia adotada foi a de pesquisa-ação, participante e etnográfica, com tratamento dos dados apoiado nas teorias da informação, da análise de conteúdo do discurso e de sistemas.

Agricultura ecológica : do engajamento possível à retribuição esperada : um estudo dos agricultores ecologistas de Antônio Prado e Ipê-RS

Nesta dissertação, analiso as lógicas de engajamento dos agricultores ecologistas na agricultura ecológica em Antônio Prado e Ipê, ambos municípios da Encosta Superior do Nordeste do Rio Grande do Sul, Brasil. Os diferentes graus de engajamento dos agricultores estão relacionados à heterogeneidade na estrutura e volume de capitais acumulados por esses agentes durante suas trajetórias e às distintas expectativas de retribuição com relação a este referencial de agricultura. O referencial foi construído ou socializado neste cenário, principalmente, pelos técnicos do Centro Ecológico, constituindo-se num conjunto de práticas agrícolas alternativas que pretendem viabilizar avanços sustentáveis na produção agrícola. Na busca destes “avanços”, a agricultura ecológica é construída sob uma dimensão simbólica, orientada “pela filosofia da preservação ambiental e da justiça social”, e uma dimensão econômica caracterizada pelo objetivo de viabilizar econômica e socialmente a agricultura familiar. Assim, os agricultores, ao se engajarem, fazem suas releituras do referencial e, pela socialização, vão incorporando os limites impostos as suas ações pelas representações dominantes (legítimas) da “prática” e pelas normas que vão se institucionalizando ao longo do tempo, resultando na estrutura objetiva do espaço de relações da agricultura ecológica na região. Essas releituras resultam em distintos graus de engajamento. As distintas tomadas de posições e estratégias desenvolvidas pelos agricultores ecologistas possibilitam a formação de uma hierarquia normativa neste espaço social, permitindo que alguns agricultores, devido às disposições incorporadas durante suas trajetórias e ao tipo de relação estabelecida com os técnicos, se tornem novos mediadores.

The good, the bad and the ugly: estudo sobre pequenas e médias empresas familiares brasileiras a partir da teoria da ação de Pierre Bourdieu

According to Bourdieu (1994), there are social camps where the economic logic works upside down. Therefore, the expression ¿family business¿ is paradoxical because inside it resides two distinct and, sometimes, antagonistic logics: the business logic, whose goal is the profit, and the family logic, which aims at the common welfare. That is why one must consider the symbolical exchanges influences on the social relations more than in any other kind of company. Based on these concepts, this research presents an overview of the small and medium brazilian family business universe.