Der Begriff ``Agent'' hat sich als eine sehr nützliche Abstraktion erwiesen, um verschiedene Problembereiche auf eine intuitive und natürliche Art und Weise zu konzeptualisieren. Intelligente Agenten haben daher Anwendung gefunden in verschiedenen Teilbereichen der Informatik. Zur Modellierung werden intelligente Agenten meist als intentionale Systeme aufgefaßt und mit Hilfe von mentalistischen Begriffen wie Wissen, Glauben (oder Überzeugung), Wunsch, Pflicht, Intention usw. beschrieben. Unter diesen mentalen Begriffen gehören die epistemischen Begriffe (d.h., Wissen und Glauben) zu den wichtigsten und wurden auch am intensivsten untersucht. Zur Modellierung von Wissen und Glauben werden in der Regel modale epistemische Logiken verwendet. Solche Systeme sind aber nicht geeignet, um ressourcenbeschränkte Agenten zu beschreiben, weil sie zu starke Annahmen bezüglich der Rationalität von Agenten machen. Zum Beispiel wird angenommen, daß Agenten alle logischen Wahrheiten sowie alle Konsequenzen seines Wissens kennen. Dieses Problem ist bekannt als das Problem der logischen Allwissenheit (``logical omniscience problem''). Da alle Agenten grundsätzlich nur über begrenzte Ressourcen (wie z.B. Zeit, Information, Speicherplatz) verfügen, können sie nur eine begrenzte Menge von Informationen verarbeiten. Daher müssen alternative Modelle entwickelt werden, um Agenten realistisch modellieren zu können (siehe Kapitel 2). Daß modale epistemische Logik für die Formalisierung des ressourcenbeschränkten Schließens (``resource-bounded reasoning'') nicht geeignet ist, wird als ein offenes Problem der Agententheorien anerkannt. Es gibt bisher aber keine brauchbaren Alternativen zur Modallogik. Die meisten Ansätze zur Lösung des logischen Allwissenheitsproblems versuchen, Wissen und Glauben mit Hilfe schwacher Modallogiken zu beschreiben. Solche Versuche sind nicht befriedigend, da sie eine willkürliche Einschränkung der Rationalität der Agenten zur Folge haben (siehe Kapitel 3). Mein Ziel ist es, einen Rahmen für das ressourcenbeschränktes Schließen über Wissen und Glauben zu entwickeln. Damit soll eine solide Grundlage für Theorien intelligenter Agenten geschaffen werden. Als Nebenergebnis wird das logische Allwissenheitsproblem auf eine sehr intuitive Art und Weise gelöst: obwohl Agenten rational sind und alle logischen Schlußregeln anwenden können, sind sie nicht logisch allwissend, weil ihnen nicht genügend Ressourcen zu Verfügung stehen, um alle logischen Konsequenzen ihres Wissens zu ziehen. Im Kapitel 4 wird eine Reihe von Logiken vorgestellt, die den Begriff des expliziten Wissens formalisieren. Es wird eine Lösung des Problems der logischen Allwissenheit der epistemischen Logik vorgeschlagen, die die Rationalität der Agenten nicht willkürlich einschränkt. Der Grundgedanke dabei ist der folgende. Ein Agent kennt die logischen Konsequenzen seines Wissens nur dann, wenn er sie tatsächlich hergeleitet hat. Wenn ein Agent alle Prämissen einer gültigen Schlußregel kennt, kennt er nicht notwendigerweise die Konklusion: er kennt sie nur nach der Anwendung der Regel. Wenn er den Schluß nicht ziehen kann, z.B. weil er nicht die notwendigen Ressourcen dazu hat, wird sein Wissen nicht um diese herleitbare Information erweitert. Die Herleitung neuer Informationen wird als die Ausführung mentaler Handlungen aufgefaßt. Mit Hilfe einer Variante der dynamischen Logik können diese Handlungen beschrieben werden. Im Kapitel 5 werden Systeme für das ressourcenbeschränkte Schließen über Wissen und Glauben entwickelt, die auch quantitative Bedingungen über die Verfügbarkeit von Ressourcen modellieren können. Mit Hilfe dieser Logiken können Situationen beschrieben werden, wo Agenten innerhalb einer bestimmten Zeitspanne entscheiden müssen, welche Handlungen sie ausführen sollen. Der Ansatz besteht darin, epistemische Logik mit Komplexitätstheorie zu verbinden. Mit Hilfe einer Komplexitätsanalyse kann ein Agent feststellen, ob ein bestimmtes Problem innerhalb vorgegebener Zeit lösbar ist. Auf der Grundlage dieses Wissens kann er dann die für die Situation geeignete Entscheidung treffen. Damit ist es gelungen, eine direkte Verbindung zwischen dem Wissen eines Agenten und der Verfügbarkeit seiner Ressourcen herzustellen. / One of the principal goals of agent theories is to describe realistic, implementable agents, that is, those which have actually been constructed or are at least in principle implementable. That goal cannot be reached if the inherent resource-boundedness of agents is not treated correctly. Since the modal approach to epistemic logic is not suited to formalize resource-bounded reasoning, the issue of resource-boundedness remains one of the main foundational problems of any agent theory that is developed on the basis of modal epistemic logic. My work is an attempt to provide theories of agency with a more adequate epistemic foundation. It aims at developing theories of mental concepts that make much more realistic assumptions about agents than other theories. The guiding principle of my theory is that the capacities attributed to agents must be empirically verifiable, that is, it must be possible to construct artificial agents which satisfy the specifications determined by the theory. As a consequence, the unrealistic assumption that agents have unlimited reasoning capacities must be rejected. To achieve the goal of describing resource-bounded agents accurately, the cost of reasoning must be taken seriously. In the thesis I have developed a framework for modeling the relationship between knowledge, reasoning, and the availability of resources. I have argued that the correct form of an axiom for epistemic logic should be: if an agent knows all premises of a valid inference rule and if he performs the right reasoning, then he will know the conclusion as well. Because reasoning requires resources, it cannot be safely assumed that the agent can compute his knowledge if he does not have enough resources to perform the required reasoning. I have demonstrated that on the basis of that idea, the problems of traditional approaches can be avoided and rich epistemic logics can be developed which can account adequately for our intuitions about knowledge.

This study aimed to verify the influence of epistemic motivation in decision making. We addressed the following themes: decision-making, information overload; epistemic motivation; amount of information, satisfaction, and confusion. In order to achieve this purpose, we developed a task context in which it was possible to study multiple objectives in multiple scenarios, with the aid of a Multiple Criteria Decision Support System (MCDSS) and without the aid of a MDA. We carried out an experimental research in the laboratory using a decision task with multiple alternatives and criteria, with twenty-nine people divided into three experimental groups according to the number of attributes and alternatives. The task, which simulates the purchase of a bottle of wine for personal consumption, was structured in order to create a decision environment with the help of the MCDSS M-MACBETH or without it, by using the Think Aloud verbal protocol. After formulating and testing the hypotheses, we found that the effect of the information overload is not weaker for individuals with high epistemic motivation; the moderating effect of epistemic motivation was not weaker for the alternatives than for attributes; and individuals with low epistemic motivation did not notice the overload in the form of alternatives and attributes, resulting in dissatisfaction and/or confusion. Thus, we found no statistical evidence to confirm the hypotheses of this study. The discussion of the results reveals important particularities in decision-making process since participants had to choose, and people usually avoid or postpone their choices. By pointing to the role of complexity of information, a broader conception of choice is suggested. This broader perspective should allow forecasts which variables that can facilitate or hinder the emergence of effects of information overload. Regarding epistemic motivation, the findings do not reveal significant differences in the distributions of choices made according to different motivational conditions. This suggests that when faced with complex information, everyone makes the necessary effort, whether they are high or low in epistemic motivation; however, we emphasize that this topic needs further clarification. / Este estudo teve como objetivo verificar a influência da motivação epistêmica no processo decisório. Foram abordados os temas processo decisório; sobrecarga de informação; motivação epistêmica; quantidade de informações, satisfação e confusão. Para atingir o objetivo proposto, foi desenvolvida uma tarefa em que fosse possível estudar múltiplos objetivos em múltiplos cenários, com o auxílio de um Sistema Multicritério de Apoio à Decisão (SAD) e sem o auxílio de um SAD. Realizou-se uma pesquisa experimental em laboratório, utilizando-se uma tarefa decisória com múltiplas alternativas e critérios com vinte e nove sujeitos separados em três grupos experimentais, de acordo com a quantidade de atributos e alternativas. A tarefa, que simula a compra de uma garrafa de vinho para consumo próprio, foi estruturada com o intuito de criar um ambiente de decisão para a realização, com o auxílio do SAD M-MACBETH e sem o auxílio deste, sendo utilizado o protocolo verbal Think Aloud. Testando-se a hipótese, verificou-se que: o efeito da sobrecarga de informação não foi mais fraca para indivíduos com alta motivação epistêmica; o efeito moderador da motivação epistêmica não foi mais fraco nas alternativas do que para os atributos; e indivíduos com baixa motivação epistêmica não perceberam a sobrecarga na forma de alternativas e atributos, resultando em insatisfação e/ou confusão. Assim, não foram encontradas comprovações estatísticas para afirmar a hipótese deste estudo. A discussão dos resultados revela importantes particularidades no processo de decisão, uma vez que os participantes tiveram que escolher, enquanto as pessoas costumam evitar ou adiar a escolha. Ao apontar para o papel da complexidade de informação, é sugerida uma concepção mais ampla sobre a escolha. Tal perspectiva mais ampla deve permitir previsões de quais variáveis podem facilitar ou dificultar o surgimento de efeitos de sobrecarga de informações. Com relação à motivação epistêmica, os achados, neste estudo, não revelam diferenças significativas entre as distribuições das escolhas feitas de acordo com as diferentes condições motivacionais. Isso sugere que, quando confrontados com informações complexas, todos fazem o esforço necessário, independente de serem altos ou baixos na motivação epistêmica, destacando-se, porém, que esse tópico carece de um aprofundamento maior.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O bi-dimensionalismo epistêmico é a tese de que os estados mentais de um indivíduo tem uma dupla divisão, tendo, então, um conteúdo amplo e um conteúdo estreito. Um conteúdo amplo é aquele cuja determinação depende em parte de propriedades extrínsecas ao sujeito: ou seja, é aquele que possui relação com o mundo externo ao sujeito, seja físico ou social. Já o conteúdo estreito é o conteúdo plenamente determinado por propriedades intrísecas ao sujeito, sem precisar recorrer a nada externo. Este conteúdo estreito será, de acordo com o bi-dimensionalismo de Jackson e de Chalmers, o conteúdo representativo de um estado mental, dado através de descrições sobre aquilo que o sujeito sabe e acredita sobre o mundo ao seu redor. O objetivo desta dissertação ao tratar sobre esta forma de bi-dimensionalismo é o de apresentá-lo como uma possível resposta para dois problemas gerados pela afirmação externalista de que nomes próprios e termos de tipos naturais são designadores rígidos e pela afirmação de que todo conteúdo de um estado mental é amplo. Estes dois problemas são a incompatibilidade do conteúdo amplo com o acesso privilegiado e a sua incompatibilidade com o papel explicatório que estados mentais intencionais parecem ter em relação aos comportamentos de um indivíduo, pois, se os indivíduos não possuem um acesso privilegiado aos conteúdos dos seus estados mentais, tal conteúdo amplo não poderá ser visto como sendo um causalmente relevante para os seus comportamentos. Contudo, os argumentos apresentados pelo externalismo semântico parecem ainda convincentes demais para considerar tais consequências como sendo um bom motivo para se abandonar a tese externalista. Além disso, vários exemplos do funcionamento da linguagem (como os casos do uso de nomes próprios e termos de espécies naturais) parecem indicar que o externalismo semântico é correto. Assim, neste trabalho, analisarei a teoria bi-dimensional à luz das afirmações externalistas sobre o significado e sobre a individuação dos conteúdos dos estados mentais, ou seja, como podendo ser uma teoria que, além de ser uma capaz de fornecer uma resposta viável para estes dois problemas, é também compatível com o conteúdo amplo da forma como é afirmado pelo externalismo. / The epistemic two-dimensionalism is the thesis that the mental states of a person have double division, possessing, therefore, a broad content and a narrow content. A broad content is the one whose determination depends partially on properties extrinsic to the individual: i.e., it is the one which is related to the world external to the individual, be it physical or social. On the other hand, the narrow content is the one completely determined by properties intrinsic to the individual, without the need of anything external. This narrow content is, according to Jacksons and Chalmers two-dimensionalism, the representative content of a mental state, presented through description of what the individual knows of and believes in the world around him. The objective of this dissertation dealing with this form of two-dimensionalism is to present it as a possible answer to two problems generated by the externalist affirmative that proper names and natural kind terms are rigid designators and the affirmative that all content in a mental state is broad. These two problems are the incompatibility of the broad content and the privileged access and its incompatibility with the explanatory role that intentional mental states seem to have regarding a persons behavior, for if people have no privileged access to the content of their mental states, such broad content cannot be seen as being causally relevant to their behaviors. However, the arguments presented by semantic externalism still seem too convincing to consider such consequences as being enough reason to all-together abandon the externalist thesis. Besides, a number of examples of languages functioning (as the use of proper names and natural kind terms) seem to point to the fact that semantic externalism is correct. Therefore, in this work, I shall analyze the two-dimensional theory under the light of externalist affirmatives on the meaning and on the individuation of the content of mental states, i.e., as being a thesis that not only is able to provide a viable answer to these two problems, but also is compatible with broad content as regarded by externalism.

This thesis involves a collaborative study of emic articulations and quotidian ways of ‘being German' and ‘being Paraguayan' in Nueva Germania, a rural municipality in Paraguay. An argument is made that the social categories focused upon during this thesis, were evoked according to different contexts. While many claimed that Germanness or Paraguayanness were key categories, essentialistic characteristics that defined them and others as people of a certain kind, in other situations these social divisions were disregarded or even contradicted. This leads me to the theoretical conclusion that social categories, and epistemic frameworks more broadly, should not be understood as universally relevant or as universally applicable, and should not be treated as such. The thesis therefore proposes to assume ‘contextual epistemic permissibility' as a key axiom for use within anthropology and in the wider social sciences. The possible theoretical and methodological consequences of such an assumption are elaborated upon. Different theories of self, social action, and agency are debated in the course of this thesis: it is asked which might best analytically accommodate the assumption of contextual epistemic permissibility. Furthermore, in order to reflect the multiplicity of emic epistemic frameworks, the thesis proposes that a notion of ‘analytical and representative complementarity' be introduced, rather than monistic theoretical models. Such complementarity is practised in the thesis through the use of different multiscalar analyses (for example, the use of different theories of nationalism), and through the simultaneous use of different forms of representation. The above theoretical divagations are intertwined and related to the individual stories of twelve people from Nueva Germania, and are presented with both textual and photographic means. The stories were created through a collaborative process. Each project participant was free to decide upon the subject of their account, and therefore the resulting stories are able to cover a variety of different themes, at the same time introducing the reader to individual histories, struggles, opinions, plans, and critiques. Some elements of these accounts directly relate to the theoretical debates focused upon within the thesis while other elements of the individual stories are left to speak for themselves, and for the reader to make sense of independently. The photographs and texts, in their intertextual presentation, allow for an embodiment of the argument concerning representational complementarity.

This thesis concerns approaches to solving the problem of paradoxical sceptical arguments from ignorance within contemporary epistemology. In chapter 1, I critically discuss three frameworks for approaching the sceptical problem, and argue that theoretical responses are unsatisfactory. In chapter 2, I critically examine recent accounts of sceptical hypotheses, and argue against them on the grounds of generality, and in favour of my own account. In chapter 3, I critically examine recent accounts of the epistemic principles underwriting sceptical arguments from ignorance, and argue against them on the grounds of generality, and in favour of my own account. In chapter 4, I critically evaluate the adequacy of resolutions to sceptical paradoxes suggested by three prominent versions of epistemological contextualism. In chapter 5, I examine a central objection to the error theories implied by contextualist resolutions of sceptical paradoxes, which focuses on the notion of semantic blindness. Two assessments of the objection are set out, and contextualist responses to each. I argued that considerations of semantic blindness count against contextualist resolutions of sceptical paradoxes in favour of invariantists. In chapter 6, I assess the potential for an invariantist to provide an adequate error-theory concerning, and resolving, sceptical paradoxes. I critically assess approaches based on aspects of the heuristics and biases paradigm, and of dual-process theories of mindreading. I propose, instead, a novel anti-sceptical error-theory in terms of the default-interventionist model of dual-process theory of judgement and reasoning, together with my conclusions from chapters 2 and 3.

En este trabajo analizamos distintas estrategias morfosintácticas de codificación de evidencialidad y modalidad epistémica en toba del este y del oeste de Formosa, Argentina, desde la perspectiva tipológico-funcional (Chafe 1986; Bybee et al. 1994; Givón 2001; De Haan 2001, 2005; Aikhenvald 2004; etc.). En toba del este, se describe un evidencial de tipo reportativo a partir de una forma fosilizada del verbo ‘decir’, y el uso de dos adverbios de modalidad epistémica: ʔegoʔ~ʔekoʔ ‘parece que’ e yataqta ‘es cierto’. En toba del oeste, se analiza el uso de las raíces demostrativas más el prefijo ho-, pospuestas al elemento modificado (nombre, verbo, adverbio, o cláusula), como una estrategia de codificación de modalidad epistémica, específicamente de baja certeza subjetiva. / This paper analyzes morphosyntactic strategies that encode evidentiality and epistemic modality in eastern and western Toba (Formosa, Argentina), from the functional typological perspective (Chafe 1986; Bybee et al. 1994; Givón 2001; De Haan 2001, 2005; Aikhenvald 2004; etc.). In eastern Toba, a reportative derived from a grammaticalyzed ‘say’-verb, and the use of two epistemic adverbs –ʔegoʔ~ʔekoʔ ‘apparently’ and yataqta ‘certainly’– are described. In western Toba, demonstrative roots plus the prefix ho-, after the modified element (noun, verb, adverb, or clause), are analyzed as a strategy of encoding epistemic modality, specifically low subjective certainty.

Due to vague boundaries, a diversity of meanings and variations of modal strength, the translation of modals might be challenging. This paper investigates the translation of the modal should in a text with recommendations on horse feeding. The translations of deontic and epistemic meanings of should expressing an obligation or necessity are analysed using a framework based on grammatical definitions and linguistic theory. The translation strategies are based on Reiss’ text typology and strategies recommended for informative and operative texts (2000), and Newmark’s communicative translation (1988). Also, procedures of Vinay & Darbelnet (1995) are used to describe some of the translations. The study reveals that majority of the examples are used in the deontic sense and that should is mostly translated as bör and ska. The high frequency of ska might be related to its flexibility and multifunctional properties. Possible translation problems involve differences in the interpretation, where a modal might come across as too strong or too weak to target readers. Another translation problem may arise if the chosen modal can be perceived as less moralising than intended. There are also ambiguous cases that could be said to have both deontic and epistemic meanings. The analysis shows how deontic and epistemic meanings can be determined by context. However, even though a deeper understanding of the topic and an evaluation of the context might support the translation choices, some ambiguity can still be said to remain. The paper concludes that the translation of modals requires thoughtful consideration. A thorough interpretation of meaning related to context and profound knowledge on the topic are equally important in the translation of should.

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.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O bi-dimensionalismo epistêmico é a tese de que os estados mentais de um indivíduo tem uma dupla divisão, tendo, então, um conteúdo amplo e um conteúdo estreito. Um conteúdo amplo é aquele cuja determinação depende em parte de propriedades extrínsecas ao sujeito: ou seja, é aquele que possui relação com o mundo externo ao sujeito, seja físico ou social. Já o conteúdo estreito é o conteúdo plenamente determinado por propriedades intrísecas ao sujeito, sem precisar recorrer a nada externo. Este conteúdo estreito será, de acordo com o bi-dimensionalismo de Jackson e de Chalmers, o conteúdo representativo de um estado mental, dado através de descrições sobre aquilo que o sujeito sabe e acredita sobre o mundo ao seu redor. O objetivo desta dissertação ao tratar sobre esta forma de bi-dimensionalismo é o de apresentá-lo como uma possível resposta para dois problemas gerados pela afirmação externalista de que nomes próprios e termos de tipos naturais são designadores rígidos e pela afirmação de que todo conteúdo de um estado mental é amplo. Estes dois problemas são a incompatibilidade do conteúdo amplo com o acesso privilegiado e a sua incompatibilidade com o papel explicatório que estados mentais intencionais parecem ter em relação aos comportamentos de um indivíduo, pois, se os indivíduos não possuem um acesso privilegiado aos conteúdos dos seus estados mentais, tal conteúdo amplo não poderá ser visto como sendo um causalmente relevante para os seus comportamentos. Contudo, os argumentos apresentados pelo externalismo semântico parecem ainda convincentes demais para considerar tais consequências como sendo um bom motivo para se abandonar a tese externalista. Além disso, vários exemplos do funcionamento da linguagem (como os casos do uso de nomes próprios e termos de espécies naturais) parecem indicar que o externalismo semântico é correto. Assim, neste trabalho, analisarei a teoria bi-dimensional à luz das afirmações externalistas sobre o significado e sobre a individuação dos conteúdos dos estados mentais, ou seja, como podendo ser uma teoria que, além de ser uma capaz de fornecer uma resposta viável para estes dois problemas, é também compatível com o conteúdo amplo da forma como é afirmado pelo externalismo. / The epistemic two-dimensionalism is the thesis that the mental states of a person have double division, possessing, therefore, a broad content and a narrow content. A broad content is the one whose determination depends partially on properties extrinsic to the individual: i.e., it is the one which is related to the world external to the individual, be it physical or social. On the other hand, the narrow content is the one completely determined by properties intrinsic to the individual, without the need of anything external. This narrow content is, according to Jacksons and Chalmers two-dimensionalism, the representative content of a mental state, presented through description of what the individual knows of and believes in the world around him. The objective of this dissertation dealing with this form of two-dimensionalism is to present it as a possible answer to two problems generated by the externalist affirmative that proper names and natural kind terms are rigid designators and the affirmative that all content in a mental state is broad. These two problems are the incompatibility of the broad content and the privileged access and its incompatibility with the explanatory role that intentional mental states seem to have regarding a persons behavior, for if people have no privileged access to the content of their mental states, such broad content cannot be seen as being causally relevant to their behaviors. However, the arguments presented by semantic externalism still seem too convincing to consider such consequences as being enough reason to all-together abandon the externalist thesis. Besides, a number of examples of languages functioning (as the use of proper names and natural kind terms) seem to point to the fact that semantic externalism is correct. Therefore, in this work, I shall analyze the two-dimensional theory under the light of externalist affirmatives on the meaning and on the individuation of the content of mental states, i.e., as being a thesis that not only is able to provide a viable answer to these two problems, but also is compatible with broad content as regarded by externalism.

Esta investigação analisa projetos em disputas na produção de políticas de currículo em EJA (Educação de Jovens e Adultos). Para tal, são investigadas produções de dois espaços em que circulam diferentes textos que enunciam demandas de diversos grupos, a saber, os ENEJAs (Encontro Nacional de Educação de Jovens e Adultos) e o GT 18 da ANPEd (Associação Nacional de Pós-graduação e Pesquisa em Educação). Nesses, são identificadas e problematizadas demandas em disputa na produção de políticas de currículo em EJA, que articuladas no processo de significação, tencionam constituir um discurso hegemônico no currículo voltado à EJA. É destacada, no processo de produção das políticas, a atuação das comunidades epistêmicas em diferentes contextos na tentativa de influenciar e hegemonizar determinados sentidos em torno da produção das políticas de currículo em EJA. Nesse sentido, as políticas de currículo são entendidas como discurso, o que implica abordar e problematizar discursos que circulam em diferentes contextos como atravessados por relações de saber-poder. Para tal, dialogamos com a teoria do discurso proposta por Ernesto Laclau, a abordagem metodológica do ciclo contínuo de políticas de Stephen Ball e a vertente analítica das comunidades epistêmicas. É argumentado que as políticas de currículo são produzidas em diferentes contextos, com o envolvimento de diferentes atores sociais. É defendido, ainda, com base na análise de diferentes documentos e das demandas, que possíveis discursos são constituídos em função da articulação de certas demandas tornadas equivalentes e que buscam hegemonizar determinados sentidos da/na política curricular da EJA. Apontamos ainda, a possibilidade de futuras investigações no campo das políticas de currículo em EJA. / This research analyzes projects in dispute for the production of curriculum policies in EJA (Youth and Adults Education). For that, this research analysis productions of two spaces where different texts that enunciate demands of several groups walk in, namely, the ENEJAs (Encontro Nacional de Educação de Jovens e Adultos) and the GT 18 of ANPEd (Associação Nacional de Pós-graduação e Pesquisa em Educação). In these, demands in dispute for the production of curriculum policy on EJA are identified and problematized, that articulated in the process of signification, tending to constitute an hegemonic discourse on the curriculum facing to EJA. It is highlighted, in the process that produce policy, the action of epistemic communities in different contexts on the tentative to influence and hegemonies certain senses around the production of curriculum policy on EJA. In this sense, the curriculum policy is understood as a discourse, which implies to board and problematize discourses that circle in different contexts like cross by knowledge-power relations. For such, we dialogue with the discourses theory proposed by Ernesto Laclau, the methodological approach of policy cycle by Stephen Ball and the analytical side of the epistemic communities. It is argued that the curriculum policies are produced in different contexts, with the involvement of different social actors. It is still defended, based on the analysis of different documents and demands, that possible discourses are constituted as a function of the joint of certain demands, turned equivalents, and that search to make hegemony certain directions of/in the curricular policy of EJA. We still appoint the possibility of future researches about the curriculum policy in EJA.