The overall aim of this thesis is to assess the legitimacy of constitutional laws and bills of rights within the framework of procedural epistemic democracy. The thesis is divided into three sections. In the first section, I discuss the relevance of an epistemic argument for democracy under the circumstances of politics: I provide an account of reasonable disagreement and explain how usual approaches to the authority of decision-making procedures fail to take it seriously. In the second part of the thesis, I provide an account of the epistemic features of democracy and of the requirements of democratic legitimacy. I develop a revised pragmatist argument for democracy which relies on three presumptive aims of decision-making: justice, sustainability and concord. In the third and last section, I first argue for the desirability of constitutionalism. I then explain why constitutionalism, as it is usually understood, is incompatible with my procedural epistemic account of democratic legitimacy. In the last chapter, I offer a two-pronged solution to the apparent incompatibility of constitutionalism and epistemic democracy. I first argue for the appropriateness of political constitutionalism, as opposed to legal constitutionalism, in understanding the relationship between rights and democracy. I then provide an account of rights protection and judicial review compatible with epistemic democratic legitimacy. Finally, I use the notion of pragmatic encroachment to explain how constitutional laws can achieve normative supremacy through the increased epistemic credentials of the procedure.

In order to understand how and why the white continent ended up being reserved for peaceful use, scientific investigation and international cooperation, this thesis analyses the history of Antarctic international relations between the 6th International Geographical Congress and the signature of the Antarctic Treaty. Following Giddens\' Theory of Structuration, Adler & Pouliot´s communities of practice perspective and Haas and Adler´s epistemic community concept, the following research proposes a multi-level and multi-dimensional framework aimed to overcome the limitations of the usual interpretations of the origins of the Antarctic regime. Making use of archival material from Argentina, Australia, Chile, the United Kingdom and the United States of America, this research emphasizes the role that science played in the international relations related to Antarctica along with political, economic and ideational aspects. Through the following pages I show how the initial impetus for Antarctic exploration originated rather in a sincere scientific desire, than in any geopolitical interest in the Southern regions. The latter would only develop once the economic interest was fostered by the emergence of Antarctic whaling, which would install a logic of territorial competition. Eventually, the instrumentalisation of science by the political interest would both limit the freedom of manoeuvre of scientists and scientific institutions but also allowed them to develop a more intensive Antarctic programme and influence the political decision-making process. It would be eventually the scientific community, through the promotion of international cooperation during the International Geophysical Year, who would enable to search a viable political formula to settle the Antarctic question. However, only when favourable circumstances were combined with the presence of a constituted international epistemic Antarctic community, the structured values attached to the Antarctic activity could be crystallized in principles incorporated in an international agreement for Antarctica. At last, the role of science and the values attached to its practice were recognized in the Antarctic Treaty, while at the same time the exclusivity of the political sphere on Antarctic questions was demanded by the nation-state governments, relegating scientists and scientific institutions to their fields of expertise and guaranteeing the conditions through which their practice could be satisfied. Considering that, the Antarctic regime appears as a crystallization of a complex and extensive sociological process in which science played a key role and, the same time, acknowledged the position of the state as the prominent political actor in Antarctica. / Esta tese procura entender como e por que o continente branco acabou sendo preservado para uso pacífico, investigação científica e cooperação internacional, analisando a história das relações internacionais antárticas entre o 6º Congresso Geográfico Internacional e a assinatura do Tratado Antártico. Seguindo a Teoria da Estruturação de Giddens, a perspectiva das comunidades de práticas de Adler e Pouliot e o conceito de comunidade epistêmica de Haas e Adler, a pesquisa propõe um marco analítico multinível e multidimensional destinado a superar as limitações das interpretações usuais das origens do regime antártico. Fazendo uso de material de arquivo da Argentina, Austrália, Chile, Estados Unidos e Reino Unido, a pesquisa enfatiza o papel que a ciência desempenhou nas relações internacionais referentes à Antártida juntamente com os outros fatores envolvidos, tais como o político, econômico e ideacional. Nas páginas a seguir, analiso como o ímpeto inicial para a exploração antártica originou-se de um desejo científico sincero, mais do que qualquer interesse geopolítico na Antártida. Este último só se desenvolveria uma vez que o interesse econômico fosse estimulado pelo surgimento da indústria baleeira na Antártida, que resultou na instalação de uma lógica de competição territorial. No final, a instrumentalização da ciência pelo interesse político limitou a liberdade de manobra dos cientistas e instituições científicas, mas também permitiu que desenvolvessem um programa antártico mais intensivo e influenciassem o processo de decisão política. A comunidade científica, através da promoção da cooperação internacional do Ano Geofísico Internacional, permitiu a busca de uma fórmula política viável para resolver a questão antártica. Entretanto, somente quando circunstâncias favoráveis foram combinadas com uma comunidade epistêmica internacional antártica constituída, os valores estruturados ligados à atividade antártica se cristalizaram em princípios incorporados em um acordo internacional para a Antártida. O Tratado da Antártida reconheceu eficientemente o papel da ciência e os valores ligados à sua prática, ao mesmo tempo em que reivindicou a exclusividade da esfera política na questão antártica para os governos dos Estados nacionais, relegando cientistas e instituições científicas a seus campos de atuação especializados e garantindo as condições através das quais a sua prática poderia ser alcançada. A partir dessa perspectiva, o regime antártico aparece como a solidificação de um processo sociológico complexo e extenso no qual a ciência desempenhou um papel fundamental - mesmo quando não foi exclusivo - e, ao mesmo tempo, aceitou a posição do Estado como ator político proeminente na Antártica.

Nesta tese, explicitamos os mecanismos de produção de sentido que discursivizam a Bíblia Sagrada como Palavra Revelada de Deus. Mostramos como o texto bíblico, na qualidade de enunciado marcado por pessoa, tempo e espaço definidos, constrói para si o sentido de discurso omnipessoal, omnitemporal e omniespacial promovendo o processo de significação e de permanência que o qualifica como texto fundador do cristianismo. Defendemos a tese de que o texto bíblico discursiviza de modo peculiar o mundo divino e seus atores e produz, em termos de presença, um impacto que mobiliza o enunciatário, como corpo sensível, a um fazer interpretativo que o sanciona e acolhe o conhecimento apresentado como Palavra Revelada de Deus. Dessa maneira, o discurso promove uma transformação no estado epistêmico do enunciatário e demanda dele uma resposta cognitiva e ética orientada pela axiologia cristã. Discutimos a formação e a delimitação do corpo actorial nas narrativas bíblicas do Evangelho de Lucas e em Atos dos Apóstolos. Utilizando o conceito de narratividade da enunciação, defendemos que esses textos constroem, por meio da enunciação enunciada, uma peculiar cena enunciativa em que o enunciador é o sujeito de uma performance que constitui o mundo divino, em que Deus é o arquienunciador e o Destinador transcendente. Esse movimento promove o estabelecimento de um contrato de veridicção também peculiar que faz com que o sobrenatural seja a expectativa do gênero e o meio de configuração e confirmação da presença divina. O deslocamento actancial do enunciador para um destinador compatível com a Palavra Revelada funda-se no conceito greimasiano de Destinador transcendente. Permeiam, pois, os movimentos de garimpo feito da discursivização da Palavra Revelada a Semiótica de raiz greimasiana e, a partir do instrumental da Semiótica tensiva, descrevemos os efeitos subjetais promovidos pela discursivização da presença divina no texto bíblico. O encadeamento de programas narrativos promove um ritmo assomo-resolução que mantém a tensão e o impacto sensível ao longo do texto. É um ritmo que gera também no enunciatário um esforço em busca da reorganização afetiva, o que é descrito como um pervir sensibilizado que ampara a transformação do estado epistêmico do sujeito. Por fim, entendemos ter comprovado que é possível e é viável examinar a Bíblia como um discurso entre outros, de modo que essa transformação epistêmica seja o fundamento para uma série de mudanças cognitivas e éticas que dão suporte a práticas cristãs como a própria leitura bíblica, a que sucedem a memorização de passagens, a participação em estudos bíblicos e sermões e a divulgação do conteúdo e da ética cristã a não crentes. / In this thesis we have specified the mechanisms of production of meaning that put The Holy Bible as discourse making it the Revealed Word of God. We show how the biblical text, as utterance marked by person, time and space set, builds for itself the sense of omni personal, omni temporal and omni spatial speech promoting the process of signification and residence that qualifies it as a founding text of Christianity. We defend the thesis that the biblical text put in discourse in a peculiar way the divine world and his actors and it produces, in terms of a presence, an impact that mobilizes the enunciatary, as sensitive body, to make the interpretive act that sanctions and receive the knowledge submited as Revealed Word of God. In this way, the discourse promotes a transformation in the epistemic state of enunciatary and demand a cognitive and ethical response guided by Christian axiology. We discuss the formation and delimitation of the actorial body in biblical narrative from the Gospel of Luke and the Acts of the Apostles. Using the concept of narrativity of enunciation, we demonstrate that, by means of the enunciate enunciation, this texts builds a peculiar enunciative scene in which the enunciator is the subject of a performance. This performance sets up the divine world where God is the arquienunciator and the Transcendent Destinador. This movement promotes the establishment of a peculiar veridiction contract that makes the supernatural to be installed as the expectation of the genre and the means of setting and confirming the divine presence. That actancial displacement of the enunciator to a destinator compatible with the Revealed Word is based on the greimasian concept of Transcendent Destinador. The moviments of minning done on the discourse of the Revealed Word permeate the greimasian semiotics and from the instrumental of the tensive semiotics, we describe the subjectals effects promoted by the constructed discourse of the divine presence in the biblical text. We demonstrate that the chaining of narrative programs promotes an astonishment-resolution rhythm that keeps the tension and the sensitive impact throughout the text. Its a rhythm who generates also in the enunciatary an effort in search of affective reorganization described as a sensibilized exercise that holds the transformation of the epistemic status of the subject. Finally, we understant to have confirm that is possible e viable to examine the Bible as a discourse among others, for what we show that this epistemic transformation is the basis for a series of cognitive and ethical changes that support Christian practices like reading the Bible, the memorization of passages, participating in Bible studies and sermons and the dissemination of Christian content and of ethics to non-believers.

One of the biggest challenges in contemporary global environmental governance is the future of marine biodiversity. Over the years, increased fishing efforts in previously remote areas drove many fish stocks to scarcity. The Regional Fisheries Management Organizations (RFMOs) emerged to solve the international fishery crisis, on the assumption that they would provide a forum where Member States may agree and discuss binding rules for the conservation and management of fish stocks within its geographical area of responsibility. Although some agreements existed for more than 60 years, many authors agree that they have not been fully effective in promoting the maintenance and conservation of fish stocks. There are many reasons that might explain the lack of effectiveness, one of them being that science is not very often listened to in the political decision-making process. In this research, the influence of knowledge and science in shaping policy decisions will be observed and analyzed. Therefore, the use of the epistemic communities theory, that which forms part of the constructivist turn in international relations -- was used to answer the main question posed here: when does power listen to science? When it does, does it bring more effectiveness in terms of knowledge, input from epistemic communities, does it induce states to change their behavior, and do these influences lead to policies, which can credibly improve biomass? Using process tracing, through elite interviews, and with a systematic compilation and study of meeting reports from three RFMOs: the Commission for the Conservation of Antarctic Marine Living Resources (CCAMLR); the International Convention for the Conservation of Atlantic Tunas (ICCAT); and the Commission for the Conservation of Southern Bluefin Tuna (CCSBT), the final conclusion is that they may listen to science, but their strategy, allies, and the ways in which it occurs differ case-by-case. / Um dos maiores desafios na governança ambiental global contemporânea é o futuro dos ecossistemas e da biodiversidade marinha. Ao longo dos anos, o aumento do esforço de pesca nas áreas anteriormente remotas levou muitas populações de peixes à escassez. As Organizações Regionais para o Ordenamento Pesqueiro (OROPs) surgiram para resolver a crise internacional de pesca, através um fórum onde os Estados-Membros podem acordar e discutir regras vinculativas para a conservação e gestão dos recursos pesqueiros no âmbito da sua área geográfica de responsabilidade. Embora alguns acordos existam há mais de 60 anos, muitos pesquisadores concordam que os mesmos não têm sido totalmente eficazes para promover a manutenção e conservação dos recursos pesqueiros. Muitas razões podem explicar a falta de eficiência no manejo, uma delas é que, o aconselhamento cientifico não é muitas vezes considerado nas decisões políticas. Nesta pesquisa, a influência do conhecimento e da ciência na tomada de decisões políticas serão avaliadas. Para isso, a teoria das comunidades epistêmicas, que faz parte da veia construtivista em Relações Internacionais, foi usada para responder à principal questão colocada aqui: quando é que o poder ouviu a ciência? E isso trouxe mais eficiência em termos do conhecimento proveniente das comunidades epistêmicas induzir os Estados a mudarem seu comportamento e a influência levar a políticas que aumentem a biomassa dos estoques pesqueiros? Com o uso de process tracing, por meio de entrevistas com atores e uma compilação sistemática dos relatórios das reuniões anuais, as OROPS: CCAMLR, ICCAT e CCSBT foram estudadas, e a conclusão final é que, os tomadores de decisão podem ouvir a ciência, porém, a estratégia, os aliados e a forma como a influência se desenvolve varia caso a caso.

Esta dissertação tem como objetivo compreender o papel do Banco Mundial como consolidador e articulador de comunidades epistêmicas em dois projetos elaborados conjuntamente com Brasil e Argentina na década de 1990. Considerando abordagens de teoria das relações internacionais sobre incorporações de novos atores na participação de tomada de decisão compartilhada, mais especificamente de comunidades epistêmicas, assim como os documentos oficiais dos projetos, analisamos a terceira fase das reformas na área de C&T no Brasil e a reforma na área de educação superior na Argentina. / This thesis aims to understand the World Bank\'s role as consolidator and articulator of epistemic communities in two projects developed jointly with Brazil and Argentina in the 1990s. Considering approaches to international relations theory on incorporation of new actors in the participation of shared decision making, more specifically of epistemic communities, as well as official documents of the projects, we analyze the third phase of reforms in the area of science and technology in Brazil and reform in the Higher Educations area in Argentina.

Nesta tese, explicitamos os mecanismos de produção de sentido que discursivizam a Bíblia Sagrada como Palavra Revelada de Deus. Mostramos como o texto bíblico, na qualidade de enunciado marcado por pessoa, tempo e espaço definidos, constrói para si o sentido de discurso omnipessoal, omnitemporal e omniespacial promovendo o processo de significação e de permanência que o qualifica como texto fundador do cristianismo. Defendemos a tese de que o texto bíblico discursiviza de modo peculiar o mundo divino e seus atores e produz, em termos de presença, um impacto que mobiliza o enunciatário, como corpo sensível, a um fazer interpretativo que o sanciona e acolhe o conhecimento apresentado como Palavra Revelada de Deus. Dessa maneira, o discurso promove uma transformação no estado epistêmico do enunciatário e demanda dele uma resposta cognitiva e ética orientada pela axiologia cristã. Discutimos a formação e a delimitação do corpo actorial nas narrativas bíblicas do Evangelho de Lucas e em Atos dos Apóstolos. Utilizando o conceito de narratividade da enunciação, defendemos que esses textos constroem, por meio da enunciação enunciada, uma peculiar cena enunciativa em que o enunciador é o sujeito de uma performance que constitui o mundo divino, em que Deus é o arquienunciador e o Destinador transcendente. Esse movimento promove o estabelecimento de um contrato de veridicção também peculiar que faz com que o sobrenatural seja a expectativa do gênero e o meio de configuração e confirmação da presença divina. O deslocamento actancial do enunciador para um destinador compatível com a Palavra Revelada funda-se no conceito greimasiano de Destinador transcendente. Permeiam, pois, os movimentos de garimpo feito da discursivização da Palavra Revelada a Semiótica de raiz greimasiana e, a partir do instrumental da Semiótica tensiva, descrevemos os efeitos subjetais promovidos pela discursivização da presença divina no texto bíblico. O encadeamento de programas narrativos promove um ritmo assomo-resolução que mantém a tensão e o impacto sensível ao longo do texto. É um ritmo que gera também no enunciatário um esforço em busca da reorganização afetiva, o que é descrito como um pervir sensibilizado que ampara a transformação do estado epistêmico do sujeito. Por fim, entendemos ter comprovado que é possível e é viável examinar a Bíblia como um discurso entre outros, de modo que essa transformação epistêmica seja o fundamento para uma série de mudanças cognitivas e éticas que dão suporte a práticas cristãs como a própria leitura bíblica, a que sucedem a memorização de passagens, a participação em estudos bíblicos e sermões e a divulgação do conteúdo e da ética cristã a não crentes. / In this thesis we have specified the mechanisms of production of meaning that put The Holy Bible as discourse making it the Revealed Word of God. We show how the biblical text, as utterance marked by person, time and space set, builds for itself the sense of omni personal, omni temporal and omni spatial speech promoting the process of signification and residence that qualifies it as a founding text of Christianity. We defend the thesis that the biblical text put in discourse in a peculiar way the divine world and his actors and it produces, in terms of a presence, an impact that mobilizes the enunciatary, as sensitive body, to make the interpretive act that sanctions and receive the knowledge submited as Revealed Word of God. In this way, the discourse promotes a transformation in the epistemic state of enunciatary and demand a cognitive and ethical response guided by Christian axiology. We discuss the formation and delimitation of the actorial body in biblical narrative from the Gospel of Luke and the Acts of the Apostles. Using the concept of narrativity of enunciation, we demonstrate that, by means of the enunciate enunciation, this texts builds a peculiar enunciative scene in which the enunciator is the subject of a performance. This performance sets up the divine world where God is the arquienunciator and the Transcendent Destinador. This movement promotes the establishment of a peculiar veridiction contract that makes the supernatural to be installed as the expectation of the genre and the means of setting and confirming the divine presence. That actancial displacement of the enunciator to a destinator compatible with the Revealed Word is based on the greimasian concept of Transcendent Destinador. The moviments of minning done on the discourse of the Revealed Word permeate the greimasian semiotics and from the instrumental of the tensive semiotics, we describe the subjectals effects promoted by the constructed discourse of the divine presence in the biblical text. We demonstrate that the chaining of narrative programs promotes an astonishment-resolution rhythm that keeps the tension and the sensitive impact throughout the text. Its a rhythm who generates also in the enunciatary an effort in search of affective reorganization described as a sensibilized exercise that holds the transformation of the epistemic status of the subject. Finally, we understant to have confirm that is possible e viable to examine the Bible as a discourse among others, for what we show that this epistemic transformation is the basis for a series of cognitive and ethical changes that support Christian practices like reading the Bible, the memorization of passages, participating in Bible studies and sermons and the dissemination of Christian content and of ethics to non-believers.

Esta dissertação tem como objetivo compreender o papel do Banco Mundial como consolidador e articulador de comunidades epistêmicas em dois projetos elaborados conjuntamente com Brasil e Argentina na década de 1990. Considerando abordagens de teoria das relações internacionais sobre incorporações de novos atores na participação de tomada de decisão compartilhada, mais especificamente de comunidades epistêmicas, assim como os documentos oficiais dos projetos, analisamos a terceira fase das reformas na área de C&T no Brasil e a reforma na área de educação superior na Argentina. / This thesis aims to understand the World Bank\'s role as consolidator and articulator of epistemic communities in two projects developed jointly with Brazil and Argentina in the 1990s. Considering approaches to international relations theory on incorporation of new actors in the participation of shared decision making, more specifically of epistemic communities, as well as official documents of the projects, we analyze the third phase of reforms in the area of science and technology in Brazil and reform in the Higher Educations area in Argentina.

La théorie de la diffusion de l’innovation s’est constituée au cours du XXeme siècle autour de modèles qualitatifs et quantitatifs qui ne prennent pas en compte, sinon à la marge, l’influence des valeurs et des normes dans la genèse de l’adoption des innovations. A partir d’une hypothèse de recherche, la « structure complexe » d’Edgard Morin et Jean-Pierre Dupuy, et d’une synthèse épistémologique, ce travail de recherche propose une échelle de mesure expérimentale des « cités » de Boltanski et Thévenot et l’intégration de l’influence des conventions comme variables antécédentes de l’adoption des innovations dans un modèle d’équations structurelles inspiré d’une modélisation classique de comportement du consommateur, la théorie de l’action raisonnée de Fishbein. Appliqué au terrain des émissions de télévision, ce modèle indique que l’adoption des émissions dites de « téléréalité » et le bulletin télévisé de la météorologie répondent à des influences normatives différentes qui impliquent des comportements différenciés chez le téléspectateur lors de la consommation de ces programmes. La modélisation de l’influence des conventions ouvre la voie à une classification inédite des émissions de télévision, en fonction des influences sociales, et, en lien avec l’audience, à une meilleure anticipation du succès des nouveaux formats télévisuels. / The theory of the diffusion of innovations has been built during the XXth century around qualitative and quantitative models which does not take into account, otherwise barely, the influence of values and norms on the genesis of innovations. From a research hypothesis, the “complex structure” thought by Edgar Morin and Jean-Pierre Dupuy and an epistemic synthesis, this thesis proposes an experimental measure scale of the Boltanski and Thevenot’s “worlds” and the implementation of sociological forms, “the conventions”, as variable of the innovation adoption in a structural equations model inspired from the Fishbein’s Theory of reasoned action. Built on the field of Tv programs, this model shows that the adoption of “reality TV programs” are linked with specific sociological influences. These sociological influences involve atypical behaviors of TV viewers in front of the screen. The model of the influence of the “conventions” on consumer behavior opens the way to a new classification of TV programs as well as an improved prevision of the success of new formats.

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.

Submitted by Jorge Silva (jorgelmsilva@ufrrj.br) on 2017-02-22T19:19:05Z No. of bitstreams: 1 2016 - Julio Cesar Araujo dos Santos.pdf: 6913194 bytes, checksum: 9b333a5cbf9f2fbd3637734c9fbb0d7a (MD5) / Made available in DSpace on 2017-02-22T19:19:06Z (GMT). No. of bitstreams: 1 2016 - Julio Cesar Araujo dos Santos.pdf: 6913194 bytes, checksum: 9b333a5cbf9f2fbd3637734c9fbb0d7a (MD5) Previous issue date: 2016-02-25 / The sanction of Law 10,639 / 03 changed the LDBEN with the inclusion of Article 26 -A and the obligation by governments to implement the DCN Erer strengthened the questioning on the training of teachers in relation to the hegemonic discourse on ethnic-racial relations in the country and practices that contributed to the consolidation of our model of exclusion. Thus, the research was compiled from the numerous difficulties of / colleagues in the early years, when required / them deal with Brazilian racial reality and the implications of these issues to propose another possible education in my work as a professional in more than twenty years in basic education. These reflections have become responsible for structuring the survey of fulcrum in shaping that process of future professionals of the early years in education institutes in the Baixada Fluminense region, with cut in the cities of Duque de Caxias and Nova Igua?u territory where the processing social and racial tensions of exclusion that has shaped our historical links with the past. From this perspective, the survey is present the actions and procedures that hinder the participation and implementation of the respective laws in the training of future professionals of education in the early grades Institutes of Education. The difficulties filed by the responsible agency of the State of Rio de Janeiro to carry out the research institutions also help to observe the possible correlation between the questioning regarding the myth of racial democracy and the state of neglect of changes in LDBEN and DCN Erer and real possibility of changes in teaching practices. These difficulties raised in the investigations, reinforced the methodological organization of working documents that gave rise to these institutes, the literature review, interviews with teachers trained in these institutions and students in an attempt to reflect and understand, therefore, on the speeches and on possible pertinence regarding the practices and effects of the constant process of cultural negotiation, which end up causing the impressions of those who suffered from the emptying of their cultural references and consequently of their ethnic and cultural identity. / A san??o da Lei 10.639/03 alterou a LDBEN com inclus?o do artigo 26.-A e a obriga??o pelos governos em implementar as DCN ERER refor?ou a problematiza??o sobre a forma??o dos docentes em rela??o ao discurso hegem?nico sobre as rela??es ?tnico-raciais no pa?s e as pr?ticas que contribu?ram para a consolida??o o nosso modelo de exclus?o. Dessa forma, a pesquisa foi elaborada a partir das in?meras dificuldades das/os colegas dos anos iniciais, quando obrigadas/os a lidar com a realidade racial brasileira e as implica??es desses problemas em propor uma outra educa??o poss?vel em minha atua??o enquanto profissional em mais de vinte anos na educa??o b?sica. Essas reflex?es tornaram-se respons?veis por estruturar a pesquisa com fulcro na forma??o que se processa dos futuros profissionais dos anos iniciais nos Institutos de Educa??o na regi?o da Baixada Fluminense, com recorte nas cidades de Duque de Caxias e Nova Igua?u, territ?rio onde se processam as tens?es sociais e raciais da exclus?o que moldou as nossas liga??es hist?ricas com o passado. Dessa perspectiva, a pesquisa apresenta as a??es e os procedimentos que dificultam a participa??o e a implementa??o das respectivas Leis na forma??o dos futuros profissionais da educa??o das s?ries iniciais nos Institutos de Educa??o. As dificuldades interpostas pelo ?rg?o respons?vel do Estado do Rio de Janeiro para realiza??o da pesquisa nas institui??es tamb?m ajudam observar a poss?vel correla??o entre o questionamento em rela??o ao mito da democracia racial e a neglig?ncia do estado sobre as altera??es na LDBEN e as DCN ERER e a real possibilidade de mudan?as nas pr?ticas docentes. Essas dificuldades levantadas nas investiga??es, refor?aram na configura??o metodol?gica do trabalho os documentos que deram origem aos referidos Institutos, an?lise bibliogr?fica, entrevistas com os docentes formados nessas institui??es e discente na tentativa de refletir e compreender, por conseguinte, sobre os discursos e a sobre poss?veis pertin?ncias em rela??o as pr?ticas e aos efeitos dos processos constantes de negocia??o cultural, que acabam acarretando as impress?es de quem sofreu com o esvaziamento de seus referenciais culturais e, consequentemente, da sua identidade ?tnico-cultural.