Leveraging new plans in AgentSpeak(PL)

In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are often self-contained procedures with an associated triggering event and a context condition, while any further information about the consequences of executing a plan is absent. However, agents designed using such an approach have limited flexibility at runtime, and rely on the designer’s ability to foresee all relevant situations an agent might have to handle. In order to overcome this limitation, we have created AgentSpeak(PL), an interpreter capable of performing state-space planning to generate new high-level plans. As the planning module creates new plans, the plan library is expanded, improving performance over time. However, for new plans to be useful in the long run, it is critical that the context condition associated with new plans is carefully generated. In this paper we describe a plan reuse technique aimed at improving an agent’s runtime performance by deriving optimal context conditions for new plans, allowing an agent to reuse generated plans as much as possible.

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.

Graphical constraints: a graphical user interface for constraint problems

A constraint satisfaction problem is a classical artificial intelligence paradigm characterized by a set of variables (each variable with an associated domain of possible values), and a set of constraints that specify relations among subsets of these variables. Solutions are assignments of values to all variables that satisfy all the constraints. Many real world problems may be modelled by means of constraints. The range of problems that can use this representation is very diverse and embraces areas like resource allocation, scheduling, timetabling or vehicle routing. Constraint programming is a form of declarative programming in the sense that instead of specifying a sequence of steps to execute, it relies on properties of the solutions to be found, which are explicitly defined by constraints. The idea of constraint programming is to solve problems by stating constraints which must be satisfied by the solutions. Constraint programming is based on specialized constraint solvers that take advantage of constraints to search for solutions. The success and popularity of complex problem solving tools can be greatly enhanced by the availability of friendly user interfaces. User interfaces cover two fundamental areas: receiving information from the user and communicating it to the system; and getting information from the system and deliver it to the user. Despite its potential impact, adequate user interfaces are uncommon in constraint programming in general. The main goal of this project is to develop a graphical user interface that allows to, intuitively, represent constraint satisfaction problems. The idea is to visually represent the variables of the problem, their domains and the problem constraints and enable the user to interact with an adequate constraint solver to process the constraints and compute the solutions. Moreover, the graphical interface should be capable of configure the solver’s parameters and present solutions in an appealing interactive way. As a proof of concept, the developed application – GraphicalConstraints – focus on continuous constraint programming, which deals with real valued variables and numerical constraints (equations and inequalities). RealPaver, a state-of-the-art solver in continuous domains, was used in the application. The graphical interface supports all stages of constraint processing, from the design of the constraint network to the presentation of the end feasible space solutions as 2D or 3D boxes.

Uma viagem aos saberes das formadoras de professores da Educação Infantil

This study aims to contribute with the professional development of the Trainers of childhood education teachers of the City Department of Education of Natal/RN, through a formation in context, trying to understand the teaching knowledge required in the practice of these professionals. The focus of the research is in teaching knowledge understood as the ideas, beliefs, conceptions, reasons, arguments, speeches that the trainers builds during his life (ALTET, 2001; PIMENTA, 2002; TARDIF, 2001; 2002). The study inserts itself in the qualitative approach of the educational research and the chosen methodology has characteristics of an inquiryaction. In the process, the following instruments had been used: questionnaires, press conferences, personal documents. The relevance of the present research is in achieving reflections concerning the role of the trainers of teachers, who needs to be seen as a mediator in the formation of teachers, in view of the fact that he interferes and is determinative in such a way in the formative process as in its results. The findings demonstrate that: a) the identity of the trainer is in a development process, what it is resembled to the effective situation of that, symbolically, the trainer exists, however, his attributions still are not enough clear; b) the teaching knowledge of the formation in the childhood education are related, among others points, primordially, to the function / role of the childhood education, child and teacher s point of view of this stage of the basic education; c) the Trainers teaching knowledge, concerning the teaching performance, ratifies the multiplicity of knowledge that the trainer must has, beyond the necessary complementarities and conciliation between the administrative and pedagogical aspects in the exercise of the function; d) the Trainers have knowledge that are according to the speech, consisting as declarative knowledge; e) there is a conflict between the teaching knowledge of the Trainers and the actions that are part of real life, generating contradictions between the formative saying and making

Efeito da coesão semântica sobre a discriminação de itens emocionais em testes de memória de reconhecimento de palavras

Highly emotional itens are best remembered in emotional memory tasks than neutral items. An example of emotional item that benefits declarative memory processes are the taboo words. These words undergo from a conventional prohibition, imposed by tradition or custom. Literature suggests that the strongest recollection these words is due to emotional arousal, as well as, the fact that they form a cohesive semantic group, which is a positive additive effect. However, studies with semantic lists show that cohesion can have a negative effect of interference, impairing memory. We analyzed, in two experiments, the effect of arousal and semantic cohesion of taboo words on recognition tests, comparing with into two other word categories: semantically related and without emotional arousal (semantic category) and neutral, with low semantic relation (objects). Our results indicate that cohesion has interfered whith the performance of the test by increasing the number of false alarms. This effect was strongly observed in the semantic category of words in both experiments, but also in the neutral and taboo words, when both were explicitly considered as semantic categories through the instruction of the test in Experiment 2. Despite the impairment induced by semantic cohesion in both experiments, the taboo words were more discriminated than others, and this result agrees with the indication of the emotional arousal as the main factor for the best recollection of emotional items in memory tests

Investigação da influência do cochilo na aprendizagem escolar

There is a known positive effect of nocturnal sleep for brain plasticity and the consolidation of declarative and procedural memories, as well as for the facilitation of insight in problem solving. However, a possible pro-mnemonic effect of daytime naps after learning is yet to be properly characterized. The goal of this project was to evaluate the influence of daytime naps on learning among elementary and middleschool students, measuring the one-day (acute), and semester-long (chronic) effects of post-learning naps on performance. In the Acute Day-Nap condition, the elementary students were exposed to a class and then randomly divided into three groups: Nap (N), Game-based English Class (GBEC) and Traditional English Class (TEC). There were 2 multiple-choice follow-up tests to evaluate students performance in the short and long runs. In the short run, the N group outperformed the other two groups; and such tendency was maintained in the long run. In the chronic condition, the middle-school students were randomly separated into two groups: Nap (N) and Class (C) and were observed during one academic term. The N group had increased school performance in relation to the C group. In the statistical analyses, independent t-tests were applied considering the scores significant when p<0,05, expressed in terms of average ± average standard error. Results can be interpreted as an indication that a single daytime nap opportunity is not enough to ensure learning benefits. Therefore, more research is needed in order to advocate in favor of a daytime nap as a pedagogical means of promoting enhanced school performance

Visual IMML: um perfil UML para a modelagem de interfaces de usuário

The software development processes proposed by the most recent approaches in Software Engineering make use old models. UML was proposed as the standard language for modeling. The user interface is an important part of the software and has a fundamental importance to improve its usability. Unfortunately the standard UML does not offer appropriate resources to model user interfaces. Some proposals have already been proposed to solve this problem: some authors have been using models in the development of interfaces (Model Based Development) and some proposals to extend UML have been elaborated. But none of them considers the theoretical perspective presented by the semiotic engineering, that considers that, through the system, the designer should be able to communicate to the user what he can do, and how to use the system itself. This work presents Visual IMML, an UML Profile that emphasizes the aspects of the semiotic engineering. This Profile is based on IMML, that is a declarative textual language. The Visual IMML is a proposal that aims to improve the specification process by using a visual modeling (using diagrams) language. It proposes a new set of modeling elements (stereotypes) specifically designed to the specification and documentation of user interfaces, considering the aspects of communication, interaction and functionality in an integrated manner

Um estudo exploratório sobre a formação conceitual em geometria de alunos do ensino médio

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

Role playing game eletrônico: uma tecnologia lúdica para aprender e ensinar matemática

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

Avaliação da ferramenta de visualização de software SoftVisOAH como apoio à depuração de programas: um experimento controlado

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

A variação entoacional da Ilha de Mosqueiro: contribuições para a formação do Atlas Prosódico Multimídia do Português do Norte do Brasil (AMPER – NORTE)

O presente trabalho teve como objetivo principal caracterizar a variação prosódica dialetal do português falado na zona rural da cidade de Belém (PA), distrito de Mosqueiro. A pesquisa de campo foi feita com base na metodologia utilizada pelo projeto AMPER, com o corpus constituído de 102 frases, obedecendo às mesmas restrições fonético-sintáticas. Dessa forma, as frases utilizadas nas gravações para a composição do corpus da zona rural de Belém analisadas neste trabalho são do tipo SVC (Sujeito + Verbo + complemento) e suas expansões com a inclusão de Sintagmas Adjetivais e Adverbiais. As sentenças do corpus têm 10, 13 e 14 vogais, sendo que os dois últimos tipos apresentam sintagma com extensão adjetival ou adverbial, respectivamente, à direita do verbo, como em “O pássaro gosta do Renato nadador” ou “O pássaro gosta do Renato de Mônaco”. Cada sentença foi repetida seis vezes, formando um corpus total de 612 frases por cada informante. Os parâmetros acústicos utilizados foram: a duração, a frequência fundamental e a intensidade. A análise dos parâmetros foi feita por meio de dados gerados nos aplicativos PRAAT, Interface MatLab e gráficos gerados no Excel. A pesquisa reuniu dados referentes a seis informantes adultos, de ambos os sexos, com nível de escolaridade fundamental, médio e superior. Os resultados forneceram um desenho entoacional comparativo entre as frases declarativas e interrogativas, além de breves observações sobre o comportamento das vogais pretônicas, postônicas e tônicas, de acordo com as estruturas acentuais e das palavras em diferentes posições frásicas. O foco foi direcionado para o Sintagma Nominal Final e suas extensões sobre o qual verificamos que a sentença interrogativa inicia sua curva melódica baixa em decorrência do pico entoacional no verbo “gosta”, e posterior ascendência na sílaba tônica; e a declarativa inicia a curva com ascendência até a pré-tônica e posterior descendência no final do percurso melódico.