Mindreading is the capacity to attribute psychological states to others and to use those attributions to explain, predict, and understand others’ behaviors. In the past thirty years, mindreading has become the topic of substantial interdisciplinary research and theorizing, with philosophers, psychologists and, more recently, neuroscientists, all contributing to the debate about the nature of the neuropsychological mechanisms that constitute the capacity for mindreading. In this thesis I push this debate forward by using recent results from developmental psychology as the basis for critiques of two prominent views of mindreading. First, I argue that the developmental studies provide evidence of infant mindreading and therefore expose a flaw in José Bermúdez’s view that certain forms of mindreading require language possession. Second, I argue that the evidence of infant mindreading can also be used to undermine Alvin Goldman’s version of Simulation Theory.

This thesis investigates automata-theoretic techniques for the verification of physically distributed machines communicating via unbounded reliable channels. Each of these machines may run several recursive programs (multi-threading). A recursive program may also use several unbounded stack and queue data-structures for its local-computation needs. Such real-world systems are so powerful that all verification problems become undecidable. We introduce and study a new parameter called split-width for the under-approximate analysis of such systems. Split-width is the minimum number of splits required in the behaviour graphs to obtain disjoint parts which can be reasoned about independently. Thus it provides a divide-and-conquer approach for their analysis. With the parameter split-width, we obtain optimal decision procedures for various verification problems on these systems like reachability, inclusion, etc. and also for satisfiability and model checking against various logical formalisms such as monadic second-order logic, propositional dynamic logic and temporal logics. It is shown that behaviours of a system have bounded split-width if and only if they have bounded clique-width. Thus, by Courcelle's results on uniformly bounded-degree graphs, split-width is not only sufficient but also necessary to get decidability for MSO satisfiability checking. We then study the feasibility of distributed controllers for our generic distributed systems. We propose several controllers, some finite state and some deterministic, which ensure that the behaviours of the system have bounded split-width. Such a distributedly controlled system yields decidability for the various verification problems by inheriting the optimal decision procedures for split-width. These also extend or complement many known decidable subclasses of systems studied previously.

This thesis focuses on improving the SAT solving technology. The improvements focus on two major subjects: sequential SAT solving and parallel SAT solving. To better understand sequential SAT algorithms, the abstract reduction system Generic CDCL is introduced. With Generic CDCL, the soundness of solving techniques can be modeled. Next, the conflict driven clause learning algorithm is extended with the three techniques local look-ahead, local probing and all UIP learning that allow more global reasoning during search. These techniques improve the performance of the sequential SAT solver Riss. Then, the formula simplification techniques bounded variable addition, covered literal elimination and an advanced cardinality constraint extraction are introduced. By using these techniques, the reasoning of the overall SAT solving tool chain becomes stronger than plain resolution. When using these three techniques in the formula simplification tool Coprocessor before using Riss to solve a formula, the performance can be improved further. Due to the increasing number of cores in CPUs, the scalable parallel SAT solving approach iterative partitioning has been implemented in Pcasso for the multi-core architecture. Related work on parallel SAT solving has been studied to extract main ideas that can improve Pcasso. Besides parallel formula simplification with bounded variable elimination, the major extension is the extended clause sharing level based clause tagging, which builds the basis for conflict driven node killing. The latter allows to better identify unsatisfiable search space partitions. Another improvement is to combine scattering and look-ahead as a superior search space partitioning function. In combination with Coprocessor, the introduced extensions increase the performance of the parallel solver Pcasso. The implemented system turns out to be scalable for the multi-core architecture. Hence iterative partitioning is interesting for future parallel SAT solvers. The implemented solvers participated in international SAT competitions. In 2013 and 2014 Pcasso showed a good performance. Riss in combination with Copro- cessor won several first, second and third prices, including two Kurt-Gödel-Medals. Hence, the introduced algorithms improved modern SAT solving technology.

Esta dissertação tem por objetivo reconstruir os modelos cognitivo-culturais que estruturam a categoria conceitual RELIGIÃO, com base nos discursos dos/sobre os imigrantes das antigas colônias italianas na região Nordeste do estado do Rio Grande do Sul, relativamente ao modo como esses experienciavam a religiosidade. Isso se dá a partir de uma análise semântica dos enunciados presentes, por exemplo, em textos de natureza antropológica, historiográfica; relatos de memórias, cartas e diários. As fontes desses discursos são documental-bibliográficas e cobrem o período de 1875 à década de 1950. O corpus é constituído de 138 segmentos discursivos, organizados de acordo com cinco categorias diferentes de fontes. A investigação situa-se no campo da Semântica Cognitiva, orientada pela Teoria dos Modelos Cognitivos Idealizados (TMCI), proposta por Lakoff e seus colaboradores. Esse trabalho se justifica uma vez ainda não existirem estudos empíricos sobre a religião em uma cultura ou subcultura sob o viés da Semântica Cognitiva, garantindo seu caráter inédito. Essa teoria permite avaliar como uma categoria conceitual se estrutura e evolui em uma cultura. A análise empreendida dá-se dentro da esfera da Religião Católica, uma vez ser esta a religião predominante na cultura em questão. O método utilizado é o hipotético-dedutivo, a partir do qual se constrói a estrutura radial preliminar da categoria, com base numa análise inspecional do corpus inicial. Tem-se por hipóteses que: (1) a categoria tem uma estrutura proposicional radial, cujo submodelo prototípico é RITUAIS; (2) a categoria RELIGIÃO estrutura-se basicamente por radialidade, tendo como eixo-de-raio DEUS, com centro prototípico em PAI; (3) estruturas metafóricas e metonímicas organizam extensões ou projeções a partir desses raios; (4) tipos de estruturas proposicionais, como o modelo proposicional script, organizam elementos constitutivos da estrutura radial. O Sistema da Metáfora Moral é aplicado como um modelo organizador dessa estrutura. A análise do corpus selecionado confirma as hipóteses inicialmente levantadas. O submodelo RITUAIS é confirmado como o que prototipicamente representa a categoria. Outra hipótese confirmada é a da influência do modelo proposicional script, como parte integrante do modelo RITUAIS. A estrutura radial hipotética preliminar, ao final das análises, é ajustada aos achados da pesquisa. Esta investigação não visa levantar concepções de religião, mas investigar a estrutura semântico-conceitual de RELIGIÃO por meio da codificação explícita revelada em expressões lingüísticas ou em inferências a partir delas, por meio de modelos metafóricos, metonímicos e proposicionais. / Submitted by Marcelo Teixeira (mvteixeira@ucs.br) on 2014-05-19T17:24:04Z No. of bitstreams: 1 Dissertacao Carina Granzotto.pdf: 2486643 bytes, checksum: dddee18ae2237d598ee4373580a51283 (MD5) / Made available in DSpace on 2014-05-19T17:24:04Z (GMT). No. of bitstreams: 1 Dissertacao Carina Granzotto.pdf: 2486643 bytes, checksum: dddee18ae2237d598ee4373580a51283 (MD5) / This dissertation has the goal of reconstructing the cognitive cultural models that made up the conceptual category RELIGION, with a basis on the discourse of/about immigrants from the Old Italian colonies from the northern region of Rio Grande do Sul, in relation to how they experienced religiosity. This is done through a semantic analysis of the expressions used, for instance, in the texts of anthropologic and historiographic nature; reports of memories, letters, and diaries. The sources of this discourse are documented bibliographies that cover the period from 1875 to the decade of 1950. The corpus of this work is made up of 138 segments, organized accordingly into five categories with different sources. The investigation centers on the field of Cognitive Semantic, oriented by the Theory of Idealized Cognitive Models (TICM), proposed by Lakoff and his colleagues. This study justifies itself and guarantees its unprecedented nature since there has not yet been empirical studies done about religion in a culture or sub culture. The theory presented allows the evaluation of how a conceptual category structures itself and evolves in a culture. The analysis takes place inside the sphere of Catholic Religion, since this is the religion that predominates the culture in question. The method utilized is the hypothetic-deductive, from which the preliminary radial structure of the category is built, with a basis on the inspectional analysis of the initial corpus. The hypotheses is that: (1) the category has a structure that is propositional radial, in which the prototypical sub-models are RITUALS; (2) the category RELIGION has a radial structure having GOD as a radial axis and FATHER as the prototypical center; (3) metaphoric and metonymic structures organize extensions or projections from these rays; (4) the types of propositional structures, like the propositional model script, organize elements that make up the radial structure. The Moral Metaphor System is applied as a model that organizes this structure. The analyses of the selected corpus confirm the initial hypotheses suggested. The sub model RITUALS is confirmed as the one which prototypically represents the category. The other hypotheses confirmed concerns the influence of the propositional model script as the integral part of the RITUALS model. The preliminary hypothetic radial structure, at the end of the analyses, is adjusted to the findings of the research. This investigation does not aim to bring up conceptions of religion but rather to investigate the semantic-conceptual structure of RELIGION through the explicit codification reveled in linguistic expressions or in inferences from them, as well as through metaphoric, metonymic, and propositional models.

A literatura filosófica sobre a Psicologia do Senso Comum se estende desde a década de 1970, e abrange diversas questões sobre nosso entendimento interpessoal cotidiano, nossa capacidade de interação e coordenação de atividades, o arcabouço conceitual intuitivo que relaciona estados mentais e atitudes proposicionais a comportamentos, e os mecanismos cognitivos de leitura mental que nos permitem atribuir estados mentais a outras pessoas. Nesta dissertação eu examino o desenvolvimento histórico desta literatura, identificando dois debates distintos, o primeiro (principalmente entre Paul Churchland e Jerry Fodor dos anos 70 aos anos 90) tendo como foco a relação entre a teoria da Psicologia do Senso Comum e teorias científicas (da neurociência e das ciências cognitivas), e o segundo (o debate contemporâneo) tendo como foco os mecanismos cognitivos de leitura mental e o papel das atribuições de estados mentais e atitudes proposicionais nas teorias da cognição corporificada, situada e estendida. Além do exame histórico do que argumento serem dois debates distintos e da transição conceitual entre ambos, também apresento aqui minha crítica à abordagem eliminativista contemporânea de Matthew Ratcliffe e, como alternativa, articulo os princípios de uma abordagem pluralista que combina leitura mental e interpretação contextual situada como fundamentais para a cognição social / The philosophical literature on Folk Psychology began in the 1970s, and encompasses various questions about our everyday interpersonal understanding, our ability to interact and coordinate activities, the intuitive conceptual framework that relates mental states and propositional attitudes to behaviors, and the cognitive mechanisms of mindreading that allow us to attribute mental states to other people. In this thesis I examine the historical development of this literature, identifying two distinct debates, the first (mainly between Paul Churchland and Jerry Fodor from the 70s to the 90s) focusing on the relationship between the theory of Folk Psychology and scientific theories (in neuroscience and cognitive science), and the second (the contemporary debate) focusing on the cognitive mechanisms of mindreading and the role played by attributions of mental states and propositional attitudes in theories of embodied, situated and extended cognition. In addition to the historical examination of what I argue are two distinct debates as well as of the conceptual transition between them, here I present my criticism of Matthew Ratcliffe\'s contemporary eliminativist approach and, as an alternative to it, I articulate the principles of a pluralistic approach that combines both mindreading and situated contextual interpretation as fundamental for social cognition

Esta dissertação tem por objetivo reconstruir os modelos cognitivo-culturais que estruturam a categoria conceitual RELIGIÃO, com base nos discursos dos/sobre os imigrantes das antigas colônias italianas na região Nordeste do estado do Rio Grande do Sul, relativamente ao modo como esses experienciavam a religiosidade. Isso se dá a partir de uma análise semântica dos enunciados presentes, por exemplo, em textos de natureza antropológica, historiográfica; relatos de memórias, cartas e diários. As fontes desses discursos são documental-bibliográficas e cobrem o período de 1875 à década de 1950. O corpus é constituído de 138 segmentos discursivos, organizados de acordo com cinco categorias diferentes de fontes. A investigação situa-se no campo da Semântica Cognitiva, orientada pela Teoria dos Modelos Cognitivos Idealizados (TMCI), proposta por Lakoff e seus colaboradores. Esse trabalho se justifica uma vez ainda não existirem estudos empíricos sobre a religião em uma cultura ou subcultura sob o viés da Semântica Cognitiva, garantindo seu caráter inédito. Essa teoria permite avaliar como uma categoria conceitual se estrutura e evolui em uma cultura. A análise empreendida dá-se dentro da esfera da Religião Católica, uma vez ser esta a religião predominante na cultura em questão. O método utilizado é o hipotético-dedutivo, a partir do qual se constrói a estrutura radial preliminar da categoria, com base numa análise inspecional do corpus inicial. Tem-se por hipóteses que: (1) a categoria tem uma estrutura proposicional radial, cujo submodelo prototípico é RITUAIS; (2) a categoria RELIGIÃO estrutura-se basicamente por radialidade, tendo como eixo-de-raio DEUS, com centro prototípico em PAI; (3) estruturas metafóricas e metonímicas organizam extensões ou projeções a partir desses raios; (4) tipos de estruturas proposicionais, como o modelo proposicional script, organizam elementos constitutivos da estrutura radial. O Sistema da Metáfora Moral é aplicado como um modelo organizador dessa estrutura. A análise do corpus selecionado confirma as hipóteses inicialmente levantadas. O submodelo RITUAIS é confirmado como o que prototipicamente representa a categoria. Outra hipótese confirmada é a da influência do modelo proposicional script, como parte integrante do modelo RITUAIS. A estrutura radial hipotética preliminar, ao final das análises, é ajustada aos achados da pesquisa. Esta investigação não visa levantar concepções de religião, mas investigar a estrutura semântico-conceitual de RELIGIÃO por meio da codificação explícita revelada em expressões lingüísticas ou em inferências a partir delas, por meio de modelos metafóricos, metonímicos e proposicionais. / This dissertation has the goal of reconstructing the cognitive cultural models that made up the conceptual category RELIGION, with a basis on the discourse of/about immigrants from the Old Italian colonies from the northern region of Rio Grande do Sul, in relation to how they experienced religiosity. This is done through a semantic analysis of the expressions used, for instance, in the texts of anthropologic and historiographic nature; reports of memories, letters, and diaries. The sources of this discourse are documented bibliographies that cover the period from 1875 to the decade of 1950. The corpus of this work is made up of 138 segments, organized accordingly into five categories with different sources. The investigation centers on the field of Cognitive Semantic, oriented by the Theory of Idealized Cognitive Models (TICM), proposed by Lakoff and his colleagues. This study justifies itself and guarantees its unprecedented nature since there has not yet been empirical studies done about religion in a culture or sub culture. The theory presented allows the evaluation of how a conceptual category structures itself and evolves in a culture. The analysis takes place inside the sphere of Catholic Religion, since this is the religion that predominates the culture in question. The method utilized is the hypothetic-deductive, from which the preliminary radial structure of the category is built, with a basis on the inspectional analysis of the initial corpus. The hypotheses is that: (1) the category has a structure that is propositional radial, in which the prototypical sub-models are RITUALS; (2) the category RELIGION has a radial structure having GOD as a radial axis and FATHER as the prototypical center; (3) metaphoric and metonymic structures organize extensions or projections from these rays; (4) the types of propositional structures, like the propositional model script, organize elements that make up the radial structure. The Moral Metaphor System is applied as a model that organizes this structure. The analyses of the selected corpus confirm the initial hypotheses suggested. The sub model RITUALS is confirmed as the one which prototypically represents the category. The other hypotheses confirmed concerns the influence of the propositional model script as the integral part of the RITUALS model. The preliminary hypothetic radial structure, at the end of the analyses, is adjusted to the findings of the research. This investigation does not aim to bring up conceptions of religion but rather to investigate the semantic-conceptual structure of RELIGION through the explicit codification reveled in linguistic expressions or in inferences from them, as well as through metaphoric, metonymic, and propositional models.

[pt] Esta tese apresenta um novo cálculo de sequente, correto e completo para a Lógica Proposicional Minimal Implicacional (M →). LMT → destina-se a ser usado para a busca de provas em M →, em uma abordagem bottom-up. A Terminação do cálculo é garantida por uma estratégia de aplicação de regras que força uma maneira ordenada no procedimento de busca de provas de tal forma que todas as combinações possíveis são exploradas. Para uma fórmula inicial α, as provas em LMT→ têm um limite superior de |α|.2 |α|+1+2·log2|α|, que juntamente com a estratégia do sistema, garantem a decidibilidade do mesmo. As regras do sistema são concebidas para lidar com a necessidade de repetição de hipóteses e a natureza de perda de contexto da regra → esquerda , evitando a ocorrência de loops e o uso de backtracking. Portanto, a busca de prova em LMT → é determinística, sempre executando buscas no sentido forward. LMT → tem a propriedade de permitir a extração de contramodelos a partir de buscas de prova que falharam (bicompletude), isto é, a árvore de tentativa de prova de um ramo totalmente expandido produz um modelo de Kripke que falsifica a fórmula inicial. A geração de contra-modelo (usando a semântica Kripke) é obtida como consequência da completude do sistema. LMT→ é implementado como um provador de teoremas interativo baseado no cálculo proposto aqui. Comparamos nosso cálculo com outros sistemas dedutivos conhecidos para M →, especialmente com Tableaux no estilo Fitting, um método que também tem a propriedade de ser bicompleto. Também propomos aqui uma tradução de LMT → para o verificador de prova Dedukti como uma forma de avaliar a correção da implementação que desenvolvemos, no que diz respeito à especificação do sistema, além de torná-lo mais fácil de comparar com outros sistemas existentes. / [en] This thesis presents a new sequent calculus called LMT→ that has the properties to be terminating, sound and complete for Propositional Implicational Minimal Logic (M →). LMT→ is aimed to be used for proof search in M →, in a bottom-up approach. Termination of the calculus is guaranteed by a strategy of rule application that forces an ordered way to search for proofs such that all possible combinations are stressed. For an initial formula α, proofs in LMT→ has an upper bound of |α|.2 |α|+1+2·log2|α|, which together with the system strategy ensure decidability. System rules are conceived to deal with the necessity of hypothesis repetition and the contextsplitting nature of → left, avoiding the occurrence of loops and the usage of backtracking. Therefore, LMT→ steers the proof search always in a forward, deterministic manner. LMT→ has the property to allow extractability of counter-models from failed proof searches (bicompleteness), i.e., the attempt proof tree of an expanded branch produces a Kripke model that falsifies the initial formula. Counter-model generation (using Kripke semantics) is achieved as a consequence of the completeness of the system. LMT→ is implemented as an interactive theorem prover based on the calculus proposed here. We compare our calculus with other known deductive systems for M →, especially with Fitting s Tableaux, a method that also has the bicompleteness property. We also proposed here a translation of LMT→ to the Dedukti proof checker as a way to evaluate the correctness of the implementation regarding the system specification and to make our system easier to compare to others.

This work describes graphplan, satplan and real-time adaptive A* planning algorithms. Through implementation of these algorithms, functionality and assumed attributes (real-time calculation, parallelism) are tested. These tests take place in nontrivial domains. Graphplan and satplan algorithms were tested in block-world, tire-world and bulldozer domains. Results of these tests were compared and displayed in graphs. Real-time adaptive A* algorithm was tested in tire-world domain. Results of these tests were compared with classic A* algorithm. Advantages and disadvantages of these algorithms are also described in this work.

Le thème central de la présente thèse est le contenu sémantique des quantificateurs logiques. Dans leur forme la plus simple, les quantificateurs permettent d’établir l’existence, ou la non-existence, d’individus répondant à une propriété. En tant que tels, ils incarnent la richesse et la complexité de la logique du premier ordre, par delà la logique propositionnelle. Nous contribuons à l’analyse sémantique des quantificateurs, du point de vue de la théorie de la dualité, dans trois domaines différents des mathématiques et de l’informatique théorique. D’une part, dans la théorie des langages formels à travers la logique sur les mots. D’autre part, dans la logique intuitionniste propositionnelle et dans l’étude de l’interpolation uniforme. Enfin, dans la topologie catégorique et dans la sémantique catégorique de la logique du premier ordre. / The unifying theme of the thesis is the semantic meaning of logical quantifiers. In their basic form quantifiers allow to state theexistence, or non-existence, of individuals satisfying a property. As such, they encode the richness and the complexity of predicate logic, as opposed to propositional logic. We contribute to the semantic understanding of quantifiers, from the viewpoint of duality theory, in three different areas of mathematics and theoretical computer science. First, in formal language theory through the syntactic approach provided by logic on words. Second, in intuitionistic propositional logic and in the study of uniform interpolation. Third, in categorical topology and categorical semantics for predicate logic.

I want to discurs the relations of and negotiations between a (historical) valency grammar and an usage-based approach of (historical) construction grammar. The main focus is on the construction of commutation (ger. [werden]+[Past Participle]) as an indepenent linguistic pattern or form-meaning-pair. / Ich möchte die Beziehungen und Verhandlungen zwischen einer (historischen) Valenzgrammatik und einem gebrauchsbasierten Ansatz einer (historischen) Konstruktionsgrammatik diskutieren. Das Hauptaugenmerk liegt auf der Konstruktion der Vertauschung (dt. [werden]+[Past Participle]) als eigenständiges sprachliches Muster bzw. Form-Bedeutungs-Paar.