Regular Derivations in Basic Superposition-Based Calculi

We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in [Kan63], who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the elimination of tautologies. The implication of our result is the completeness of non-standard selection functions by which in non-relational clauses only equality literals (and all of them) are selected.

Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Extending Agent Languages for Autonomy

BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents with a static plan library of behaviours invoked reactively. These languages provide a theoretically sound basis for agent design but are very limited in providing direct support for autonomy and societal cooperation needed for large scale systems. Some techniques for autonomy and cooperation have been explored in the past in ad hoc implementations, but not incorporated in any agent language. In order to address these shortcomings we extend the well known AgentSpeak(L) BDI agent language to include behaviour generation through planning, declarative goals and motivated goal adoption. We also develop a language-specific multiagent cooperation scheme and, to address potential problems arising from autonomy in a multiagent system, we extend our agents with a mechanism for norm processing leveraging existing theoretical work. These extensions allow for greater autonomy in the resulting systems, enabling them to synthesise new behaviours at runtime and to cooperate in non-scripted patterns.

Adaptivity in programming languages

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. An adaptive device is made up of an underlying formalism, for instance, an automaton, a grammar, a decision tree, etc., and an adaptive mechanism, responsible for providing features for self-modification. Adaptive languages are obtained by using some programming language as the device’s underlying formalism. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Conception of adaptive programming languages

Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behaviour are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Based on the operation of adaptive automata, the elementary ideas generanting programming adaptive languages are presented.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

A formação contínua de professores para o ensino fundamental regular noturno de jovens e adultos na Escola GM : ações, tensões e contradições de uma política pública municipal

A presente Dissertação conta uma breve história acerca do cotidiano de um programa de formação contínua de professores municipais, na periferia da Grande Porto Alegre, que iniciaram a lecionar no SEJA –Serviço de Educação de Jovens e Adultos- proposta político-pedagógica de Ensino Fundamental Regular de Jovens e Adultos. O pesquisador, aceito como partícipe reflexivo pelo grupo de professores de uma escola, desenvolveu uma modalidade de Pesquisa-Ação buscando contribuir na identificação e solução das situações-problemáticas que surgiram ao longo do referido programa de formação. A dissertação teoriza alguns saberes emergentes e vivenciados na pes-quisa-em-campo : concepção de currículo, prática docente e política de forma-ção contínua de professores para o Ensino Fundamental Regular de Jovens e Adultos; bem como, concepção de pesquisa educacional na escola. Durante a pesquisa-em-campo, o pesquisador-em-ação assumiu um po-sicionamento político de “parceria crítica” com o grupo de professores frente aos conflitos políticos surgidos nas relações destes com a respectiva Secretaria de Educação, gerando , por sua vez, outros conflitos devidamente discutidos no texto. Em função desses conflitos e demais circunstâncias a pesquisa sofreu alterações no seu objeto inicial de estudo, bem como nos respectivos procedi-mentos específicos, seguindo, portanto, a flexibilidade metodológica inerente à Pesquisa-Ação. São propostos princípios político-pedagógicos para as políticas públicas de formação contínua de professores para o Ensino Fundamental Regular de Jovens e Adultos. No relato reflexivo dessa caminhada o pesquisador encontrou seu pró-prio processo de aprendizagem, suas lacunas e limites de formação – vivência aproveitada em sua prática docente acadêmica.

O processo de integração da pessoa portadora de deficiência mental no ensino regular municipal de Florianópolis

A presente pesquisa teve como objetivo analisar os aspectos que configuram o processo de integração da pessoa portadora de deficiência mental no ensino regular municipal de Florianópolis. A metodologia adotada neste trabalho é de natureza qualitativa. O estudo caracteriza-se, quanto aos fins, como descritivo/exploratório, realizado sob a forma de estudo de caso e, quanto aos meios, como uma pesquisa bibliográfica, documental e de campo. Quanto aos participantes, foram intencionalmente selecionados docentes de unidades escolares da rede municipal de ensino de Florianópolis. A coleta das informações foi realizada através de observação não-participante, de análise documental e de questionário. Para análise das informações utilizou-se as técnicas de análise de conteúdo e da triangulação. Deste modo, verificou-se que as ações voltadas ao processo de integração da pessoa portadora de deficiência no ensino regular municipal de Florianópolis foram iniciadas em 1986 com a implantação das salas de recursos e oficializadas no ano seguinte através do Plano Estadual para Campanha de Matrícula Escolar (1987-1991). Os resultados da pesquisa também evidenciaram que os aspectos que configuram o processo integracional da pessoa portadora de deficiência mental na rede de ensino regular municipal de Florianópolis, de acordo com a percepção dos Professores de Educação Física, situam-se na falta de recursos materiais e pedagógicos adaptados; na falta de profissionais capacitados para o trabalho com alunos portadores de deficiência mental; na baixa interação do aluno portador de deficiência mental acentuada; no uso restrito do sistema de avaliação adotado; na postura favorável dos Professores de Educação Física quanto à política de integração e; no reconhecimento da importância que representa o papel docente para a efetivação do processo de integração.

Indicadores que promovem a aceitação do aluno com Síndrome de Down no ensino regular

Partindo do pressuposto que cada vez mais alunos com Síndrome de Down estão sendo incluídos nas classes regulares de ensino, procuramos através deste estudo apontar os indicadores que promovem a aceitação dos alunos com Síndrome de Down nas classes regulares de ensino. Esta investigação desenvolveu-se dentro de um modelo qualitativo de investigação, através do estudo de caso, com amostra constituída por três alunos (dois de terceira série e um de segunda série , do ensino fundamental), três professoras (duas de terceira e uma de segunda) e membros da equipe diretiva de uma escola da rede particular de ensino da cidade de Porto Alegre. Os instrumentos utilizados para a coleta dos dados foram: a) entrevista semi-estruturada com a equipe diretiva e com as professoras envolvidas na investigação; b) observações em dois momentos distintos: em situação de sala de aula e em situações extraclasse; c) análise do conteúdo da Proposta Pedagógica da escola e dos relatos dos alunos a partir de uma atividade pedagógica. Constatou-se após a análise dos dados a relevância das ações, a seguir pontuadas, como promovedoras de aceitação: a metodologia utilizada pelos professores nas suas práticas pedagógicas; a filosofia inclusivista da escola; a promoção dos relacionamentos sociais e a forma como são construídas as redes de relações; a participação da família e, em especial, o reconhecimento das possibilidades individuais, respeitando as diferenças. As ações anteriormente citadas, acrescidas de outras peculiaridades da instituição investigada, bem como a promoção das interações sociais, sinalizam para os indicadores de aceitação do aluno incluído por seus pares nas classes regulares de ensino.

Desafios que enfrenta a ANP para regular a indústria de petróleo no Brasil depois da quebra do monopólio em 1997 ate o ano de 2005

This work is analyzing the challenges which the National Petrol Agency is facing to regulate the Petrol industry in Brazil after the Monopoly crash in the period between 1997 until 2005. Due to the necessities of adaptation of its political strategies to the rules which determine the international economic flows, Brazil was forced to use the Economic Regulation in order to control the market. The regulation established in Brazil is not indifferent to imperfect markets. Thus can be find a conflict of interests among companies, the government and consumers within this process of regulation. The established agency does not have enough autonomy for administrating a regulation. The State with its paternalism power does not allow the agency to fulfill its function for which it was established, even though its function was established by law. A regulating policy which is clearly defined will establish a strong and independent agency with a clear limitation of its competences, avoiding divergent interpretation which prioritizes investments and promotes economic development. The agency will have the challenge to regulate the companies that enter the sector, allowing the opening of the market for new initiatives of investments which contribute to the welfare of the country and breaking at the same time the monopoly that is lead by Petrobras since 1953. Combining a stable set of rules with agility in order to adapt to changes will provide the regulator with a great decision-making power. The flexibility in the regulation will improve the correcting of the rules that were set in the beginning, being more efficient, which are based on acquired experience and achieved results. The structure of the agency and the flexibility of the regulation should be orientated on the promotion of competition in order to achieve economic and social development.

Razões determinantes de decréscimo do ensino de francês na ultima década, nas escolas da rede oficial do ensino regular de 1. e 2. graus no município do Rio de Janeiro

Este estudo teve como objetivo principal a análise dos elementos que contribuíram e/ou contribuem para o decréscimo do ensino do francês na rede oficial do ensino regular do lº e 2º graus do Município do Rio de Janeiro. Paralelamente, no decorrer do estudo surgiu a oportunidade de avaliar a significação do ensino desta língua como instrumento que possibilita ao educando aperfeiçoar-se e ampliar o seu campo de informação, dando-lhe maiores possibilidades de acompanhar o desenvolvimento cultural , científico e tecnológico do mundo e de fazer um breve histórico da influência francesa na cultura brasileira. o objetivo foi atingido através de uma pesquisa de campo em todo o Município do Rio de Janeiro, junto a diretores das escolas federais, estaduais e municipais do 1º e 2º graus e a professores de francês. Foram utilizados, como instrumentos , dois questionários, A e B (anexo nº I), aplicados a 50% das escolas oficiais do ensino regular do 1º e 2º graus das diversas regiões administrativas do Município do Rio de Janeiro que, na época da pesquisa (outubro de 1977), correspondiam a 232 escolas e a 200 professores lecionando francês . Os resultados obtidos evidenciaram que: 1) o ensino do francês continua sendo ministrado no 1º e 2º Graus do ensino regular; 2) é uma profissão exercida predominantemente por profissionais do sexo feminino (85,5%), procurada por jovens entre 20 e 36 a nos (56,6%), dos quais 41,1% casados; 3) a maioria dos professores tem boa formação profissional, utiliza métodos modernos (como o Capelle, o Vive Voix, o Mauger Rouge, o Frère Jacques e o VIF) e fizeram cursos de pós-graduação (68%); 4) apenas 23,5% dos professores conseguiram bolsas de estudos ; 5) os professores com mais de 8 anos (64 ,4% ) , e com 2 a 4 anos (24,4%) de magistério parecem os mais interessados pelo ensino do francês ; 6) 23,5% dos professores observaram pelas escolas, e 48,9% parte dos alunos; 7) a uma diminuição na oferta desta disciplina observaram a diminuição na procura por IV e a XVIII Regiões Administrativas são as que contam com maior número de professores de francês; B) em 1965 no 1º grau, 270 alunos optaram por esta língua e 170 pelo inglês; em 1968 as opções pelo ensino do francês no 1º grau aumentaram para 633 chegando a 8.465 em 1977; 9) 1970 foi apontado como o ano do começo do decréscimo (0,5%), que aumentou em 1975(6,8%), sofrendo novamente uma queda em 1977 (3,6%); 10) o ensino do francês é oferecido em 61,2% das escolas, e 37,6% que não o fazem; 11) a partir das 7as, e 8as, séries o número de alunos diminui tanto para o francês como para o inglês; 12) as principais razoes apontadas pelas escolas e pelos professores como causas do decréscimo do ensino do francês no Município do Rio de Janeiro, por ordem de importância, são: a diminuição da oferta pelas escolas, a falta de professores, a falta de interesse dos alunos, a preocupação com a formação profissional, a influência norte-americana, além de métodos inadequados, programas mal elaborados, a do ensino (Leis 4024/61 e 5692/71) e a pouca divulgação francesa.

Motivação à prática regular de atividades físicas: um estudo sobre tenistas brasileiros infanto-juvenis

As pesquisas sobre as motivações que levam crianças e jovens à prática de atividades físicas e desportivas vêm recebendo crescente destaque na literatura desportiva. O presente trabalho teve por objetivo central explorar e avaliar um grupo de 6 (seis) das mais relevantes dimensões motivacionais associadas à prática regular de atividades físicas, que melhor descrevem os jovens tenistas brasileiros da faixa etária de 13 a 16 anos: Controle de Estresse, Saúde, Prazer, Competitividade, Sociabilidade e Estética. Mais especificamente, o estudo procurou verificar se há diferença estatisticamente significativa entre as dimensões motivacionais dos tenistas segundo as variáveis controladas: Sexo; Categorias (“até 14anos” e “até 16 anos”); Ranking (tenistas “integrantes do ranking” (IR) e tenistas “não integrantes do ranking” (NIR)); Experiência em competições (tenistas “estreantes em competições” (ER) e tenistas “não estreantes em competições” (NER)). Para tanto, aplicou-se o Inventário de Motivação à Prática Regular de Atividades Físicas (IMPRAF-126; Balbinotti, 2004). O IMPRAF-126 é respondido numa escala do tipo Likert de cinco pontos (1 – Isto me motiva pouquíssimo a 5 – Isto me motiva muitíssimo) para verificar, em valores nominais, as dimensões que mais motivam os tenistas à prática de atividades físicas regulares. O IMPRAF-126 foi aplicado em 226 jovens tenistas de ambos os sexos, com idades entre 13 e 16 anos. Todos os tenistas participam das competições promovidas pelas Federações Gaúcha e Catarinense de Tênis. Constatou-se que a dimensão que mais motiva os tenistas à prática regular de atividades físicas é o Prazer seguido por um grupo, indissociável estatisticamente, formado pela Competitividade e a Saúde. Seguem-se a este grupo a Sociabilidade, a Estética e o Controle de Estresse. Avaliando as motivações dos tenistas com as variáveis controladas, percebe-se que o Controle de Estresse motiva significativamente mais os tenistas do sexo masculino em comparação com as tenistas do sexo feminino. Tenistas da Categoria “até 16 anos” se motivam significativamente mais que os da categoria “até 14 anos” pela Sociabilidade. A Competitividade motiva significativamente mais aos tenistas IR do que aos tenistas NIR. Os tenistas NEC se motivam significativamente mais que os tenistas EC pela Competitividade. Os resultados deste estudo sugerem que a prática dos jovens tenistas brasileiros se origina predominantemente pelas suas motivações intrínsecas. Recomendamos que novos estudos com tenistas e com atletas de outros esportes, sejam realizados para aprofundar os conhecimentos sobre a motivação dos jovens à prática de atividades físicas.

The rite of passage from regular to connoisseur consumer: the role of the taste transformation ritual in the specialty coffee context

Apesar de o campo da cultura de consumo ter abordado o papel do ritual no consumo, definindo e descrevendo este constructo e explicando suas dimensões, significados culturais, elementos, componentes e práticas, assim como revelando a diferenciação nas práticas dos consumidores, nenhuma pesquisa ainda identificou como os consumidores, por meio de práticas de ritual, estabelecem e manipulam suas próprias diferenciações em relação a outros consumidores durante o rito de passagem deles de uma categoria cultural de pessoa para outra. Tendo como base conceitos-chaves da teoria sobre ritual, minha pesquisa aborda o papel do ritual no consume de apreciação. Conduzindo um estudo etnográfico sobre consumo de apreciação de cafés especiais, eu realizei uma imersão no campo, visitando e observando consumidores em cafeterias independentes de destaque na América do Norte – Toronto, Montreal, Seattle e Nova York – de agosto de 2013 a julho de 2014. Eu também realizei uma imersão no contexto de cafés especiais no Brasil em Belo Horizonte e São Paulo, de agosto de 2014 a janeiro de 2015, para comparar e contrastar as culturas de consume de cafés especiais de Brasil, Estados Unidos e Canadá. Eu usei entrevistas longas, observação participante, netnografia, introspecção e análise histórica de artigos de jornais para coletar os dados, que foram interpretados utilizando a abordagem hermenêutica, comparando os consumidores em diferentes estágios durante o rito de passagem de apreciação. Para estender meu entendimento sobre o consumo de apreciação, eu também coletei dados sobre o contexto de consumo de vinho. Nesta tese, eu introduzo a ideia de ritual de transformação do gosto, teorizando sobre o processo do rito de passagem de apreciação, que converte consumidores regulares em consumidores apreciadores. Minha pesquisa revela que consumidores apreciadores são amadores em diferentes estágios do rito de passagem de apreciação. Eles se transformam pelo estabelecimento e reforço de oposições entre o consume de massa e de apreciação. O ritual de transformação do gosto envolve os seguintes elementos: (1) variação nas escolhas de produtos de alta qualidade, (2) o lugar para realizar a degustação, (3) o momento da degustação, (4) o ato de degustar, (5) investimento de tempo e dinheiro, (6) aumento do capital subcultural e social, (7) perseverança no rito de passagem. Os consumidores apreciadores participam da comunidade de consumo de apreciação. Essa comunidade heterogênea é composta por profissionais excelentes, apreciadores e consumidores regulares. As forças que direcionam a comunidade, de acordo com o que foi identificado no estudo, são a produção de capital social e subcultural, emulação do profissional e das práticas de ritual de consumo, tensões de performance entre os membros da comunidade, amizade comercial e jogo de status. Eu desenvolvo uma ampla consideração teórica que desenvolve e estende um número de conceitos em relação a ritual e consumo, gosto, comunidade heterogênea e consumidores apreciadores.