Definição inicial de um sistema de provas rotulado para lógicas do conhecimento

Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em sistemas multiagentes, têm apresentado resultados promissores. No entanto, outros sistemas de prova para estas lógicas que não os sistemas axiomáticos à la Hilbert são raros na literatura. Este trabalho tem como objetivo principal preencher esta lacuna existente na literatura, ao propor um sistema de prova por dedução natural rotulada para lógicas do conhecimento.

Reconhecimento dos direitos territoriais indígenas: uma mediação entre os Guarani e o Estado

A presente dissertação foi desenvolvida através de um estudo das dinâmicas de relação entre o grupo indígena Guarani-Mbya e o Estado, no âmbito da FUNAI, durante o período de 2006 a 2011. O estudo foi realizado por meio da análise da construção dos sentidos do processo de reivindicação e reconhecimento dos direitos territoriais. No entanto, neste trabalho é identificado que o grupo analisado possui entendimentos sobre o direito e o território que divergem daqueles definidos pelo Estado, o que gera dificuldades e entraves à política de reconhecimento de seus territórios. Para realizar uma análise das especificidades dos sentidos atribuídos ao território e à reivindicação pelo reconhecimento do mesmo seleciona-se como unidade de análise a Comissão Guarani Yvyrupa (CGY), organização que representa os Guarani neste processo. Por meio desta organização é reivindicado às instituições governamentais o reconhecimento e inclusão de suas especificidades na política de terra. Utiliza-se o método da análise dos discursos e do conteúdo com o objetivo de compreender as especificidades dos sentidos atribuídos ao território e à luta pelo reconhecimento deste direito. Para obter uma compreensão mais profunda sobre o caso estudado foi realizada uma imersão no campo através da observação participante da organização e ação política da CGY durante oito meses. Foram utilizadas como fonte de análise atas de encontros, cartas de reivindicação, depoimentos, entrevistas e diversas conversas informais. A análise é construída à luz das teorias do reconhecimento de Axel Honneth, da pluralidade dos princípios do direito por Ammy Gutmann e Michael Ignatieff, e da construção das esferas civis por Jeffrey Alexander.

Educação e Arquiteturas Territoriais: possibilidades e limites para melhoria das condições de ensino e aprendizagem das escolas públicas municipais brasileiras

A educação pública municipal brasileira tem apresentado avanços nos últimos anos, com ampliação do acesso ao ensino. Contudo ainda há muito a ser feito em relação à melhoria da qualidade da educação ofertada no país. Algumas experiências vêm tentado contribuir para o avanço da qualidade, buscando novas formas de se pensar a educação e sua gestão. Esta dissertação estudou algumas experiências nacionais que têm pensado a educação a partir de arranjos territoriais colaborativos. Identificamos as possibilidades e os limites desse tipo de experiência para a melhoria das condições de ensino e aprendizagem das escolas públicas municipais brasileiras. Para tanto, partiu-se da discussão do federalismo e da ausência, no caso brasileiro, de mecanismos de cooperação intergovernamental, ampliando o debate a partir dos conceitos de governança (de múltiplos níveis), de formas de cooperação existentes no país e de território na perspectiva da geografia. A partir do estudo de casos empíricos em regiões distintas (Território Chapada Diamantina, na Bahia; Arranjo Noroeste Paulista, em São Paulo; Arranjo Estrada de Ferro Carajás, no Maranhão; e dois consórcios do Sudoeste paulista), buscou-se características, peculiaridades e semelhanças de cada uma dessas experiências para construir um mapa geral sobre os arranjos territoriais colaborativos e suas possíveis contribuições para a melhoria da qualidade do ensino público. O intuito é pensar alternativas e fatores que possam contribuir para uma ação mais colaborativa entre os atores envolvidos com a educação pública no país.

Geoprocessamento aplicado a gestão de informações territoriais do município de Grossos-RN :estudo multitemporal do uso e ocupação do solo

The present work was carried through in the Grossos city - RN and had as main objectives the elaboration of an physicist-ambient, socioeconomic survey and execution a multisecular evaluation of 11 years, between 1986 and 1996, using remote sensing products, to evaluate the modifications of the land use, aiming at the generation of an information database to implementation a geographical information system (GIS) to management the this city. For they had been in such a way raised given referring the two Demographic Censuses carried through by the IBGE (1991 and 2000) and compared, of this form was possible to the accomplishment of an evaluation on the demographic aspects (degree of urbanization, etária structure, educational level) and economic (income, habitation, vulnerability, human development). For the ambient physical survey the maps of the natural resources had been confectioned (simplified geology, hydrography, geomorphologi, veget covering, ground association, use and occupation), based in comments of field and orbital products of remote sensoriamento (images Spot-HRVIR, Landsat 5-TM and IKONOS - II), using itself of techniques of digital picture processing. The survey of these data and important in the identification of the potentialities and fragilities of found ecosystems, therefore allows an adequate planning of the partner-economic development by means of an efficient management. The project was part of a partnership between the Grossos city hall the municipal City hall of Grossos - RN and the Geoscience post-graduate program of the UFRN, more specifically the Geomatica laboratory LAGEOMA

Cursinhos alternativos e populares: movimentos territoriais de luta pelo acesso ao ensino público superior no Brasil. -

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Globalização, escalas territoriais e política tecnológica regionalizada no Brasil

Incluye Bibliografía