Using Normative Markov Decision Processes for Evaluating Electronic Contracts: A Case Study in a Simulated Aerospace Aftermarket

Before signing electronic contracts, a rational agent should estimate the expected utilities of these contracts and calculate the violation risks related to them. In order to perform such pre-signing procedures, this agent has to be capable of computing a policy taking into account the norms and sanctions in the contracts. In relation to this, the contribution of this work is threefold. First, we present the Normative Markov Decision Process, an extension of the Markov Decision Process for explicitly representing norms. In order to illustrate the usage of our framework, we model an example in a simulated aerospace aftermarket. Second, we specify an algorithm for identifying the states of the process which characterize the violation of norms. Finally, we show how to compute policies with our framework and how to calculate the risk of violating the norms in the contracts by adopting a particular policy.

Uma Proposta de especificação formal e fundamentação teórica para simulated annealing

Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.

Os robots nas aulas de informática: plataformas e problemas

Desde há alguns anos que vêm sendo desenvolvidas, em vários sítios do mundo, experiências com a utilização de Robots como uma ferramenta educativa, com especial incidência ao nível do Ensino Superior e em alguns casos no Ensino Básico ou Secundário. Neste trabalho de investigação pretende-se fazer uma análise crítica sobre o uso dos robots no ensino da programação nas disciplinas de Informática do Ensino Secundário e disciplina de Inteligência Artificial da Licenciatura do Curso de Engenharia Informática. Com o objectivo de usar o robot como mediador entre o aluno e o ensino da programação, identificamos os conteúdos programáticos das diversas disciplinas do Ensino Secundário e fizemos o levantamento de ferramentas e soluções tecnológicas existentes que pudessem ser aplicadas nas aulas. Como contributo desta investigação pretende-se: (i)disponibilizar uma série de problemas adequados aos vários conteúdos programáticos, para serem utilizados nas salas de aulas; (ii) criar e optimizar ferramentas, mais concretamente plataformas de programação, para os alunos resolverem os problemas através dos robots.

Construindo conhecimento: utilização de robots na aprendizagem de funções

A Escola e o Ensino, através da evolução dos diferentes sistemas que os caracterizaram ao longo dos tempos, tiveram e têm por objectivo não só a transmissão de conhecimentos mas também a preparação dos cidadãos mais jovens para a sua integração na vida social da sua comunidade. A escola atravessa momentos difíceis e os papéis dos intervenientes são questionados diariamente. Tal tem dado origem a alterações e a mudanças na concepção organizacional, de estratégia e de objectivos da escola e do próprio ensino. A profissão docente deixou de ser uma mera transmissão de saber, exigindo-se muito mais ao professor. O seu papel inclui já novas questões, tais como, como ensinar?, como fazer aprender? e como motivar os outros para que queiram aprender? A evolução tecnológica e a sua integração no ensino têm sido das principais fontes para a alteração operada sobre a escola e o seu objectivo. O desenvolvimento das tecnologias de informação e de comunicação (TIC) têm vindo a proporcionar novas formas de comunicar e de transmitir informação. A habilitação profissional para a docência no ensino básico e secundário implica a Prática de Ensino Supervisionado. Para além das planificações e da implementação das metodologias adoptadas visando o processo de ensino-aprendizagem da Matemática ao nível do 10º ano de escolaridade, desenvolvemos um projecto de cariz qualitativo cujo objectivo seria a análise da aplicabilidade da robótica, na sala de aula, enquanto elemento mediador e potenciador do processo de aprendizagem no tema das funções. A revisão bibliográfica demonstra que a robótica tem merecido elogios enquanto factor motivador e elemento que faculta uma conexão entre diversas representações, nomeadamente, os conceitos teóricos e a praticabilidade. O desenvolvimento de diversas actividades com duas turmas do 10º ano de escolaridade, utilizando robots LEGO Minstorms, revelou que a robótica não só é um elemento mediador do processo ensino-aprendizagem mas também, e sobretudo, é um catalisador da motivação, cooperação e envolvência dos alunos, levando-os, numa perspectiva construcionista, a construir conhecimento e a concretizar o simbolismo abstracto presente na Matemática.

Argumentative systems in robots

Nowadays, the development of intelligent agents intends to be more refined, using improved architectures and reasoning mechanisms. Revise the beliefs of an agent is also an important subject, due to the consistency that agents should have about their knowledge. In this work we propose deliberative and argumentative agents using Lego Mindstorms robots, Argumentative NXT BDI-like Agents. These agents are built using the notions of the BDI model and they are capable to reason using the DeLP formalism. They update their knowledge base with their perceptions and revise it when necessary. Two variations are presented: the Single Argumentative NXT BDI-like Agent and the MAS Argumentative NXT BDI-like Agent.

Os robots e a geometria dinâmica no ensino das funções no 7º Ano de Escolaridade: um estudo de caso

Nesta dissertação começo por fazer uma pequena reflexão sobre a minha experiência profissional. Seguindo-se a abordagem teórica que esteve como suporte para o desenvolvimento do meu estudo de caso, implementado nas minhas quatro turmas de 7º ano, num total de 109 alunos. Este estudo, baseou-se na aplicação de duas tarefas na unidade temática das Funções utilizando as tecnologias, nomeadamente, do robot MINDSTORMS® NXT da LEGO® e do software de geometria dinâmica GeoGebra como ferramentas de introdução e consolidação de conteúdos. O propósito desta tese de mestrado centra-se na importância e na relevância da utilização destas tecnologias no ensino da Matemática, no caso específico das Funções no 7º ano. A recolha e análise dos dados para a elaboração desta tese foram baseadas exclusivamente na vivência dos alunos aquando da realização das tarefas propostas, através da grelha de observação diária, da gravação em áudio e vídeo, de fotografias, das fichas de trabalho e dos questionários, visto ter optado por uma investigação qualitativa em que a participação dos intervenientes é fundamental. Foi evidente uma aceitação positiva por parte dos alunos a estas tecnologias. Assim sendo, permitiu-me concluir que realmente a aprendizagem dos mesmos foi significativa visto que a utilização destas ferramentas facilitou a aprendizagem de alguns conceitos abordados na unidade temática das Funções.

Ensino da matemática para a vida: criação de cenários de aprendizagem com recurso a robots

A Matemática para a Vida é uma disciplina dos Currículos Específicos Individuais que pretende ajudar os alunos com Necessidades Educativas Especiais a desenvolver aptidões que aumentem as suas competências pessoais e sociais e que facilitem a sua integração na sociedade. A matriz curricular visa a promoção da autonomia de modo a termos alunos capazes de enfrentar o dia a dia sozinhos. A presente investigação procurou conhecer mais sobre a forma como alunos com Necessidades Educativas Especiais (NEE) aprendem a Matemática para a Vida, de que forma atribuem significados, o que abrangem esses significados e qual o papel dos robots na construção dessa aprendizagem. Utilizou-se uma abordagem qualitativa com recurso à observação participante. O estudo envolveu a criação de um cenário de aprendizagem composto por um robot e elementos com formas geométricas distintas, tendo como participantes duas alunas com NEE. A recolha de dados foi feita por observação direta, registos áudio e vídeo e análise dos trabalhos desenvolvidos pelas alunas. Da análise dos dados concluiu-se que o uso dos robots permitiu uma aproximação da escola às reais necessidades dos alunos com NEE, proporcionando-lhes novas oportunidades de aprendizagem e momentos de descoberta e partilha. Ao trabalharem com o robot, as alunas adquiriram novas competências e, como consequência das suas pequenas conquistas, ganharam mais autonomia, tornando-se capazes de tomar decisões face aos desafios enfrentados. A utilização do robot contribuiu ainda para o estímulo da criatividade, além de ter permitido a construção do conhecimento de acordo com o ritmo individual das alunas, ao possibilitar novas formas de pensar e de aprender.

Contribuição para o estudo da aprendizagem da matemática e da programação em comunidades virtuais de prática com foco no uso de robots como mediadores da aprendizagem

Contribuição para o Estudo da Aprendizagem da Matemática e da Programação em Comunidades Virtuais de Prática com Foco no Uso de Robots como Mediadores da Aprendizagem O propósito deste estudo, desenvolvido no âmbito de um projeto de investigação que envolveu a utilização de robots na aprendizagem colaborativa da Matemática e da Informática através da Web, é analisar e discutir a noção de participação e o processo de construção do conhecimento em comunidades virtuais de prática. O referido projeto foi desenvolvido em três etapas principais. Na primeira, foram selecionadas as ferramentas de comunicação a serem utilizadas. A segunda etapa envolveu a elaboração e contextualização dos problemas-desafio a serem resolvidos pelos grupos virtuais. A terceira e última etapa do projeto compreendeu o registo e a recolha dos dados e informações obtidos nas reuniões virtuais com grupos de alunos do Ensino Secundário e sua posterior análise, utilizando uma abordagem qualitativa de natureza interpretativa, tendo como referencial teórico a teoria da aprendizagem situada de Lave e Wenger e os conceitos subjacentes às comunidades de prática, objetivando com isto melhor compreender os efeitos das tecnologias sobre tais comunidades, bem como as características da aprendizagem realizada em espaços virtuais. A utilização de robots como mediadores da aprendizagem facilitou a exploração de conceitos abstratos fundamentais relativos às áreas da Matemática e da Informática, permitindo com isto que as tarefas de programação necessárias à resolução dos problemas propostos fizessem mais sentido, pelo facto dos resultados obtidos poderem ser concretizados no mundo real.

Os robots na aprendizagem da trignometria

Este trabalho foi elaborado no âmbito do Mestrado de Ensino de Matemática do 3º Ciclo do Ensino Básico e Secundário da Universidade da Madeira, no ano letivo de 2012/2013. Os grandes objetivos deste estudo são os de analisar qualitativamente uma atividade, para compreender como é que os alunos aprendem trigonometria, utilizando os robots NXT da Lego. De igual modo, se procede também, de forma sucinta, à apresentação do trabalho desenvolvido pelo grupo de estágio, ao longo da Prática de Ensino Supervisionado. Para a realização da investigação, foram recolhidos dados pelo investigador, através de registos audiovisuais do trabalho dos alunos, com câmara e vídeo. Com o fim de melhor estudar o problema aqui apresentado, o mesmo foi dissecado em três questões de investigação: (a) Que aprendizagens os alunos realizam com a montagem, programação e interação com os robots? (b) De que forma é que os alunos aprendem trigonometria, quando utilizam os Robots? (c) Quais as dificuldades manifestadas pelos alunos na resolução de problemas? As questões de investigação iluminaram a análise dos dados. Das conclusões que advêm deste estudo destaca-se o papel essencial da robótica e dos materiais manipuláveis, na construção e concetualização do conhecimento dos alunos.

A survey of control architectures for autonomous mobile robots

MEDEIROS, Adelardo A. D.A survey of control architectures for autonomous mobile robots. J. Braz. Comp. Soc., Campinas, v. 4, n. 3, abr. 1998 .Disponível em: Acesso: 27 set. 2010.

TORP: The Open Robot Project A Framework for Module-Based Robots

The development of robots has shown itself as a very complex interdisciplinary research field. The predominant procedure for these developments in the last decades is based on the assumption that each robot is a fully personalized project, with the direct embedding of hardware and software technologies in robot parts with no level of abstraction. Although this methodology has brought countless benefits to the robotics research, on the other hand, it has imposed major drawbacks: (i) the difficulty to reuse hardware and software parts in new robots or new versions; (ii) the difficulty to compare performance of different robots parts; and (iii) the difficulty to adapt development needs-in hardware and software levels-to local groups expertise. Large advances might be reached, for example, if physical parts of a robot could be reused in a different robot constructed with other technologies by other researcher or group. This paper proposes a framework for robots, TORP (The Open Robot Project), that aims to put forward a standardization in all dimensions (electrical, mechanical and computational) of a robot shared development model. This architecture is based on the dissociation between the robot and its parts, and between the robot parts and their technologies. In this paper, the first specification for a TORP family and the first humanoid robot constructed following the TORP specification set are presented, as well as the advances proposed for their improvement.

Controle adaptativo robusto para um modelo desacoplado de um robô móvel

This thesis presents a new structure of robust adaptive controller applied to mobile robots (surface mobile robot) with nonholonomic constraints. It acts in the dynamics and kinematics of the robot, and it is split in two distinct parts. The first part controls the robot dynamics, using variable structure model reference adaptive controllers. The second part controls the robot kinematics, using a position controller, whose objective is to make the robot to reach any point in the cartesian plan. The kinematic controller is based only on information about the robot configuration. A decoupling method is adopted to transform the linear model of the mobile robot, a multiple-input multiple-output system, into two decoupled single-input single-output systems, thus reducing the complexity of designing the controller for the mobile robot. After that, a variable structure model reference adaptive controller is applied to each one of the resulting systems. One of such controllers will be responsible for the robot position and the other for the leading angle, using reference signals generated by the position controller. To validate the proposed structure, some simulated and experimental results using differential drive mobile robots of a robot soccer kit are presented. The simulator uses the main characteristics of real physical system as noise and non-linearities such as deadzone and saturation. The experimental results were obtained through an C++ program applied to the robot soccer kit of Microrobot team at the LACI/UFRN. The simulated and experimental results are presented and discussed at the end of the text

Controle dinâmico de robôs móveis com acionamento diferencial

This work addresses the dynamic control problem of two-wheeled differentially driven non-holonomic mobile robot. Strategies for robot positioning control and robot orientating control are presented. Such strategies just require information about the robot con¯guration (x, y and teta), which can be collected by an absolute positioning system. The strategies development is related to a change on the controlled variables for such systems, from x, y and teta to s (denoting the robot linear displacement) and teta, and makes use of the polar coordinates representation for the robot kinematic model. Thus, it is possible to obtain a linear representation for the mobile robot dynamic model and to develop such strategies. It is also presented that such strategies allow the use of linear controllers to solve the control problem. It is shown that there is flexibility to choice the linear controller (P, PI, PID, Model Matching techniques, others) to be implemented. This work presents an introduction to mobile robotics and their characteristics followed by the control strategies development and controllers design. Finally, simulated and experimental results are presented and commented

Análise de escalabilidade de uma implementação paralela do simulated annealing acoplado

This paper analyzes the performance of a parallel implementation of Coupled Simulated Annealing (CSA) for the unconstrained optimization of continuous variables problems. Parallel processing is an efficient form of information processing with emphasis on exploration of simultaneous events in the execution of software. It arises primarily due to high computational performance demands, and the difficulty in increasing the speed of a single processing core. Despite multicore processors being easily found nowadays, several algorithms are not yet suitable for running on parallel architectures. The algorithm is characterized by a group of Simulated Annealing (SA) optimizers working together on refining the solution. Each SA optimizer runs on a single thread executed by different processors. In the analysis of parallel performance and scalability, these metrics were investigated: the execution time; the speedup of the algorithm with respect to increasing the number of processors; and the efficient use of processing elements with respect to the increasing size of the treated problem. Furthermore, the quality of the final solution was verified. For the study, this paper proposes a parallel version of CSA and its equivalent serial version. Both algorithms were analysed on 14 benchmark functions. For each of these functions, the CSA is evaluated using 2-24 optimizers. The results obtained are shown and discussed observing the analysis of the metrics. The conclusions of the paper characterize the CSA as a good parallel algorithm, both in the quality of the solutions and the parallel scalability and parallel efficiency