Lakatos outlined a theory of mathematical discovery and justification, which suggests ways in which concepts, conjectures and proofs gradually evolve via interaction between mathematicians. Different mathematicians may have different interpretations of a conjecture, examples or counterexamples of it, and beliefs regarding its value or theoremhood. Through discussion, concepts are refined and conjectures and proofs modified. We hypothesise that: (i) it is possible to computationally represent Lakatos's theory, and (ii) it is useful to do so. In order to test our hypotheses we have developed a computational model of his theory. Our model is a multiagent dialogue system. Each agent has a copy of a pre-existing theory formation system, which can form concepts and make conjectures which empirically hold for the objects of interest supplied. Distributing the objects of interest between agents means that they form different theories, which they communicate to each other. Agents then find counterexamples and use methods identified by Lakatos to suggest modifications to conjectures, concept definitions and proofs. Our main aim is to provide a computational reading of Lakatos's theory, by interpreting it as a series of algorithms and implementing these algorithms as a computer program. This is the first systematic automated realisation of Lakatos's theory. We contribute to the computational philosophy of science by interpreting, clarifying and extending his theory. We also contribute by evaluating his theory, using our model to test hypotheses about it, and evaluating our extended computational theory on the basis of criteria proposed by several theorists. A further contribution is to automated theory formation and automated theorem proving. The process of refining conjectures, proofs and concept definitions requires a flexibility which is inherently useful in fields which handle ill-specified problems, such as theory formation. Similarly, the ability to automatically modify an open conjecture into one which can be proved, is a valuable contribution to automated theorem proving.

Social intelligence has a huge impact on the determination of human behaviour in the society. The use of norms can contribute to advances in this social intelligence by the provision of appropriate behaviour based upon the understanding of social situations. Hence, the domain of virtual characters research has given much attention to take advantage of these characteristics of norms particularly in engineering human-like behaviour. However, a lack of capability in reasoning about norms as well as a lack of norm autonomy in virtual characters have significantly diminished the naturalism in virtual characters behaviour. Within this context, a hybrid approach incorporating social and individual reasoning inspired by socio-cognitive theory is taken into account in this thesis. To this end, we propose DNA 3 , Distributed Norm Aware Agent Architecture, established through the integration of (i) the institution, a normative framework performing the social reasoning, (ii) N-Jason, a (BDI-type) cognitive agent carrying out run-time norm-aware deliberation and (iii) a virtual character in charge of perception and realisation of actions. The institution takes responsibility of (i) analysis of state of external worlds by recording a sequence of event occurrences observed by multiple virtual agents, (ii) reasoning about situationally appropriate behaviour with an assistance from Answer Set Programming (ASP) solver depending upon the social context virtual characters encounter and (iii) in turn detachment of a new set of norms, more precisely normative consequences of specific actions, to virtual characters. This contributes to the enhancement in the flexibility in specifying and reasoning about social norms subject to changes of social situations. Those detached norms are involved in the reasoning process of in- dividual virtual characters. In here, a norm-aware BDI-type agent, N-Jason, performs a practical reasoning to select a plan to execute between norms and goals. Basically, N-Jason offers a generic norm execution mechanism on top of norm aware deliberation to contribute to the exploitation of run-time norm compliance. The selection of agent behaviour is achieved in the norm-aware deliberation process by intention scheduling with deadlines and priorities. This improves the rationality in the choice of behaviour with taking into account the preference on norms and goals in agent mind by evaluation of the importance and imminence between feasible plans triggered by both norms and goals. The design and simulation of politeness is presented as an evaluation of DNA 3 with respect to the effectiveness and adequacy in modelling virtual characters behaviour. The emphasis in here lies on the capability that is able to exhibit different types of appropriate polite behaviour in response to frequent changes in social situations. This is mainly driven by two main activities: prediction of other participants’ intention is carried out by norm-aware virtual characters whilst the understanding of context and reasoning about relevant social behaviour is performed in normative frameworks. For this purpose, three case studies are provided in this thesis: (i) politeness in navigation of individuals, (ii) politeness in the formation and navigation of groups during a guided tour, and(iii) evacuation model as a politeness in the emergency situation. The evaluation is conducted by measuring: (i) the appropriateness of in response to scenarios (e.g.a number of avoiding collisions) and (ii) the reliability of agent decision making (e.g. a response time in relation to norms with the highest priority and the most urgent).

The general problem of multi-agent persistent monitoring finds applications in a variety of domains ranging from meter to kilometer-scale systems, such as surveillance or environmental monitoring, down to nano-scale systems such as tracking biological macromolecules for studying basic biology and disease. The problem can be cast as moving the agents between targets, acquiring information from or in some fashion controlling the states of the targets. Under this formulation, at least two questions need to be addressed. The first is the design of motion trajectories for the agents as they move among the spatially distributed targets and jointly optimize a given cost function that describes some desired application. The second is the design of the controller that an agent will use at a target to steer the target's state as desired. The first question can be viewed in at least two ways: first, as an optimal control problem with the domain of the targets described as a continuous space, and second as a discrete scheduling task. In this work we focus on the second approach, which formulates the target dynamics as a hybrid automaton, and the geometry of the targets as a graph. We show how to find solutions by translating the scheduling problem into a search for the optimal route. With a route specifying the visiting sequence in place, we derive the optimal time the agent spends at each target analytically. The second question, namely that of steering the target's state, can be formulated from the perspective of the target, rather than the agent. The mobile nature of the agents leads to intermittencontrol, such that the controller is assumed to be disconnected when no agent is at the target. The design of the visiting schedule of agents to one target can affect the reachability (controllability) of this target's control system and the design of any specific controller. Existing test techniques for reachability are combined with the idea of lifting to provide conditions on systems such that reachability is maintained in the presence of periodic disconnections from the controller. While considering an intermittently connected control with constraints on the control authority and in the presence of a disturbance, the concept of 'degree of controllability' is introduced. The degree is measured by a region of states that can be brought back to the origin in a given finite time. The size of this region is estimated to evaluate the performance of a given sequence.

Dentro da Educação a Distância (EaD), os softwares de apoio como os Ambientes Virtuais de Aprendizagem (AVA) são considerados recursos que favorecem a comunicação entre os atores envolvidos, permitindo a troca de informação. Atribuir Inteligência Artificial a esses AVAs, utilizando Sistemas Multiagentes (SMA) e uma forma de procurar que os mesmos tenham um bom desempenho e que seus recursos facilitem o processo de aprendizagem. Esse trabalho cont em um estudo sobre os principais AVAs existentes e sobre os métodos alternativos de integração de AVA com SMA. Ao analisar o estado da arte dos AVAs pode-se observar que todos trabalham como ferramentas de auxílio ao aluno, por em nenhum deles trabalha aspectos da gestão da EaD dando suporte aos aspectos relevantes da legislação dessa modalidade. Por esse motivo, essa Tese tem por objetivo a criação de um modelo de integração AVA-SMA que possa tornar o AVA MOODLE capaz de auxiliar os gestores da EaD em suas diferentes tarefas, com base na incorporação, ao mesmo, de um modelo de representação de legislação. Para realizar essa integração do modelo AVA-SMA orientado a Legislação foi desenvolvido um espec co modelo organizacional de Sistema Multiagente. Por m com base em um estudo de caso, ser a realizado simulações para veri car as funcionalidades do Modelo de Sistema AVA-SMA orientado a Legislação, proposto nesta Tese. / In Distance Learning (EaD), supporting software such as Virtual Learning Environments (VLE) are considered resources that favor communication between the actors involved, allowing the exchange of information. Assigning Arti cial Intelligence to these VLEs, using Multi-Agent Systems (MAS) is a way of ensuring they have a good performance and that its resources facilitate the learning process. This work contains a study on the major existing VLEs and on alternative methods to integrate VLE with MAS. When analyzing the state of the art of the VLEs it is possible to see that all of them work as aid tools for students, but none of them work on management aspects of distance learning that support the relevant aspects of the legislation for this type of education. Therefore, this thesis aims to create a VLE-MAS integration model that can make the VLE MOODLE able to help distance learning managers in their di erent tasks, based on incorporating a legislation representation model to it. To accomplish this integration of the legislation-oriented VLE-MAS model, a speci c Multi-Agent System organizational model was developed. At last, based on a case study, simulations will be conducted to verify the functionalities of the VLE-MAS System Model oriented to legislation, proposed in this thesis.

A indústria carece de sistemas produtivos que atendam a diversidade de demanda do mercado, com eficiência e capacidade de adaptação rápida. As novas soluções para estas necessidades remetem ao uso de novas tecnologias de automação. Porém, a maioria dos sistemas integrados de manufatura implantados em indústria possui seu gerenciamento por controladores lógicos programáveis, assim como suas interligações elétricas e lógicas de controle. A tese proposta faz uso de Sistemas Multiagentes em controladores lógicos programáveis, para que estes possam controlar seus sistemas de manufatura, propiciando-lhes os requisitos de diversidade, agilidade e auto-organização no meio produtivo. A comprovação desta tese se dá pelo método desenvolvido para que tal implementação aconteça, bem como pela análise de abrangência deste método, a fim de verificar em quais cenários ele é eficaz. O método proposto analisa o controlador lógico programável e descreve uma rotina de ações a serem seguidas para que ele se insira em Sistemas Multiagentes, valendo-se das funcionalidades que um agente pode oferecer. Sua análise de aplicação ocorreu em três cenários distintos, onde a abordagem por sistemas auto-organizáveis apresentou melhores resultados para atingir os requisitos de diversidade, agilidade e auto-organização, a partir de sistemas multiagentes interagindo com os controladores lógicos programáveis e suas lógicas locais. / The industry needs production systems that attend the diversity of market demand, with efficiency and fast adaptability. The new solutions to these needs refer to the use of new automation technologies. However, most integrated manufacturing systems deployed in industry have its management by programmable logic controllers as well as their electrical interconnections and logics of control. The thesis proposal indicates the use of multi-agent systems on programmable logic controllers, so that they are able to control their manufacturing systems, addressing the requirements of diversity, self-organizing and agility to the productive environment. The proof of this thesis is given by the method developed for such implementation to happen, as well as analysis of the scope of this method in order to verify in what scenarios it is effective. The proposed method analyzes the programmable logic controller and describes a routine of actions to follow so that it may enter into a multi-agent system, using the features that an agent can offer. Its application analysis took place in three different scenarios where the approach by self-organizing systems showed better results for achieving the requirements of diversity, agility and self-organization from multi-agent systems interacting with programmable logic controllers and their local logic.

Empresas em cadeias de suprimentos têm como objetivo maximizar suas produtividades, e consequentemente seus lucros. Uma maneira de estudar o comportamento destas cadeias é simulá-las utilizando uma abordagem multi-agentes. Neste trabalho, adicionamos múltiplos agentes nos níveis de um modelo amplamente adotado na literatura, denominado Beer Game, para avaliar a eficiência local e global dos fornecedores. Para tal, utilizamos perfis distintos baseados em confiança ou em preço. Medimos o impacto de usar tais políticas de seleção no capital acumulado pelos agentes, e concluímos que as parcerias baseadas em confiança são recomendáveis em cenários com ampla disseminação de informações verdadeiras, enquanto que as baseadas em lucro são mais vantajosas em cenários marcados por pouca comunicação ou pelo espalhamento de informações falsas. / Companies in supply chains have the objective of maximizing their productivities, and consequently their profits. A way of to study the behavior of these chains is to simulate them using a multi-agent-based approach. In this work, we added multiple agents at the levels of a widely adopted model in the literature, called Beer Game, to evaluate the local and global performance of suppliers. To do this, we use distinct profiles based on trust or price. We measure the impact of using such selection policies on the agents\' profit, and we could conclude that trust-based partnerships are recommended in scenarios with wide dissemination of true information, while profit-based partnerships are most advantageous in scenarios marked by poor communication or spreading false information.

Intelligent robots are rational agents. The rationality of robots working cooperatively is significantly different from robots working independently. Cooperation between intelligent robots requires the high level of reasoning and complex interactions for successful operations. The required reasoning process includes knowledge representation and sharing as well as the ability to understand the context of a situation. The reasoning process heavily influences on the planning of deciding what actions need to be taken. Goal deliberation and planning is the process that deals with those requirements. This dissertation investigates the problem of goal deliberation and planning to enable such cooperation between goal-oriented intelligent robots, working as a team. The dissertation then proposes a multi-robot system model that embraces results of the investigation. The proposed model is realized on the top of the platform ‘robot operating system’ (ROS). The implemented system, named ‘goal-oriented multi agent systems’ (GOMAS), is demonstrated with the computer game, StarCraft II. Units in StarCraft II are individually controlled by the GOMAS robots and work cooperatively to attain a set of goals given from operators. The demonstration with the three different scenarios validates that the GOMAS system successfully and efficiently deliberates and plans the given goals.

Le développement de Systèmes de Systèmes a pris de l'ampleur dans de nombreux domaines. Aujourd'hui, les applications complexes nécessitent que plusieurs systèmes développés indépendamment coopèrent ensemble, ce qui conduit au concept de Systèmes de Systèmes. Malgré une telle popularité, aucun consensus n'y a pas encore pu être atteint sur une définition précise de ce que sont les Systèmes de Systèmes. De plus, le nœud du problème est que la plupart des applications sont encore construites à la main et développées de manière ad hoc, c'est-à-dire, sans contraintes et sans être guidées par une structure prédéfinie. Développer un système de systèmes à la main est une tâche herculéenne pour un architecte informatique, en lui demandant de créer un entrelacement de connexions entre les systèmes composant du Système de Systèmes pour qu'ils puissent coopérer. En raison d'un tel entrelas, la complexité et le couplage serré augmentent, et l'évolution des Systèmes de Systèmes devient plus difficile, nécessitant des efforts substantiels. Pour trancher le nœud gordien auquel font face les architectes de Systèmes de Systèmes, nous proposons dans cette recherche un « framework » générique pour faciliter le développement de Systèmes de Systèmes dans le cadre de l'ingénierie des systèmes. Notre approche introduit une nouvelle architecture que nous appelons MBA pour Memory-Broker-Agent. Pour tester notre framework, nous avons construit un système de systèmes dans le domaine du développement collaboratif de logiciel. Les résultats montrent que notre approche réduit la difficulté et l'effort de développement. Sur la base de ces résultats, nous avons créé une méthode originale pour construire un système de systèmes à travers notre framework. Nous avons testé le potentiel de notre méthode ainsi que les caractéristiques génériques de notre framework, en construisant avec succès et avec plus de précision un nouveau système de systèmes dans le domaine de la Santé. / Building Systems of Systems (SoS) has gained momentum in various domains. Today, complex applications require to let several systems developed independently cooperate, leading to the moniker of SoS. Despite such popularity, no consensus has yet been reached about a precise definition of what SoS are. Moreover, the crux of the matter is that most applications are still handcrafted, being developed in an ad hoc fashion, i.e., freely and without being constrained by a predefined structure. Handcrafting SoS is an Herculean task for architects, requiring them to create an interwoven set of connections among SoS constituent systems for allowing cooperation. Because of the large number of interconnections, the complexity and tight coupling increase in SoS, and their evolution becomes more difficult, requiring substantial efforts from architects. To sever the Gordian knot faced by SoS architects, we propose in this research a generic framework for facilitating the development of SoS from a systems engineering perspective. Our approach is based on a novel architecture we call MBA for Memory-Broker-Agent. To test our framework we built an SoS for developing software collaboratively. Results show that our approach reduces the difficulty and effort for developing a SoS. Based on such results, we created an original method for building a SoS using our framework. We tested the potential of our method along with the generic features of our framework, by building a new SoS in the Health Care domain successfully and more accurately.

Transições sociotecnológicas são processos de modificação e substituição de regimes sociotecnológicos, estruturas sociais que englobam sistemas tecnológicos e produtivos, bem como políticas públicas, sistemas econômicos e significados simbólicos associados. A transição sociotecnológica tem sido discutida como um caminho para o desenvolvimento sustentável, dada a possibilidade de substituição de regimes sociotecnologicos vigentes por regimes que representem menores impactos sociais e ambientais. Apesar da atenção que a transição sustentável tem recebido em anos recentes, observa-se na literatura uma lacuna no estudo da função de agência na transição. O objetivo da presente pesquisa é analisar a agência no processo de transição sociotecnológica sustentável, e a principal contribuição está na proposição de um modelo conceitual estruturado para a explicação desta agência. No desenvolvimento do modelo adotou-se a perspectiva multinível, a qual estuda a transição a partir de três diferentes níveis de análise: nicho, regime e cenário. O modelo está consolidado em três ideias centrais, que se constituíram em hipóteses de trabalho no desenvolvimento da pesquisa. Propõe-se como primeira hipótese que a agência na transição seria distribuída, resultando de uma ação coletiva do nicho. Propõe-se também como segunda hipótese de trabalho que a agência seria exercida por meio da construção pelos atores nicho de um sistema de narrativas, o qual direcionaria as expectativas dos demais atores, bem como o compromisso resultante destas expectativas. Por fim, propõe-se como terceira hipótese que expectativas e compromisso seriam continuamente ajustados pelo desempenho do sistema, e a principal medida de desempenho na transição tecnológica estaria na capacidade do nicho em desenvolver aprendizado. Adotou-se no desenvolvimento da pesquisa uma abordagem multimétodo, a partir de um posicionamento epistemológico de complexidade organizacional; outra contribuição significativa de pesquisa está no tratamento metodológico adotado no teste do modelo proposto. O modelo conceitual proposto foi operacionalizado em uma fase de pesquisa qualitativa, a partir de em análise de conteúdo de narrativas socialmente construídas, e outra quantitativa, através de modelagem computacional por meio de um sistema multiagente. Para o desenvolvimento destas fases adotou-se como objeto de pesquisa o nicho de energia eólica brasileiro, o qual se entende como uma transição em andamento dado seu expressivo crescimento recente. Na fase qualitativa de pesquisa buscou-se caracterizar os processos discursivos envolvidos em transições tecnológicas sustentáveis. Observou-se que narrativas atuaram no estabelecimento de expectativas sobre nicho tecnológico, defendendo a existência de grande potencial de geração no Brasil, e a sustentabilidade da geração de energia eólica. A caracterização de narrativas resultado da fase qualitativa de pesquisa foi adotada na fase quantitativa de pesquisa como base para o desenvolvimento do processo de modelagem e simulação. O modelo computacional foi considerado como valido dada sua capacidade de representar o processo de constituição de um nicho tecnológico, e as três hipóteses de trabalho que consolidam o modelo conceitual proposto foram testadas por meio deste modelo. Os resultados de simulação observados dão suporte à aceitação das primeira e segunda hipóteses, embora indiquem pela rejeição da terceira. A principal implicação dos achados está na sugestão que a transição sustentável deve ser entendida como um processo iminentemente coletivo, não podendo ser conduzida de forma isolada por um único agente. / Socio-technological transitions are processes of change and replacement of socio-technical regimes, social structures that include technological and production systems, as well as the associated public policies, economic systems and symbolic meanings. Socio-technical transitions have been discussed as a path to sustainable development, due to the opportunity of replacement of incumbent socio-technical regimes by regimes that account for lesser social and environmental impacts. Despite the attention that sustainable transitions have recently received, it is observed in the literature a gap in the study of agency in the transition. The aim of this research is to analyze agency in the socio-technical transition to sustainability, and the main contribution is the proposition of a structured conceptual model in order to explain this agency. In developing the model, it was adopted the multi-level perspective, which studies the transition through three different levels of analysis: niche, regime and landscape. The model is consolidated in three core ideas, which constituted themselves in working hypotheses for the development of research. At first, it is proposed a first hypothesis the adoption of a conception of distributed agency, resulting from a collective action of the niche. It is also proposed as second work hypothesis that agency would be exerted through the construction by the social actors of the niche of a system of narratives, which would direct the expectations of other actors, as well as the commitment resulting from these expectations. Finally, it is proposed as the third work hypothesis that expectations and commitment would be continuously adjusted by system performance, and the main performance measure in the sociotechnical transition would be in the ability of the niche to develop learning. It was adopted in the research a multimethod design, from an epistemology of organizational complexity; another significant contribution of the research is the methodological approach adopted in testing the proposed model. The proposed conceptual model was operationalized in a qualitative research phase, using a content analysis of socially constructed narratives, and other quantitative phase, by means of computational modeling using a multi-agent system. To the development of these phases it was adopted as a research subject the Brazilian wind energy niche, which is understood as a transition in progress, given its significant recent growth. In qualitative research phase, we attempted to characterize the discursive processes involved in sustainable technological transitions. It was observed that narratives have acted in establishing expectations about technological niche, defending the existence of a large generation potential in Brazil, and the sustainability of wind power generation. The characterization of narratives resulting of the qualitative research phase was adopted in the quantitative phase as the basis for the development of modeling and simulation process. The computational model was considered valid, given its ability to represent the process of establishment of a technological niche. The three working hypotheses that consolidate the proposed conceptual model were tested using this model. The observed simulation results supported the acceptance of the first and second hypotheses, while indicating the rejection of the third one. The main implication of the findings is the suggestion that the transition to sustainability must be considered as a collective process, and cannot be conducted by a single individual agent.

L’apprentissage collectif dans un système multi-agents considère comment une communauté constituée d’agents autonomes partageant un même objectif d’apprentissage peut bénéficier, au niveau individuel et collectif, d’échanges structurés d’informations. Les agents, reliés par un réseau de communication, ont tous la faculté de percevoir des observations, appelées exemples d’apprentissage. Cette thèse s’appuie sur un protocole pré-existant, SMILE (Sound-Multi-agent-Incremental-LEarning), qui organise un échange parcimonieux d’exemples et d’hypothèses. Ce protocole garantit, dans le cas d’agents tous connectés, que les agents obtiennent une hypothèse qui tient compte de tous les exemples perçus par l’ensemble des agents. Il existe des variantes séquentielles de ce protocole qui mettent en place une propagation de l’information pour offrir les mêmes garanties dans un réseau, non pas complet mais, connexe.Cette thèse apporte deux nouveaux éclairages sur l’apprentissage artificiel collectif. Une première étude montre l’influence de la structure du réseau sur l’apprentissage avec un protocole dont les communications sont limitées au voisinage, sans propagation. Une seconde contribution présente et analyse un nouveau protocole, Waves, qui préserve les garanties de SMILE et dont les interactions en parallèle rendent l’apprentissage en réseau plus dynamique. Ce protocole est évalué en détail,dans un contexte simplifié de tour par tour, ce qui permet de le raffiner par la suite avec diverses améliorations. Il est cependant conçu pour s’adapter à un apprentissage en ligne et une acquisition non limitée, ni en temps ni en nombre, de nouveaux exemples par la communauté. / Collective learning in multi-agent systems considers how a community of autonomous agents sharing a learning purpose may benefit from exchanging information to learn efficiently as a community as well as individuals. The community forms a communication network where each agent may accesses observations, called learning examples. This thesis is based on a former protocol, SMILE (Sound-Multi-agent-Incremental-LEarning), which sets up parsimonious examples and hypotheses exchanges between agents. In a fully connected community, this protocol guarantees an agent’s hypothesis takes into account all the examples obtained by the community. Some sequential protocols add propagation to SMILE in order to extend this consistency guarantee to other connected networks. This thesis contribution to the artificial collective learning field is two fold.First, we investigate the influence of network structures on learning in networks when communication is limited to neighbourhood without further information propagation. Second, we present and analyze a new protocol, Waves, with SMILE’s guarantees and a more dynamic learning process thanks to its execution in parallel. The evaluation of this protocol in a simple turn-based setting gives the opportunity to improve it here in multiple ways. It is however meant to be used with online learning without any restriction on the acquisition rate of new examples, neither on speed nor number.