A contribuição da Legimática para a qualidade formal do texto legislativo

O objetivo deste trabalho é identificar como as ferramentas propostas pela Legimática podem contribuir para diminuir as deficiências dos textos legislativos apontadas pela Legística. A preocupação com o processo de criação e com a qualidade do texto legislativo por ele produzido é o foco principal da Legística Formal. Esta atividade encontra amparo nas ferramentas propostas pela Legimática que auxiliam a elaboração de normas legais por meio de processadores eletrônicos de textos concebidos especificamente para este propósito, ou seja, redação de leis. Tais ferramentas garantem o emprego de regras formalmente estabelecidas para um texto legal, e de forma mais abrangente, facilitam a clareza, o rigor e a uniformidade da linguagem legislativa do documento produzido. A realização de pesquisas qualitativa e bibliográfica permitiu propor a criação de um software que auxilie no processo de elaboração normativa dos órgãos legislativos federais brasileiros baseando-se em considerações de especialistas, análise de ferramentas semelhantes e referências na literatura.

La gestión de las actividades musicales del G-9 en contextos de educación fornal y no formal

479 p.

Formal methods for control synthesis in partially observed environments : application to autonomous robotic manipulation

Modern robots are increasingly expected to function in uncertain and dynamically challenging environments, often in proximity with humans. In addition, wide scale adoption of robots requires on-the-fly adaptability of software for diverse application. These requirements strongly suggest the need to adopt formal representations of high level goals and safety specifications, especially as temporal logic formulas. This approach allows for the use of formal verification techniques for controller synthesis that can give guarantees for safety and performance. Robots operating in unstructured environments also face limited sensing capability. Correctly inferring a robot's progress toward high level goal can be challenging.

This thesis develops new algorithms for synthesizing discrete controllers in partially known environments under specifications represented as linear temporal logic (LTL) formulas. It is inspired by recent developments in finite abstraction techniques for hybrid systems and motion planning problems. The robot and its environment is assumed to have a finite abstraction as a Partially Observable Markov Decision Process (POMDP), which is a powerful model class capable of representing a wide variety of problems. However, synthesizing controllers that satisfy LTL goals over POMDPs is a challenging problem which has received only limited attention.

This thesis proposes tractable, approximate algorithms for the control synthesis problem using Finite State Controllers (FSCs). The use of FSCs to control finite POMDPs allows for the closed system to be analyzed as finite global Markov chain. The thesis explicitly shows how transient and steady state behavior of the global Markov chains can be related to two different criteria with respect to satisfaction of LTL formulas. First, the maximization of the probability of LTL satisfaction is related to an optimization problem over a parametrization of the FSC. Analytic computation of gradients are derived which allows the use of first order optimization techniques.

The second criterion encourages rapid and frequent visits to a restricted set of states over infinite executions. It is formulated as a constrained optimization problem with a discounted long term reward objective by the novel utilization of a fundamental equation for Markov chains - the Poisson equation. A new constrained policy iteration technique is proposed to solve the resulting dynamic program, which also provides a way to escape local maxima.

The algorithms proposed in the thesis are applied to the task planning and execution challenges faced during the DARPA Autonomous Robotic Manipulation - Software challenge.

Educação ambiental na educação formal: do paradigma moderno ao paradigma da complexidade

A educação ambiental vem sendo disseminada por grande parte das escolas do país, conforme atestam pesquisas oficiais, mas uma lenta transformação a acompanha no que diz respeito à mudança dos princípios do modelo de desenvolvimento industrial, que enfatiza o consumismo como estratégia de reprodução. Ao mesmo tempo em que as pesquisas sugerem uma ampliação da consciência ambiental da sociedade como um todo, percebe-se um acirramento dos problemas socioambientais e soluções sendo alcançadas em escala inferior ao patamar considerado desejado. Onde estaria, então, o problema? Qual a razão desta possível defasagem educação ambiental x resultados? Foi com o intuito de responder a estas perguntas que essa tese foi realizada. Parte-se de uma percepção de que a Educação Ambiental praticada na escola reflete e acentua o paradigma moderno hegemônico, que se baseia em uma concepção dualista homem / natureza, em que uma está a serviço do outro, sem promover o questionamento sobre os desdobramentos da adoção dos valores da sociedade de consumo no desequilíbrio da vida no planeta. Essa dicotomia entre cultura e natureza, sociedade e ciência, sujeito e objeto se reflete na busca de soluções parciais, incompletas, visando-se apenas a uma parte do problema socioambiental, que não é visto como um sistema complexo. A educação ambiental realizada nessas bases dificulta a reunião das condições necessárias à mudança das estruturas da atual sociedade brasileira e à busca das soluções dos seus problemas socioambientais. Nessa perspectiva, esse trabalho objetiva criar subsídios para um caminho para a educação ambiental que possa contribuir para uma visão complexa da realidade e dos problemas socioambientais, na busca de soluções mais abrangentes. Para isto procura entender: a) como a teoria da complexidade poderia colaborar para esta mudança; b) em quais modelos práticos e teóricos a Educação Ambiental se dá no Brasil, ou seja, quais as diversas tendências da educação ambiental brasileira; e c) como esses modelos se expressam nas práticas dos professores analisando-se artigos publicados em anais de seminários, congressos e/ou encontros sobre o tema.

Formal methods in the foundations of science

The intent of this study is to provide formal apparatus which facilitates the investigation of problems in the methodology of science. The introduction contains several examples of such problems and motivates the subsequent formalism.

A general definition of a formal language is presented, and this definition is used to characterize an individual’s view of the world around him. A notion of empirical observation is developed which is independent of language. The interplay of formal language and observation is taken as the central theme. The process of science is conceived as the finding of that formal language that best expresses the available experimental evidence.

To characterize the manner in which a formal language imposes structure on its universe of discourse, the fundamental concepts of elements and states of a formal language are introduced. Using these, the notion of a basis for a formal language is developed as a collection of minimal states distinguishable within the language. The relation of these concepts to those of model theory is discussed.

An a priori probability defined on sets of observations is postulated as a reflection of an individual’s ontology. This probability, in conjunction with a formal language and a basis for that language, induces a subjective probability describing an individual’s conceptual view of admissible configurations of the universe. As a function of this subjective probability, and consequently of language, a measure of the informativeness of empirical observations is introduced and is shown to be intuitively plausible – particularly in the case of scientific experimentation.

The developed formalism is then systematically applied to the general problems presented in the introduction. The relationship of scientific theories to empirical observations is discussed and the need for certain tacit, unstatable knowledge is shown to be necessary to fully comprehend the meaning of realistic theories. The idea that many common concepts can be specified only by drawing on knowledge obtained from an infinite number of observations is presented, and the problems of reductionism are examined in this context.

A definition of when one formal language can be considered to be more expressive than another is presented, and the change in the informativeness of an observation as language changes is investigated. In this regard it is shown that the information inherent in an observation may decrease for a more expressive language.

The general problem of induction and its relation to the scientific method are discussed. Two hypotheses concerning an individual’s selection of an optimal language for a particular domain of discourse are presented and specific examples from the introduction are examined.

A facultatividade da concordância: português formal real versus gramática escolar

No ensino de língua nacional, concordância é um dos tópicos em cujo aprendizado observa dificuldade por parte dos discentes, principalmente pelo grande número de regras facultativas das gramáticas, que muitas vezes não levam em conta o uso formal real da língua. Este trabalho visa a descrever esse uso, a partir da observação de um corpus do caderno opinião de jornais de grande circulação, confrontando os resultados com as prescrições da norma gramatical escolar, a fim de separar, em tais prescrições, a parte aproveitável da não coincidente com a realidade do corpus, se for o caso. Pretende-se, dessa forma, contribuir para a boa qualidade do ensino da língua portuguesa nos níveis fundamental e médio, especificamente no que se refere à concordância

Formal languages, part theory, and change

A general definition of interpreted formal language is presented. The notion “is a part of" is formally developed and models of the resulting part theory are used as universes of discourse of the formal languages. It is shown that certain Boolean algebras are models of part theory.

With this development, the structure imposed upon the universe of discourse by a formal language is characterized by a group of automorphisms of the model of part theory. If the model of part theory is thought of as a static world, the automorphisms become the changes which take place in the world. Using this formalism, we discuss a notion of abstraction and the concept of definability. A Galois connection between the groups characterizing formal languages and a language-like closure over the groups is determined.

It is shown that a set theory can be developed within models of part theory such that certain strong formal languages can be said to determine their own set theory. This development is such that for a given formal language whose universe of discourse is a model of part theory, a set theory can be imbedded as a submodel of part theory so that the formal language has parts which are sets as its discursive entities.

A produção do conhecimento socialmente robusto no contexto da educação e do trabalho: inserção de moradores em comunidades do Rio de Janeiro no mercado de trabalho formal

O presente trabalho tem por objetivo analisar o processo de inserção de pessoas de baixa renda moradoras em comunidades do Rio de Janeiro no mercado de trabalho formal, alunos e egressos dos cursos da Educação Profissional oferecidos no âmbito do Programa SESI Cidadania (PSC), implantado pela Federação das Indústrias do Rio de Janeiro (FIRJAN), em 12 de agosto de 2010, por meio do acordo de cooperação com o Governo do Estado do Rio de Janeiro. O objetivo do programa é levar projetos sociais para as comunidades com Unidade de Polícia Pacificadora (UPP); dentre eles, projetos educacionais com oferta gratuita de cursos na modalidade Qualificação Profissional, respaldada no Decreto n 6.635, de 5 de novembro de 2008. Por conseguinte, este estudo visa a propor iniciativas no sentido de facilitar o ingresso e a permanência dessas pessoas no mercado de trabalho formal e a geração de trabalho e renda. A experiência da autora com processos de inserção de alunos e egressos de cursos da Educação Profissional oferecidos pelo Programa SESI Cidadania sinaliza que as dificuldades enfrentadas por moradores das comunidades do Rio de Janeiro estão relacionadas às condições históricas, sociais, econômicas e culturais. Diante dessa problemática, adotamos a seguinte hipótese: as competências comportamentais, dos moradores das comunidades do Rio de Janeiro interferem na sua inserção no mercado de trabalho formal. Nesse aspecto, o foco de investigação foi verificar as competências observadas pelos profissionais de recursos humanos que interferem na inserção e permanência desses egressos nas empresas. Adotamos o conceito de competências entendido por Joel Souza Dutra (2001) bem como por alguns teóricos da Administração, que o definem como um conjunto de conhecimentos, habilidades e atitudes necessárias para que a pessoa desenvolva suas atribuições e responsabilidades. O recorte empírico se constituiu de dez empresas de pequeno, médio e grande porte sediadas na Região Metropolitana do Rio de Janeiro. A abordagem metodológica incluiu pesquisa de campo com base em dados de entrevistas semiestruturadas, sendo incorporada a técnica de análise de relato verbal. Formulamos um questionário para realização de entrevistas semidirigidas com profissionais de Recursos Humanos e dirigentes de empresas as quais nos permitiram identificar os fatores que interferem na inserção dessas pessoas no mercado de trabalho formal. As conclusões apontam dificuldades de inserção e permanência de moradores das comunidades do Rio de Janeiro no mercado de trabalho formal por aspectos relacionados à formação educacional básica, e sobretudo a competências comportamentais desenvolvidas no contexto sociocultural no qual estão inseridos, as quais se encontram desassociadas das competências comportamentais demandadas pelo mercado de trabalho formal. A relevância da pesquisa consiste na possibilidade de subsidiar a formulação de políticas públicas da Educação e do trabalho destinadas à formação profissional de pessoas de baixa renda moradoras das comunidades do Rio de Janeiro para geração de trabalho e renda.

Educação não formal e o Programa Jovem Aprendiz: uma análise sobre os seus resultados pelo olhar dos jovens e educadores

O presente estudo tem como objetivo analisar os efeitos do programa de educação não formal Jovem Aprendiz, desenvolvido na Costa do Sol do Estado do Rio deJaneiro, a partir da perspectiva dos jovens egressos e dos educadores. A investigação contempla a análise do Programa Jovem Aprendiz mediante a contextualização da Lei de Aprendizagem n 10.097/00 e uma discussão teórico-conceitual acerca da educação não formal, de acordo com Gohn (2003, 2005a, 2005b, 2006, 2009, 2010) e Trilla (1993; 2008), autores que contribuem com a caracterização desse tipo de educação. No que tange à abordagem das políticas públicas para a juventude, Sposito e Carrano (2003) e Corrochano (2002; 2008a; 2008b) fundamentaram a análise do objeto da pesquisa e, com base nos estudos de Sennett (2006; 2009), são analisadas as características e a heterogeneidade do mercado de trabalho na atualidade. Os resultados revelam que os jovens egressos possuem sentimento de saudosismo e uma ampliação da visão pessoal de si e agradecimento pela passagem no Programa. Os impactos do Programa foram em torno das aprendizagens para a formação humana, dentre as quais destacamos a social (GOHN, 2010), englobando valores, ética, escolhas, o aprender a ser que envolveu postura comportamental, aprender a trabalhar em grupo, saber conviver, ouvir, comunicar-se, sugerir (liberdade), proatividade; incentivou os participantes a ter objetivos, comprometimento e amadurecimento. Os educadores pontuaram as aprendizagens teórica, cultural (GOHN, 2010) e o impacto por trabalhar com a(s) juventude(s) como descobrindo na prática do dia a dia a ser educador, aprendendo a lidar com as incertezas, o processo de humanização, socialização e a singularização, o processo de escuta e acolhimento, o aprofundamento na legislação que embasa o Programa, a importância do treinamento adequado e de ter um pedagogo gerindo a equipe multidisciplinar, o aprender a otimizar o tempo. Dessa forma, a pesquisa vai ao encontro das abordagens sobre a educação não formal que a contemplam como um processo sociopolítico, cultural e pedagógico de formação para a cidadania.

Pro dia nascer feliz: Possibilidades de articulação entre educação formal e não formal no Colégio Estadual Guadalajara

Esta pesquisa tem por objetivo geral analisar a dinâmica de funcionamento das atividades não formais do Colégio Estadual Guadalajara e apontar para possíveis pontes-diálogo entre educação formal e não formal nesse espaço escolar. Para atingir esse objetivo a dissertação contemplou: a) a descrição das atividades do Núcleo de Cultura do Guadá desde a sua implementação, b) a análise das possíveis relações estabelecidas entre as atividades não formais e as atividades oferecidas pela instituição a partir do proposto pela rede oficial de ensino e c) a influência do Programa Mais Educação na promoção das atividades não formais de ensino pela escola. Nesse sentido, a investigação em foco, ressalta o regime colaborativo entre o ideal de educação integral proposto pelo programa e a perspectiva de formação holística do indivíduo presente nas atividades não formais do C.E. Guadalajara. Para isso conta com aporte teórico de autores como Gohn (2010), Trilla (2008), Gadotti (2005) e Libâneo (2010) para conceituar e categorizar educação formal e não formal. E, com Ferreira (2007), Guará (2006), Cavaliere (2002) e Coelho (s/d) para esclarecer a perspectiva de educação integral e problematizá-la. Os procedimentos metodológicos adotados foram: observação não-participante, análise documental, história oral e aplicação de entrevistas semi-estruturada realizadas com as duas animadoras culturais do Núcleo de Cultura. Os resultados revelam que, de fato existem articulações pontuais entre educação formal e não formal na escola pesquisada. Este aspecto está relacionado com a participação de professores no planejamento das atividades não formais e a melhoria do rendimento dos alunos nas disciplinas formais em virtude da participação nas oficinas ofertadas pelo núcleo. No tocante a colaboração do Programa Mais Educação para a promoção das atividades não formais da escola foi constatado que o programa serviu como auxílio para subsidiar atividades que já ocorriam no espaço escolar sem seu financiamento.