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.