[pt] O presente trabalho analisa o Problema da Programação de Lotes Econômicos (ELSP) que, freqüentemente, se apresenta em indústrias com processos produtivos em linha (onde a produção segue uma seqüência especificada de operações). Tal linha deve manufaturar diferentes produtos, só sendo possível fabricar um produto por vez. Além disso, para o caso estudado, outra característica importante é que os tempos e custos de setup dependem da seqüência de fabricação escolhida. O objetivo do problema é determinar uma seqüência de produção que permita obter conjuntamente os menores custos de setup e de manter estoques, satisfazendo a demanda do mercado sem atrasos. É factível, na teoria, encontrar matematicamente uma solução ótima para o problema, mas sua obtenção se torna impraticável pelas numerosíssimas possibilidades e muitas variáveis a considerar. Por tal motivo, recorre-se ao uso de métodos heurísticos. Neste trabalho analisam-se os dados fornecidos por uma empresa de refrigerantes, que possui um processo em linha, e se estabelecem as seqüências e os volumes de produção para cada produto, obtendo custos próximos do ótimo. O método que se propõe não só é útil para o caso específico, senão também pode ser adaptado a indústrias que guardem características semelhantes. / [en] This essay analyzes the Economic Lot Scheduling Problem (ELSP), usually found in industries with line production processes (production follows a specified sequence of operations). Such line must manufacture different products, and it is only possible to manufacture a single product at a time. Besides, for the case studied another important characteristic exists namely, the time and setup cost depend on the chosen production sequence. The objective of the problem is to determine a production sequence that minimizes setup and inventory carrying costs, satisfying the market demand without delays. It is feasible, in theory, to find a mathematically optimal solution for the problem, but in reality it becomes impracticable due to the very large number of possibilities and the many variables to consider. For this reason, one must resort to heuristic methods. In this work, the data provided by a soft drinks manufacturer is analyzed, generating sequences and production volumes for each product, obtaining costs close to the optimum. The proposed method applies to the specific case study, and it is likely to be adaptable to a large number of industries with similar characteristics.

[pt] Nas organizações industriais contemporâneas, a competição global e o avanço das tecnologias de informação tornam os produtos e processos cada vez mais semelhantes. O desempenho operacional passa, então, a ser um dos principais mecanismos de diferenciação. Nesse cenário, a área de planejamento e programação da produção ganha um inédito papel estratégico. O presente estudo se propôs a investigar esse novo papel com um olhar centrado nas rotinas organizacionais e nas pessoas que exercem a função. Mais especificamente, a partir de uma abordagem qualitativa e interpretativa, o trabalho utilizou o método fenomenográfico para compreender como os programadores concebem a competência nas suas rotinas organizacionais. A análise das entrevistas identificou três diferentes concepções. A primeira está associada à tarefa de alocação eficiente de recursos e materiais. A segunda vê a programação como um processo de mediação entre as diferentes áreas da empresa. E a terceira atribui ao programador de produção a reponsabilidade de fazer a gestão estratégica da operação. Além disso, foram identificadas seis dimensões do fenômeno que explicam e diferenciam as concepções, são elas: Raciocínio lógico, Conhecimento técnico (do processo produtivo), Conhecimento sistêmico (de outras áreas), Estratégia de negociação, Aspecto manifesto da rotina e Envolvimento com a estratégia corporativa. Os achados sugerem, por fim, que a dimensão estratégica da programação é verificável, em diferentes graus, nas suas rotinas. Além disso, ao revelar a concepção competência como sendo a mediação entre as diferentes áreas da empresa, o estudo traz as estratégias de negociação para o centro do debate sobre a realização competente das rotinas de programação da produção. / [en] In contemporary industrial organizations, global competition and the advancement of information technologies make products and processes increasingly similar. Operational performance then becomes one of the main differentiation mechanisms. In this scenario, the area of production planning and scheduling gains an unprecedented strategic role. The present study aimed to investigate this new role with a focus on the organizational routines and the people who perform them. More specifically, from a qualitative and interpretative approach, this study used phenomenography method to understand how schedulers conceive competence in their organizational routines. The analysis of the interviews identified three different conceptions. The first is associated with the task of efficient allocation of resources and materials. The second sees scheduling as a process of mediation between the different areas of the company. And the third assigns to the production planner the responsibility to do the strategic management of the enterprise operations. In addition, six dimensions of the phenomenon that explain and differentiate the conceptions are identified: Logical reasoning, Technical knowledge (of the productive process), Systemic knowledge (of other areas), Negotiation strategy, Manifested aspect of the routine and Involvement with corporate strategy. The findings suggest that the strategic dimension of scheduling is verifiable, to different degrees, in production planning routines. In addition, by revealing the concept of competence as being the mediation between the different areas of the company, the study brings negotiation strategies to the center of the debate on the competent realization of production planning routines.

Este trabalho apresenta um modelo de escalonamento hierárquico para exploração do paralelismo E Independente e do paralelismo OU na programação em lógica. O modelo utiliza informações de granulosidade geradas pelo GRANLOG (Granularity Analyzer for Logic Programming) para o auxílio ao escalonamento. Um estudo detalhado de ambientes de programação em lógica explorando o paralelismo é apresentado. A partir deste, é feita uma comparação destacando as principais características de cada um. O escalonamento em linhas gerais também é descrito e uma enfâse maior é dada ao escalonamento dinâmico. As principais vantagens e desvantagens de cada escalonador são mostradas. O modelo proposto recebe o nome de DSLP – Distributed Scheduler for Logic Programming e realiza o escalonamento em duas fases. Inicialmente é executada a Fase OU, na qual todo paralelismo OU é explorado. Em seguida, é iniciada a Fase E onde ocorre a exploração do paralelismo E Independente. A estratégia de escalonamento proposta, utiliza informações de complexidade do GRANLOG para determinar o trabalho a ser exportado, bem como o nível de sobrecarga dos nodos. Para validação do trabalho, um protótipo utilizando o ambiente Parallel Virtual Machine foi implementado. O protótipo é um simulador de programas Prolog e implementa a fase E de escalonamento. / This work presents a hierarchical scheduling model for exploration of the Independent AND parallelism and OR parallelism in logic programming. The model uses granularity information generated by GRANLOG (Granularity Analyzer for Logic Programming) to aid the scheduler. A detailed study of parallel logic programming environments is presented. Starting from this, it is made a comparison highlighting the main characteristics of each one. Scheduling in general is also described and the dynamic scheduling is pointed out. The main advantages and disadvantages of each scheduler are shown. The proposed model receives the name of DSLP – Distributed Scheduler for Logic Programming and it accomplishes the scheduling in two phases. Initially the OR Phase is executed and the whole OR parallelism is explored. Soon after, it is initiate the AND Phase with the exploration of the Independent AND parallelism. The scheduling strategy proposed uses complexity information generated by GRANLOG to determinate the task to be exported, as well as the nodes overloaded level. For work validation, a prototype using the Parallel Virtual Machine was implemented. The prototype is a Prolog simulator and it implements the scheduling AND phase.

Esta Dissertação apresenta um modelo de paralelismo de grão fino para utilização em aplicações baseadas em objetos distribuídos. A pesquisa é desenvolvida sobre o modelo de distribuição de objetos da linguagem DPC++, uma extensão de C++ concebida na Universidade Federal do Rio Grande do Sul. A motivação para o desenvolvimento deste modelo é a crescente disponibilidade de arquiteturas multiprocessadas e de tecnologias de comunicação de alto desempenho, o que permite o aproveitamento eficiente de um nível de concorrência de menor granularidade. O objetivo do trabalho é integrar de forma adequada e eficiente a utilização de tal nível de concorrência no modelo original de distribuição de objetos de DPC++, permitindo que as aplicações desenvolvidas com a linguagem possam explorar ao máximo o poder computacional oferecido pelas arquiteturas citadas. Como principais características, o modelo proposto apresenta a capacidade de concorrência entre os métodos de um mesmo objeto distribuído e a introdução de um mecanismo de sincronização baseado na semântica de monitores. Os resultados obtidos com a implementação de uma aplicação de geração de fractais de Mandelbrot demonstram que, em termos de desempenho, o modelo apresentado efetivamente atinge seus objetivos. Além disso, a extinção a sintaxe original de programação de DPC++ revela importante contribuição no sentido de aumentar o poder de expressão da linguagem para o desenvolvimento de aplicações paralelas. / This Thesis presents a fine-grain concurrency model for applications based on distributed objects. The basis for the development of this research is the model of distribution of objects presented by the language DPC++, an extension of C++ conceived at the Federal University of Rio Grande do Sul. The motivation for the development of this model is the growing availability of multiprocessor architectures and high-performance communication technologies, which allows for the efficient use of a finer grain of concurrency. The purpose of this work is to efficiently integrate such level of concurrency into the original model of distribution of objects of DPC++, making it possible for the applications developed with the language to thoroughly explore the computational power offered by the mentioned architectures. As main features the proposed model presents the possibility of concurrency between the methods of a single distributed object and the introduction of a synchronisation mechanism based on the semantics of monitors. The results obtained with the implementation of aMandelbrot fractal generation application showthat, in relation to performance, the presented model effectively reaches its purposes. In addition, the extension to the original programming sintax of DPC++ reveals an important contribution towards a higher expressivity degree in the development of parallel applications.

Este trabalho a dedicado ao estudo da exploração de paralelismo OU na programação em lógica com restrições em ambientes distribuídos. A programação em lógica, cuja linguagem mais significativa 6 Prolog, tem como premissa a utilização da lógica de predicados como linguagem computacional. A programação em lógica com restrições (CLP) é uma extensão da programação em lógica, onde busca-se a eficiência e a possibilidade de executar novas classes de problemas. Variáveis em CLP podem pertencer a domínios específicos como, por exemplo, reais ou booleanos. O principal conceito introduzido é a restrição. Restrição a uma equação que representa uma certa informação sobre uma variável e a sua relação com outras variáveis. o uso de restrições foi proposto para diminuir o espaço de busca na execução dos programas. Apesar de mais eficientes que a programação em lógica clássica, para algumas aplicações reais o desempenho das linguagens CLP ainda é insatisfatório. Por isso, é necessário buscar alternativas novas como a execução em paralelo. A exploração de paralelismo implícito em programas em 1ógica já demonstrou resultados promissores. Vários modelos foram propostos e implementados utilizando as duas principais fontes de paralelismo — E e OU — de forma isolada ou combinada. O objetivo principal desse trabalho é apresentar o modelo pclp(FD) de exploração de paralelismo OU multi-sequêncial para um ambiente com memória distribuída. O modelo pclp(FD) caracteriza-se pela existência de vários trabalhadores, cada um deles possuindo uma maquina abstrata completa. O escalonamento de tarefas a realizado por uma política dinâmica e distribuída. Uma tarefa em pclp(FD) equivale a um ponto de escolha e a um contexto de execução. O contexto de execução a formado por porções da pilha do exportador. Para que o importador tenha acesso ao contexto de execução utiliza-se a cópia incremental, que a uma das varias técnicas possíveis. Cada trabalhador possui a sua própria copia privada das pilhas de execução. A cópia caracteriza-se pelo envio das pilhas de execução do exportador para uma área privada do importador. A cópia incremental é uma técnica mais otimizada que verifica a existência de partes comuns entre os trabalhadores, copiando apenas as panes novas. O algoritmo de cópia incremental proposto no modelo a feito sem nenhuma centralização de informação do estado das pilhas. O projeto e implementação de um prot6tipo para esse modelo, utilizando a linguagem clp(FD), que implementa CLP sobre domínios finitos, permitirá uma analise das vantagens e desvantagens do modelo proposto. Os resultados obtidos com a análise servirão de base para trabalhos futuros, visando aprimorar a implementação e o modelo. / This work is dedicated to the study of the exploration of OR parallelism in Constraint Logic Programming for distributed environment. Logic Programming, which the most meaningful language is Prolog, has as premise the use of the logic of predicates as computational language. Constraint Logic Programming or CLP is an extension of the logic programming, where efficiency and the possibility to execute new kinds of problems are searched. A variable in CLP can belong to specific domains as, for example, Real or Boolean. The main concept introduced is the constraint. Constraint is an equation that represents a certain information over a variable and its relation with others variables. The use of constraints was proposed to decrease search space in the program execution. Although it is more efficient than classic logic programming, for some real applications, the performance of CLP languages still is unsatisfactory. So, it is necessary to search alternatives as parallel execution. The exploration of implicit parallelism in programs in logic has already demonstrated promising results. Several models have been proposed and implemented using the two main sources of parallelism - AND and OR — in an isolated or combined form. The main objective of this work is to present the pclp(FD) model of exploration of multi-sequential OR parallelism for a distributed memory environment. The pclp(FD) model is characterized for the existence of some workers, each one of them possessing a complete abstract machine. Task scheduling is executed by one dynamic and distributed policy. A task in pclp(FD) is equivalent to a choice point and an execution context. Execution context is formed by portions of the stack of the exporter. So that importer has access to the execution context, it uses incremental copy, which is one of the several possible techniques. The copy is characterized for sending execution stacks of the exporter to a private area of the importer, that is, each worker possesses its private copy of the execution stacks. The incremental copy is a more optimized technique that verifies the existence of common parts between workers, copying only the new ones. The incremental copy algorithm proposed in the model executes without centralized information of the state of the stacks. A prototype project and implementation for this model, using the language clp(FD), that implements CLP over finite domains, will allow an analysis of advantages and disadvantages of the considered model. The results gotten with the analysis will serve of base for future works, aiming to improve the implementation and the model.

Dada a importância de agentes inteligentes e sistemas multiagentes na Ciência da Computação e na Inteligência Artificial, a programação orientada a agentes (AOP, do inglês Agent-oriented programming) emergiu como um novo paradigma para a criação de sistemas computacionais complexos. Assim, nas últimas décadas, houve um florescimento da literatura em programação orientada a agentes e, com isso, surgiram diversas linguages de programação seguindo tal paradigma, como AgentSpeak (RAO, 1996; BORDINI; HUBNER; WOOLDRIDGE, 2007), Jadex (POKAHR; BRAUBACH; LAMERSDORF, 2005), 3APL/2APL (DASTANI; VAN RIEMSDIJK; MEYER, 2005; DASTANI, 2008), GOAL (HINDRIKS et al., 2001), entre outras. Programação orientada a agentes é um paradigma de programação proposto por Shoham (1993) no qual os elementos mínimos de um programa são agentes. Shoham (1993) defende que agentes autônomos e sistemas multiagentes configuram-se como uma forma diferente de se organizar uma solução para um problema computacional, de forma que a construção de um sistema multiagente para a solução de um problema pode ser entendida como um paradgima de programação. Para entender tal paradigma, é necessário entender o conceito de agente. Agente, nesse contexto, é uma entidade computacional descrita por certos atributos - chamados de atitudes mentais - que descrevem o seu estado interno e sua relação com o ambiente externo. Atribuir a interpretação de atitudes mentais a tais atributos é válida, defende Shoham (1993), uma vez que esses atributos se comportem de forma semelhante as atitudes mentais usadas para descrever o comportamento humano e desde que sejam pragmaticamente justificáveis, i.e. úteis à solução do problema. Entender, portanto, o significado de termos como ’crença’, ’desejo’, ’intenção’, etc., assim como suas propriedades fundamentais, é de fundamental importância para estabelecer linguagens de programação orientadas a agentes. Nesse trabalho, vamos nos preocupar com um tipo específico de linguagens de programação orientadas a agentes, as chamadas linguagens BDI. Linguagens BDI são baseadas na teoria BDI da Filosofia da Ação em que o estado mental de um agente (e suas ações) é descrito por suas crenças, desejos e intenções. Enquanto a construção de sistemas baseados em agentes e linguagens de programação foram tópicos bastante discutidos na literatura, a conexão entre tais sistemas e linguagens com o trabalho teórico proveniente da Inteligência Artificial e da Filosofia da Ação ainda não está bem estabelecida. Essa distância entre a teoria e a prática da construção de sistemas é bem reconhecida na literatura relevante e comumente chamada de “gap semântico” (gap em inglês significa lacuna ou abertura e representa a distância entre os modelos teóricos e sua implementação em linguagens e sistemas). Muitos trabalhos tentaram atacar o problema do gap semântico para linguagens de programação específicas, como para as linguagens AgentSpeak (BORDINI; MOREIRA, 2004), GOAL (HINDRIKS; VAN DER HOEK, 2008), etc. De fato, Rao (1996, p. 44) afirma que “O cálice sagrado da pesquisa em agentes BDI é mostrar uma correspondência 1-a-1 com uma linguagem razoavelmente útil e expressiva” (tradução nossa)1 Uma limitação crucial, em nossa opinião, das tentativas passadas de estabeler uma conexão entre linguagens de programação orientadas a agentes e lógicas BDI é que elas se baseiam em estabelecer a interpretação de um programa somente no nível estático. De outra forma, dado um estado de um programa, tais trabalhos tentam estabelecer uma interpretação declarativa, i.e. baseada em lógica, do estado do programa respresentando assim o estado mental do agente. Não é claro, entretanto, como a execução do programa pode ser entendida enquanto mudanças no estado mental do agente. A razão para isso, nós acreditamos, está nos formalismos utilizados para especificar agentes BDI. De fato, as lógicas BDI propostas são, em sua maioria, estáticas ou incapazes de representar ações mentais. O ato de revisão uma crença, adotar um objetivo ou mudar de opinião são exemplos de ações mentais, i.e. ações que são executadas internarmente ao agente e afetando somente seu estado mental, sendo portanto não observáveis. Tais ações são, em nossa opinião, intrinsecamente diferentes de ações ônticas que consistem de comportamento observável e que possivelmente afeta o ambiente externo ao agente. Essa diferença é comumente reconhecida no estudo da semântica de linguagens de programação orientadas a agentes (BORDINI; HUBNER; WOOLDRIDGE, 2007; D’INVERNO et al., 1998; MENEGUZZI; LUCK, 2009), entretanto os formalismos disponíveis para se especificar raciocínio BDI, em nosso conhecimento, não provem recursos expressivos para codificar tal diferença. Nós acreditamos que, para atacar o gap semântico, precisamos de um ferramental semântico que permita a especificação de ações mentais, assim como ações ônticas. Lógicas Dinâmicas Epistêmicas (DEL, do inglês Dynamic Epistemic Logic) são uma família de lógicas modais dinâmicas largamente utilizadas para estudar os fenômenos de mudança do estado mental de agentes. Os trabalhos em DEL foram fortemente influenciados pela escola holandesa de lógica, com maior proponente Johna Van Benthem, e seu “desvio dinâmico” em lógica (dynamic turn em inglês) que propõe a utilização de lógicas dinâmicas para compreender ações de mudanças mentais (VAN BENTHEM, 1996). O formalismo das DEL deriva de diversas vertentes do estudo de mudança epistêmica, como o trabalho em teoria da Revisão de Crenças AGM (ALCHOURRÓN; GÄRDENFORS; MAKINSON, 1985), e Epistemologia Bayesiana (HÁJEK; HARTMANN, 2010). Tais lógicas adotam a abordagem, primeiro proposta por Segerberg (1999), de representar mudanças epistêmicas dentro da mesma linguagem utilizada para representar as noções de crença e conhecimento, diferente da abordagem extra-semântica do Revisão de Crenças a la AGM. No contexto das DEL, uma lógica nos parece particulamente interessante para o estudo de programação orientada a agentes: a Lógica Dinâmica de Preferências (DPL, do inglês Dynamic Preference Logic) de Girard (2008). DPL, também conhecida como lógica dinâmica de ordem, é uma lógica dinâmica para o estudo de preferências que possui grande expressibilidade para codificar diversas atiutudes mentais. De fato, tal lógica foi empregada para o estudo de obrigações (VAN BENTHEM; GROSSI; LIU, 2014), crenças (GIRARD; ROTT, 2014), preferências (GIRARD, 2008), etc. Tal lógica possui fortes ligações com raciocínio não-monotônico e com lógicas já propostas para o estudo de atitudes mentais na área de Teoria da Decisão (BOUTILIER, 1994b) Nós acreditamos que DPL constitui um candidato ideal para ser utilizado como ferramental semântico para se estudar atitudes mentais da teoria BDI por permitir grande flexibilidade para representação de tais atitudes, assim como por permitir a fácil representação de ações mentais como revisão de crenças, adoção de desejos, etc. Mais ainda, pelo trabalho de Liu (2011), sabemos que existem representações sintáticas dos modelos de tal lógica que podem ser utilizados para raciocinar sobre atitudes mentais, sendo assim candidatos naturais para serem utilizados como estruturas de dados para uma implementação semanticamente fundamentada de uma linguagem de programação orientada a agentes. Assim, nesse trabalho nós avançamos no problema de reduzir o gap semântico entre linguagens de programação orientadas a agentes e formalismos lógicos para especificar agentes BDI. Nós exploramos não somente como estabelecer as conexões entre as estruturas estáticas, i.e. estado de um programa e um modelo da lógica, mas também como as ações de raciocínio pelas quais se especifica a semântica formal de uma linguagem de programação orientada a agentes podem ser entendidas dentro da lógica como operadores dinâmicos que representam ações mentais do agente. Com essa conexão, nós provemos também um conjunto de operações que podem ser utilizadas para se implementar uma linguagem de programação orientada a agentes e que preservam a conexão entre os programas dessa linguagem e os modelos que representam o estado mental de um agente. Finalmente, com essas conexões, nós desenvolvemos um arcabouço para estudar a dinâmica de atitudes mentais, tais como crenças, desejos e inteções, e como reproduzir essas propriedades na semântica de linguagens de programação. / As the notions of Agency and Multiagent System became important topics for the Computer Science and Artificial Intelligence communities, Agent Programming has been proposed as a paradigm for the development of computer systems. As such, in the last decade, we have seen the flourishing of the literature on Agent Programming with the proposal of several programming languages, e.g. AgentSpeak (RAO, 1996; BORDINI; HUBNER;WOOLDRIDGE, 2007), Jadex (POKAHR; BRAUBACH; LAMERSDORF, 2005), JACK (HOWDEN et al., 2001), 3APL/2APL (DASTANI; VAN RIEMSDIJK; MEYER, 2005; DASTANI, 2008), GOAL (HINDRIKS et al., 2001), among others. Agent Programming is a programming paradigm proposed by Shoham (1993) in which the minimal units are agents. An agent is an entity composed of mental attitudes, that describe the its internal state - such as its motivations and decisions - as well as its relation to the external world - its beliefs about the world, its obligations, etc. This programming paradigm stems from the work on Philosophy of Action and Artificial Intelligence concerning the notions of intentional action and formal models of agents’ mental states. As such, the meaning (and properties) of notions such as belief, desire, intention, etc. as studied in these disciplines are of central importance to the area. Particularly, we will concentrate in our work on agent programming languages influenced by the so-called BDI paradigm of agency, in which an agent is described by her beliefs, desires, intentions. While the engineering of such languages has been much discussed, the connections between the theoretical work on Philosophy and Artificial Intelligence and its implementations in programming languages are not so clearly understood yet. This distance between theory and practice has been acknowledged in the literature for agent programming languages and is commonly known as the “semantic gap”. Many authors have attempted to tackle this problem for different programming languages, as for the case of AgentSpeak (BORDINI; MOREIRA, 2004), GOAL (HINDRIKS; VAN DER HOEK, 2008), etc. In fact, Rao (1996, p. 44) states that “[t]he holy grail of BDI agent research is to show such a one-to-one correspondence with a reasonably useful and expressive language.” One crucial limitation in the previous attempts to connect agent programming languages and BDI logics, in our opinion, is that the connection is mainly established at the static level, i.e. they show how a given program state can be interpreted as a BDI mental state. It is not clear in these attempts, however, how the execution of the program may be understood as changes in the mental state of the agent. The reason for this, in our opinion, is that the formalisms employed to construct BDI logics are usually static, i.e. cannot represent actions and change, or can only represent ontic change, not mental change. The act of revising one’s beliefs or adopting a given desire are mental actions (or internal actions) and, as such, different from performing an action over the environment (an ontic or external action). This difference is well recognized in the literature on the semantics of agent programming languages (D’INVERNO et al., 1998; BORDINI; HUBNER; WOOLDRIDGE, 2007; MENEGUZZI; LUCK, 2009), but this difference is lost when translating their semantics into a BDI logic. We believe the main reason for that is a lack of expressibility in the formalisms used to model BDI reasoning. Dynamic Epistemic Logic, or DEL, is a family of dynamic modal logics to study information change and the dynamics of mental attitudes inspired by the Dutch School on the “dynamic turn” in Logic (VAN BENTHEM, 1996). This formalism stems from various approaches in the study of belief change and differs from previous studies, such as AGM Belief Revision, by shifting from extra-logical characterization of changes in the agents attitudes to their integration within the representation language. In the context of Dynamic Epistemic Logic, the Dynamic Preference Logic of Girard (2008) seems like an ideal candidate, having already been used to study diverse mental attitudes, such as Obligations (VAN BENTHEM; GROSSI; LIU, 2014), Beliefs (GIRARD; ROTT, 2014), Preferences (GIRARD, 2008), etc. We believe Dynamic Preference Logic to be the ideal semantic framework to construct a formal theory of BDI reasoning which can be used to specify an agent programming language semantics. The reason for that is that inside this logic we can faithfully represent the static state of a agent program, i.e. the agent’s mental state, as well as the changes in the state of the agent program by means of the agent’s reasoning, i.e. by means of her mental actions. As such, in this work we go further in closing the semantic gap between agent programs and agency theories and explore not only the static connections between program states and possible worlds models, but also how the program execution of a language based on common operations - such as addition/removal of information in the already mentioned bases - may be understood as semantic transformations in the models, as studied in Dynamic Logics. With this, we provide a set of operations for the implementation of agent programming languages which are semantically safe and we connect an agent program execution with the dynamic properties in the formal theory. Lastly, by these connections, we provide a framework to study the dynamics of different mental attitudes, such as beliefs, goals and intentions, and how to reproduce the desirable properties proposed in theories of Agency in a programming language semantics.

Made available in DSpace on 2016-04-29T14:23:48Z (GMT). No. of bitstreams: 1 Paulo Kuester Neto.pdf: 1284476 bytes, checksum: 99c3eadc17da7f6d51803dba0833899f (MD5) Previous issue date: 2009-04-24 / This project is part of the research line Collective Intelligence and Interactive Environments and aims to investigate modes of pattern recognition and classification in three-dimensional images using artificial neural networks. To achieve this, three-dimensional images will be submitted to a connection is system based on Artificial Neural Networks according to a back propagation algorithm used as the basis for training, in order to obtain patterns that are common among these images. This work aims to contribute to image analysis so that it can be applied to research, from forest mapping and virtual worlds construction to prognostics and/or diagnoses in health-related areas, in which, due to variances and imperfections in images that are said to be similar, it is not possible to use simple algorithms that recognize similarities between them. In light of the theoretical presuppositions discussed in chapter 2 and to the state-of-the-art approached in chapter 3, the characteristics, organization modes, learning algorithms and free parameters of this neural model that best adapt to the nature of the research are defined. The work must involve a simulation environment, the framework for neural models experimentation and results verification, chosen according to characteristics like reliability, viability and adequacy to hardware conditions and limitations. In addition, the environment must be capable of dealing with the research object, that is, the analysis and classification of three-dimensional forms and their recognition through adjustments to the parameters of the neural model. The research to be carried out was divided into two phases: the first one is network training, in which some images are arbitrarily chosen from an image base. These images share common characteristics that must be recognized to make adjustments to the Neural Network. In the second phase, after the stage of tests and training, the network must be capable of dealing with the rest of the selected image base. The system must also effectively deal with exceptions and variation in some characteristics, such as light, positioning and color. The challenge is making the neural network training be as generic as possible, so it can deal with these variations, offering a degree of reliability without substantial decrease in effectiveness / Este projeto se insere na linha de pesquisa Inteligência Coletiva e Ambientes Interativos, visando investigar os modos de reconhecimento e classificação de padrões em imagens tridimensionais utilizando Redes Neurais Artificiais. Para tanto, pretende-se submeter imagens tridimensionais a um sistema conexionista baseado em Redes Neurais Artificiais de acordo com um algoritmo de retro-propagação (backpropagation) como base para treinamento, buscando-se obter padrões comuns entre essas imagens. Este trabalho objetiva contribuir com a análise de imagens para aplicação em pesquisa, desde mapeamento florestal, construção de mundos virtuais até prognósticos e/ou diagnóstico em áreas relacionadas à saúde, em que, devido a variâncias e imperfeições em imagens ditas similares, não se aplicam a utilização de algoritmos simples que reconheçam semelhanças entre elas. De acordo com os pressupostos teóricos discutidos no capítulo 2 e o estado da arte no capítulo 3, definem-se características, modos de organização, algoritmos de aprendizagem e parâmetros livres desse modelo neural que melhor se adaptam a natureza da pesquisa. O trabalho deve envolver um ambiente de simulação, framework para experimentação dos modelos neurais e verificação de resultados, escolhido de acordo com características como confiabilidade, viabilidade e adequação as condições e limitações de hardware. O ambiente deve ser capaz de lidar ainda com o objeto de pesquisa, ou seja, a análise e a classificação de formas tridimensionais e seu reconhecimento através de ajustes nos parâmetros do modelo neural. A pesquisa a ser realizada foi dividida em duas fases, a primeira, de treinamento da rede, escolhendo arbitrariamente, a partir de um banco de imagens, algumas que compartilhem características comuns que devem ser reconhecidas para ajustes da Rede Neural. Na segunda fase, posterior a etapa de testes e treinamento, a rede deve ser capaz de lidar com o restante do banco de imagens selecionado. O sistema deve ainda ser efetivo ao lidar com exceções e variação em algumas características como luminosidade, posicionamento e cor. O desafio é tornar o treinamento da Rede Neural o mais genérico possível a fim de lidar com essas variações, oferecendo um grau de confiabilidade sem degradação substancial de efetividade

Submitted by Natalie Mendes (nataliermendes@gmail.com) on 2015-07-28T22:41:02Z No. of bitstreams: 1 Sexualidade cosmo da vida expresso pelo Desenho.pdf: 30082051 bytes, checksum: ad7be3a0c6f66677807d9e6ee82b5780 (MD5) / Made available in DSpace on 2015-07-28T22:41:02Z (GMT). No. of bitstreams: 1 Sexualidade cosmo da vida expresso pelo Desenho.pdf: 30082051 bytes, checksum: ad7be3a0c6f66677807d9e6ee82b5780 (MD5) Previous issue date: 2014-02-17 / Design is a polysemic word indicating, among other things, description, project, graphical representation, sketching, recording, drawing. Its use by humanity dates from prehistory. In fact, it is an area of human knowledge that has its own language and, although it does not replace words, does not require them to express a message. Hallawell (2004) defines the design as the interpretation of any reality - emotional, visual, mental - expressed graphically. On the other hand, Gomes (1996) proposes a distinction between drawing as graphical representation , called Sketching by him and drawing that indicates planning , mental intention, which the author calls design. At Renaissance, Mathematics, Geometry and other sciences resources associated with design allowed unique masterpieces productions, which pictures - made on flat surfaces - have three-dimensionality and light and shadow play. In this technique, Leonardo da Vinci (1452-1519) figured as greater name because the tones of light and dark present in drawings and paintings by this artist surpassed those found in his time - a time where it was aimed, as never before, represent the real through art. In this conflicted period - Renaissance - Leonardo composed ?Coition of a Hemisected Man and Woman?, the drawing of a sexual relation anatomy. And, as all artists when print information in their Works are not always aware of their creative act, from the question "What elements or componentes of sexuality are represented in Coition of a Hemisected Man and Woman by Leonardo da Vinci? " we conducted an iconographic study aiming to reveal the elements of sexuality present in the mentioned masterpiece, verifying how it connotes or denotes these elements. To Renaissance culture - ruled by the Church thoughts, however, getting rid of it ? it would be a sacrilege to represent the interior of human bodies during full intercourse. However, by investigating this "sacrilege" committed by Da Vinci, we could find valuable information nowadays. We have gone through a two-way road to reach our goals, which, regarding to the specific ones were to analyze the drawing aforementioned, relating it to three multifaces of Drawing (subject area): art, design, and graph (meaning graphic representation); identify elements / components of sexuality present in the masterpiece; relate design, health and sexuality from the image, that is, to bring them afloat through designed graphic content that makes up the work and highlight the importance of drawing and image which has elements of health, as the case of sexuality. On the way, we looked for the drawing of "Intercourse" in books and specialized websites; after finding it, we detailed the whole masterpiece in a moment called pre-iconographic description. We checked Leonardo?s artistic mottos associated with his knowledge of human health. And we allowed the drawing image to be the foreground, providing us to unveil its components. Thus, Drawing through its unique language exposed in "Coition" elements of sexuality sublimated in the lines and traces that compose it, referencing the social equilibrium through sexuality, drawn by the art of drawing, in this case, to help people produce health on respect of life, without neglecting the spirituality of this being so bio-psycho-socio-cultural that is the human being. / Desenho ? uma palavra poliss?mica que indica, dentre outras coisas, descri??o, projeto, representa??o gr?fica, debuxo, registro, des?gnio. Sua utiliza??o pela humanidade data da pr?hist?ria. Na verdade, ele ? uma ?rea do conhecimento humano que possui linguagem pr?pria e, embora n?o substitua as palavras, n?o necessita delas para expressar uma mensagem. O pesquisador Hallawell (2004) define o desenho com a interpreta??o de realidades quaisquer ? emocional, visual, mental ? expressa de forma gr?fica. Por sua vez, Gomes (1996) prop?e a diferencia??o entre o desenho no sentido de representa??o gr?fica, chamado por ele de debuxo, e o desenho que indica planejamento, inten??o mental, que o autor chama de des?gnio. Na Renascen?a, utilizaram-se recursos da Matem?tica, Geometria e outras ci?ncias, os quais, associados ao desenho, permitiram a feitura de obras ?mpares, cujas imagens ? compostas em superf?cies planas ? possuem tridimensionalidade e jogo de luz e sombra. Nesta ?ltima t?cnica, Leonardo da Vinci (1452-1519) figurou como maior nome, porque os tons de claro e escuro presentes nos desenhos e pinturas deste artista sobrepujaram aos encontrados em seu tempo ? uma ?poca onde se buscou, como nunca antes, representar o real por meio da arte. Nesse per?odo conflituoso ? Renascimento ? Leonardo comp?s Coito de Homem e Mulher Hemisseccionados, o desenho da anatomia de uma rela??o sexual. E, como todo artista imprime em suas obras informa??es nem sempre conscientes por ele no ato criativo, a partir da quest?o ?Quais os elementos ou componentes da sexualidade encontram-se representados no desenho Coito de Homem e de Mulher Hemisseccionados (Coition of a Hemisected Man and Woman) de Leonardo da Vinci??, realizamos um estudo iconogr?fico com o objetivo geral de desvelar os elementos da sexualidade presentes no desenho mencionado, verificando como ele os denota e/ou conota. Para a cultura renascentista ? regida pelo pensamento da Igreja, contudo, desgarrando-se dele ? seria um sacril?gio representar o interior de corpos humanos em pleno ato sexual. No entanto, ao investigar esse ?sacril?gio? cometido por Da Vinci, encontramos informa??es preciosas para os dias atuais. Percorremos um caminho cheio de idas e vindas para satisfazer nossos objetivos, os quais, no que tange aos espec?ficos foram: analisar o desenho supracitado, relacionando-o a tr?s multifaces do Desenho (?rea do conhecimento): arte, des?gnio e grafia (no sentido de representa??o gr?fica); identificar os elementos/componentes da sexualidade presentes na obra; relacionar desenho, sexualidade e sa?de a partir da imagem, isto ?, traz?-los ? tona por meio do conte?do gr?fico desenhado que comp?e a obra e evidenciar a import?ncia do Desenho e da imagem para investiga??es que possuam componentes da ?rea da sa?de, como ? o caso da pr?pria sexualidade. No trajeto, buscamos o desenho do ?Coito? em livros e sites especializados; ap?s encontr?-lo, detalhamos toda a obra, no momento chamado descri??o pr?-iconogr?fica. Verificamos os motivos art?sticos de Leonardo associados aos saberes da sa?de humana. E permitimos que a imagem do desenho assumisse o primeiro plano, proporcionando-nos, assim, desvendar seus componentes. Ent?o, o Desenho, atrav?s de sua linguagem ?mpar, revelou no ?Coito? elementos da sexualidade sublimados nas linhas e tra?os que o comp?em, fazendo men??o ao equil?brio social atrav?s da mesma ? neste caso, desenhada pela arte ?, para ajudar as pessoas a produzirem sa?de embasadas no respeito ? vida, sem desprezar a espiritualidade deste ser t?o bio-psico-s?cio-cultural que ? o humano.

[pt] Esta dissertação apresenta um modelo de programação linear para mercados virtuais, que tem como objetivo principal incentivar vendedores a oferecerem preços mais baixos e compradores a pagarem mais pelos produtos. Esse incentivo é feito através de compensações aos participantes do mercado que agirem desta forma. O modelo funciona basicamente como um leilão bi-lateral, onde tanto vendedores quanto compradores podem dar seus lances. Para este modelo básico foram modeladas extensães como: existência de custo de transporte entre vendedores e compradores; economia de escala no preço do comprador; possibilidade de múltiplos produtos em um mesmo leilão. Para o modelo básico e cada uma das extensões propostas foi elaborado o sistema de compensações baseados em princípios da Teoria dos Jogos. Em cada caso, foi verificada a existência de soluções de núcleo e como essas soluções determinam as características do mercado. / [en] This work presents a linear programming model for virtual markets. The main objective is to encourage sellers to offer lower prices and buyers to pay more for products. This is done through a system where the agents are awarded for acting this way. The basic version of the model works as an auction where buyers and sellers can make their bids. Some extensions were developed for this basic model, to allow situations like: transportation cost between buyers and sellers; scale economy for the buyer's price; multiples products in the same auction. For the basic model and each of its extensions, the system of awards has been developed based on Game Theory principles. In each case, the model was reinterpreted as a game and its core solutions were found. It was also verified how these solutions determine market's behavior.

Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-02-21T19:36:32Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_ClassificacaoAutomaticaModulacao.pdf: 1115069 bytes, checksum: 3c89f6f8dfa6c6abf056f389dca1faf5 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-02-22T16:29:54Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_ClassificacaoAutomaticaModulacao.pdf: 1115069 bytes, checksum: 3c89f6f8dfa6c6abf056f389dca1faf5 (MD5) / Made available in DSpace on 2017-02-22T16:29:54Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Tese_ClassificacaoAutomaticaModulacao.pdf: 1115069 bytes, checksum: 3c89f6f8dfa6c6abf056f389dca1faf5 (MD5) Previous issue date: 2015-06-19 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / A principal finalidade dos algoritmos para classificação automáica de modulacão em um receptor inteligente para rádio cognitivo ou aplicacões militares é a identificacão da modulacão de um sinal para que o receptor possa, posteriormente, realizar o processo de de modulacão e em seguida o processamento da informacão recebida. A falta de conhecimento acerca de parâmetros como, por exemplo: potência do sinal, frequência e fase da portadora, sincronismo temporal e outros; somados aos efeitos dos canais como desvanecimento de multipercurso, tornam o problema de classificação automática de modulacão desafiador e bastante investigado atualmente. Neste contexto, esta Tese apresenta uma investigação sobre algoritmos de classificação automática de modulacão baseados na aprendizagem discriminativa e avalia o desempenho dos mesmos em distintos cenários de uso. A Tese apresenta uma nova proposta de classificação baseada no extrator de parâmetro (front end) chamado de HISTO. A classificação é realizada sobre os síımbolos recebidos, onde os histogramas de magnitude e fase são calculados. Os resultados obtidos usam o extrator de parâmetro proposto e o algo- ritmo Máquina de Vetores de Suporte (MVS), os quais são comparados com outras técnicas. Na literatura, alguns dos algoritmos propostos são avaliados assumindo-se o conhecimento de parâmetros da modulacão e em cenários distintos, dificultando a comparação entre os algoritmos. Nesta Tese, algoritmos representativos do estado da arte são comparados com os propostos de maneira sistemática e uniforme, incluindo-se cenários não-ideais como os com phase jitter e offset de frequência. Os resultados das simulações mostram que proposta de classificação baseada em histogramas é eficiente com relativo baixo custo computacional. / The main purpose of the algorithms for automatic modulation classification in an in- telligent receiver for cognitive radio or military applications is to identify the modulation of a signal so that the receiver can subsequently carry out the process of demodulation and then processing the received information. The lack of knowledge of parameters such as, for exam- ple, signal power, frequency and phase of carrier and timing; added to the channel effects such as multipath fading, make the automatic modulation classification problem challenger and fairly investigated currently. In this context, this thesis presents an investigation of automatic modulation classification algorithms based on discriminative learning and evaluates their per- formance in different usage scenarios. The thesis presents a new classification proposal based on front end called HISTO. Classification is performed on the received symbols, where the magnitude and phase histogram’s are computed. The results obtained using the proposed front end and the Support Vector Machine algorithm (SVM) are compared with other tech- niques. In the literature, some of the proposed algorithms are evaluated assuming knowledge of some modulation parameters and using different scenarios, which makes difficult to compare the algorithms. In this thesis, algorithms representative of the prior art are compared with the proposed ones in a systematic and uniform manner, including non-ideal scenarios such as with phase jitter and frequency offset. The simulation results show that the proposed classification based on histograms is effective with a relatively low computational cost.