Dissertations / Theses on the topic 'Logicism'

In order to understand the implications of Frege's Grundlagen der Arithmetik, we must bear in mind that Frege saw logic as an overarching discipline, necessary for all scientific enquiry. This consideration allows us to make sense of his logicism, the idea that arithmetic is embedded in logic, and his platonism, the commitment to the mind-independent nature of arithmetic objects, such as numbers. In 1902, Russell generated a paradox from Basic Law (V), found in the first volume of Grundgesetze, which suggested that Frege's entire logical system was inconsistent. Recent work by Boolos and Wright, have fenced off the damage and shown that the bulk of Frege's work is consistent. I shall argue, however, that their proposed solutions prove unsatisfactory with respect to Frege's view of logic and especially his logicism.

In the first half of the thesis I investigate David Hilbert's early ontology of mathematics around the period 1899-1916. Hilbert's early views are of significant philosophical interest and have been largely ignored due to his later, more influential work. I suggest that, in this period Hilbert, can be understood as an early structuralist. In the second half of the thesis, I connect two important debates in the foundations of mathematics: Hale and Wright's neo-Fregean logicism and the Frege-Hilbert controversy. Using this connection, I adapt Frege's objections to Hilbert and apply them to Hale and Wright's account. By doing this, I show that the neo-Fregean logicists have long abandoned the Fregean element of their program in favor of a structuralist ontology. I conclude that our ontological conception of what exists in mathematics and what it is like constrains the foundations we use to characterise mathematical reality.

Made available in DSpace on 2016-04-27T17:27:06Z (GMT). No. of bitstreams: 1 Arthur Heller Britto.pdf: 403242 bytes, checksum: 9ea7d542e4846499fab1760b30fe2a33 (MD5) Previous issue date: 2013-11-08
The objective of this dissertation is first to present the fundamental part of Frege's logicist project - that became known as Frege's theorem - as an independent mathematical result in order to then evaluate its philosophical significance through a discussion of Frege's concept of logic. Besides, there are two appendixes in which a general recursion theorem is proven inside a classical second-order logical system and a neofregean construction of the real numbers from Cauchy sequences is presented
O objetivo desta dissertação e, em primeiro lugar, apresentar o núcleo fundamental do projeto logicista fregeano - o que ficou conhecido pelo nome de teorema de Frege - como um resultado matemático independente para, em seguida, avaliar o seu significado filosófico por meio da discussão acerca do conceito fregeano de logica. Além disso, este trabalho contém dois anexos, nos quais se demonstra um teorema geral de recursão dentro de um sistema clássico de logica de segunda ordem e se apresenta uma construção neofregeana dos números reais por meio de sequências de Cauchy

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2017-06-27T17:05:47Z No. of bitstreams: 1 Rafael Godolphim Feijó_.pdf: 1835499 bytes, checksum: 9b7410f8b42d5a741ecbd275052ab216 (MD5)
Made available in DSpace on 2017-06-27T17:05:47Z (GMT). No. of bitstreams: 1 Rafael Godolphim Feijó_.pdf: 1835499 bytes, checksum: 9b7410f8b42d5a741ecbd275052ab216 (MD5) Previous issue date: 2017-03-31
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
FAPERGS - Fundação de Amparo à Pesquisa do Estado do Rio Grande do Sul
A filosofia kantiana da matemática é fundamentada sobre uma estrutura epistemológica intuicionista. As categorias do espaço e do tempo constituem as formas da sensibilidade, formas estas manifestadas por meio de uma intuição pura a priori. O presente trabalho busca realizar uma defesa razoável de tal intuição frente aos críticos contemporâneos, os quais propõem um programa logicista desprovido de estrutura epistêmica no que tange ao raciocínio matemático. Tais críticos afirmam que a aritmética não necessita da intuição pura do tempo para que as operações numéricas possam ser realizadas. Buscaremos demonstrar que a lógica quantificacional constitui um expediente meramente formalista que deixa de lado os problemas epistemológicos da cognição matemática e, por esse motivo, pode ambicionar desconsiderar a intuição pura kantiana. Portanto, buscaremos demonstrar que a intuição pura kantiana ainda pode lançar luz sobre a natureza dos cálculos da matemática.
The Kantian philosophy of mathematics is based on an intuitionist epistemological structure. The categories of space and time are the forms of sensibility, these forms manifested through a pure intuition a priori. The present work seeks to make a reasonable defense of such intuition in the face of contemporary critics, who propose a logicist program devoid of epistemic structure regarding mathematical reasoning. Such critics claim that arithmetic does not need the pure intuition of time for numerical operations to be performed. We will try to demonstrate that the quantificational logic constitutes a merely formalistic expedient that leaves aside the epistemological problems of the mathematical cognition and, for this reason, it can ambition to disregard the pure Kantian intuition. Therefore, we shall try to demonstrate that pure Kantian intuition can still shed light on the nature of mathematical calculations.

In this thesis I argue forin re structuralism in the philosophy of mathematics. In the first chapters of the thesis I argue that there is a genuine epistemic access problem for Platonism, that the semantic challenge to nominalism may be met by paraphrase strategies, and that nominalizations of scientific theories have had adequate success to blunt the force of the indispensability argument for Platonism. In the second part of the thesis I discuss the development of logicism and structuralism as methodologies in the history of mathematics. The goal of this historical investigation is to lay the groundwork for distinguishing between the philosophical analysis of the content of mathematics and the analysis of the breadth and depth of results in mathematics. My central contention is that the notion of logical structure provides a context for the latter not the former. In turn, this contention leads to a rejection of ante rem structuralism in favor of in re structuralism. In the concluding part of the dissertation the philosophy of mathematical structures developed and defended in the preceding chapters is applied to the philosophy of science.

Boèce prétend avoir apporté une solution définitive aux deux grandes apories du corpus logique aristotélicien, l'aporie de l'universel et l'aporie des futurs contingents. Nous montrons qu'Abélard, à travers sa critique des reales, met en question ces deux solutions et leur substitue deux distinctions voulues comme aporétiques - entre res et status d'un côté et entre res et dictum propositionis de l'autre - qui naissent de la reconnaissance par Abélard du caractère fictif des solutions boéciennes aux grandes apories du corpus logique aristotélicien. Ces deux distinctions organisent une réflexion philosophique profondément novatrice que nous nous efforçons de décrire
Boethius claims to have definitively solved the two great aporias of the corpus of Aristotelian Iogic, the universal aporia and the aporia of contingent futures. l demonstrate that Abelard,Through his critique of reales calls into question these two solutions and substitutes two distinctions that he wanted to he aporetique - between res and status on the one band andand dictum propositionis on the other hand - born of Abelard's recognition of the fictional character of the two Boetian solutions to the great aporias of the Aristotelician logical corpus. The two. distinctions pave the way for a profoundly new kind of philosophical reasoning,which this text mtends to describe

Made available in DSpace on 2014-06-11T19:24:54Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-08-12Bitstream added on 2014-06-13T20:52:49Z : No. of bitstreams: 1 gomes_rr_me_rcla.pdf: 970847 bytes, checksum: f1f63ef47745a8d3404205c27335f1b1 (MD5)
Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número do segundo, e os casos particulares de funções que são definidos no terceiro, bem como as considerações contidas em outros escritos do filósofo alemão. Verificamos uma caracterização puramente sintática de função em Begriffsschrift, uma distinção entre o sinal de uma função e aquilo que ele denota em Os Fundamentos da Aritmética, e a associação de dois elementos distintos a uma expressão funcional em Leis Fundamentais da Aritmética: o seu sentido e a sua referência. Finalmente, constatamos que a originalidade do sistema fregiano reside na possibilidade de considerar esse ou aquele termo de uma proposição como o argumento (ou os argumentos) de uma função.
In this work we present and analyze the fregean concept of function, present in the three books by Frege: Begriffsschrift, The Foundations of the Arithmetic and Fundamental Laws of the Arithmetic. We discuss what Frege understood by function and argument, the conceptual modifications that such notions suffered in the period of publication of those books and the importance of these notions for his philosophy. For so much, we analyze the artificial language of the first book, the definition of number in the second, and the particular cases of functions that are defined in the third, as well as the considerations contained in other works by the philosopher. We verify a purely syntactic characterization of function in Begriffsschrift, a distinction between the sign of a function and what it denotes in The Foundations of the Arithmetic, and the association of two different elements to a functional expression in Fundamental Laws of the Arithmetic: its sense and its reference. Finally, we verify that the originality of the Frege´s system is based on the possibility of considering one or other term of a proposition as the argument (or the arguments) of a function.

Ce travail propose une réévaluation du schisme phénoménologico-analytique à la lumière des textes de Husserl et de Carnap qui en constituent l’un des fondements et qui cependant émergent d’un contexte philosophique et scientifique similaire. L’idée carnapienne de constitution comme « reconstruction rationnelle » et arbitraire du monde peut en effet paraître s’opposer terme à terme au «se-constituer» des choses que déploie la phénoménologie husserlienne, mais l’emploi par Carnap du vocabulaire de la constitution nous impose d’interroger le lien que l’entreprise de l’Aufbau entretient avec la constitution idéaliste transcendantale. La thèse de ce travail revient à affirmer que l’opposition Husserl/Carnap ne peut être interprétée dans les termes d’une opposition entre phénoménologie et analyse logique, ni non plus sur la base des concepts d’idéalisme transcendantal, de logicisme ou de phénoménalisme. Comprendre l’opposition entre les deux auteurs (et donc plus lointainement entre les deux mouvements dont ils endossent, au moins partiellement, la paternité) implique de se pencher sur les textes de jeunesse où l’un et l’autre élaborent leur concept respectif de constitution, en s’intéressant notamment au modèle logico-mathématique du formel dont ils héritent, et dont leur système de constitution présente le déploiement. Cette confrontation nous amène à définir la constitution comme l’élaboration d’un modèle continu de la discontinuité atteinte par la description phénoménologique pré-constitutive du monde – ce qui nous conduira à interroger la pertinence du modèle topologique pour la constitution
In this PhD thesis, I attempt to reevaluate the opposition between analytical and phenomenological philosophy through the study of Husserl’s and Carnap’s systems of constitution. Carnap’s idea of constitution as a “rational” and arbitrary “reconstruction” of the world seems to be radically antithetical to Husserl’s descriptive account of the “self-constitution” of the things themselves. Yet, Carnap’s use of the language of constitution, as well as his attempt to translate it into the language of logistics, lead us to question the links between his own enterprise and Husserl’s transcendental idealist constitution. What I am trying to demonstrate in this work is that the opposition between Husserl and Carnap cannot be interpreted either in terms of “phenomenology” and “analytical philosophy” or in terms of transcendental idealism, logicism and phenomenalism. In order to understand the opposition between Husserl and Carnap (and therefore, between continental and analytical philosophy), it is necessary to ask how and why, in their very first works and articles, they both conceived philosophy as a system of constitution. This leads us to give an account of Husserl’s and Carnap’s logico-mathematical models of the formal dimension of experience, and to define constitution as the elaboration of a continuous model for the discontinuity of the world – this discontinuity being given by the phenomenological and pre-constitutive description of the world. Would this imply then that topology is a suitable model for the construction of the world ?

Orientador: Irineu Bicudo
Banca: Itala Maria Loffredo D'Otaviano
Banca: Paulo Isamo Hiratsuka
Resumo: Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número do segundo, e os casos particulares de funções que são definidos no terceiro, bem como as considerações contidas em outros escritos do filósofo alemão. Verificamos uma caracterização puramente sintática de função em Begriffsschrift, uma distinção entre o sinal de uma função e aquilo que ele denota em Os Fundamentos da Aritmética, e a associação de dois elementos distintos a uma expressão funcional em Leis Fundamentais da Aritmética: o seu sentido e a sua referência. Finalmente, constatamos que a originalidade do sistema fregiano reside na possibilidade de considerar esse ou aquele termo de uma proposição como o argumento (ou os argumentos) de uma função.
Abstract: In this work we present and analyze the fregean concept of function, present in the three books by Frege: Begriffsschrift, The Foundations of the Arithmetic and Fundamental Laws of the Arithmetic. We discuss what Frege understood by function and argument, the conceptual modifications that such notions suffered in the period of publication of those books and the importance of these notions for his philosophy. For so much, we analyze the artificial language of the first book, the definition of number in the second, and the particular cases of functions that are defined in the third, as well as the considerations contained in other works by the philosopher. We verify a purely syntactic characterization of function in Begriffsschrift, a distinction between the sign of a function and what it denotes in The Foundations of the Arithmetic, and the association of two different elements to a functional expression in Fundamental Laws of the Arithmetic: its sense and its reference. Finally, we verify that the originality of the Frege's system is based on the possibility of considering one or other term of a proposition as the argument (or the arguments) of a function.
Mestre

Dans cette thèse nous nous intéressons à l'exploitation du parallélisme à grain fin, dit aussi parallélisme d'instructions dans les processeurs vliw et super scalaires. Plus particulièrement, nous traitons le problème de l'optimisation des boucles par pipeline logiciel. Ces portions de code répétitives dominent largement le temps d'exécution des programmes scientifiques, d'où l'intérêt crucial de maîtriser leur optimisation dans la course actuelle à la performance. Dans un premier temps, nous étudions formellement le problème du découplage des contraintes de ressources et des contraintes de dépendances. Le but en est de ramener le problème d'ordonnancement des boucles à un problème d'ordonnancement classique où les méthodes d'optimisation sont mieux maîtrisées. Nous pressentons un cadre commun qui nous permet de comparer notre approche desp à deux autres techniques procédant suivant la même philosophie. Nous concluons cette partie en proposant une amélioration à l'ensemble de ces techniques, ce qui a pu être valide expérimentalement. Ces algorithmes sont développés et disponibles dans une boite à outils pilo. Cependant, le parallélisme d'instructions accroît la pression sur les registres du processeur, ce qui explique l'importance de prendre en compte cette contrainte supplémentaire, afin d'éviter une dégradation du code produit. Cette problématique nous a conduit à proposer une formulation par programmation linéaire en variables bivalentes qui permet de définir un modèle global, dans lequel, nous pouvons contrôler le nombre exact de registres requis pendant la phase d'ordonnancement. Nos expériences nous ont permis de valider notre approche et de situer les temps de résolution des programmes linéaires génèrés. L'enjeu est ici de produire un code optimal qui puisse intégrer des librairies spécialisées, être micro-programme dans des processeurs embarqués, ou servir comme base de comparaison pour les différentes heuristiques.

L'économie du logiciel se singularise par des contrastes et des paradoxes : par exemple, des performances boursières spectaculaires mais aussi une activité parfois matériellement desinteressee (développement des logiciels libres). Elle est confrontee a trois questions critiques : évolution jugée insuffisante de la productivité dans la production des logiciels, manque de fiabilité des logiciels produits, et relative inadaptation aux besoins des utilisateurs. L'économie du logiciel est fondamentalement marquée par la coexistence permanente de quatre mondes de production, qui reposent sur l'existence de conventions différentes, centrées sur un type de produit, et constituant des réponses différenciées aux questions critiques de l'économie du logiciel. Le monde interpersonnel représente les difficultés à concilier productivité et fiabilité élevées dans la production de logiciels sur-mesure. Le monde fordiste des progiciels commerciaux se caractérise par une forte productivité mais une qualité souvent décevante, et ne peut répondre qu'a des besoins standard. Le monde de la création des logiciels libres apporte une certaine originalité et une efficacité indéniable sur certains segments mais des difficultés pour s'étendre. Le monde de la production flexible des logiciels est porteur de potentialités pour concilier productivité et adaptation aux besoins des utilisateurs, mais il a du mal a se développer, surtout dans sa composante la plus prometteuse (la production de logiciels sur mesure a partir de composants standard). Entre ces quatre mondes existent des relations de complémentarité mais également des évolutions dynamiques, identifiées par quatre trajectoires (industrialisation, valorisation, flexibilisation et objectivation). Cette analyse permet d'expliquer la domination actuelle des États-Unis sur l'économie du logiciel (industrialisation rapide), mais aussi les potentialités - et les difficultés de réalisation - d'une extension du champ des logiciels libres.

Le logiciel comptable exprime une realite fiscalo-economique avec ses regles de fond et de forme au sein duquel le logic iel (de comptabilite ou autres) apparait comme un objet de droit polymorphe suivant les branches juridiques (civile, fis cale, comptable) en definitive, sa neutralite technique l'appelle a devenir un moyen fiscal de controle sur lui-meme, mais egalement sur les donnees et informations contenues dans les systemes informatiques avec les risques de violation d e la vie privee inherents au droit des personnes
The software of accounting expresses a fiscal and economical reality with one's rules of basis and form in a which the software (of accounting or others) appears as a polymorphe object of law according to the legal branches (civil, fiscal, accounting). Finally its technical neutrality calls it becoming a checking fiscal way of itself, but likewise, of data and news items contained in the data processing systems with the risk of violation of the private life inherent in perso n's rights

Etude d'un algorithme pour le traitement d'un signal. Cet algorithme est composé de différents programmes indépendants permettant le calcul des polynômes orthonormaux, le calcul récursif, le calcul de la transformée de Fourier, de densité spectrale, réponse impulsionnelle d'un filtre numérique. Application à la reconnaissance des formes et simulation du processus de Lévy

L'un des problèmes des équipes de développement de logiciel consiste à évaluer la facilité d'utilisation de leurs produits, c'est-à-dire, à évaluer la qualité de l'interaction personne-machine. Le développeur lui-même n'est pas capable, dans la plupart des cas, de juger la qualité d'utilisation de l'interface qu'il propose, pour la simple raison qu'il n'est pas l'utilisateur réel du produit. Une fois les erreurs de code éliminées, il est possible que les utilisateurs d'un logiciel ne puissent pas encore travailler efficacement à cause d'erreurs de conception d'utilisabilité. Il s'avère nécessaire de disposer d'une méthodologie d'évaluation dès le départ d'un projet logiciel. Il n'existe pas d'outils d'évaluation génériques applicables à tout type de logiciel. Il est nécessaire de développer une méthodologie appropriée au profil de la communauté d'utilisateurs et des tâches qu'ils veulent automatiser à partir de leur utilisation. Cette méthodologie doit aussi tenir compte des caractéristiques de l'environnement de développement des produits. Le logiciel ciblé dans ce projet est un système d'aide à la construction d'horaires 1 utilisée dans un environnement de travail administratif. Le système comprend une application autonome (le logiciel appelé Diamant) et une application web (le logiciel appelé Diamant Web). Une évaluation sommative a été réalisée étant donné que le système sous évaluation avait été déjà livré. Celle-ci a été appliquée au sein du groupe de recherche en génie logiciel eXit 2 . Il s'agit d'une petite équipe de développement de logiciel avec des ressources limitées où le but est de créer un produit qui marche selon les exigences le plus rapidement possible. Le système ciblé exécutait correctement les fonctionnalités demandées, mais les utilisateurs réels le trouvaient difficile à utiliser. Les résultats d'une évaluation d'utilisabilité devaient être obtenus rapidement et au plus bas coût possible. Cela conduit à proposer une méthodologie simple et légère. L'approche utilisée afin de mener au terme une évaluation d'utilisabilité est basée sur la prise et l'analyse de données de terrain et la construction de prototypes d'évaluation d'utilisabilité. La contribution principale du présent travail comprend un ensemble de documents, modèles de guides, de maquettes d'interaction, de rapports et d'analyse d'interfaces conçus et construits à l'occasion de l'évaluation d'utilisabilité du système ciblé. Ces documents et ces modèles sont des exemples applicables à n'importe quel logiciel dont les caractéristiques et l'analyse contextuelle seraient similaires aux logiciels évalués. En outre, la méthodologie constitue elle-même une contribution en raison des contraintes de temps et de coût imposées. Les résultats obtenus comprennent des lignes directrices simples pour mettre en oeuvre l'évaluation d'utilisabilité dans un projet logiciel, les exemples de suggestions et de guides afin d'améliorer l'interaction personne-machine présentée par le logiciel sous évaluation.

Orientador: Marcelo Esteban Coniglio
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-13T04:53:14Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_M.pdf: 601027 bytes, checksum: 5828adda31c6102b730941a14056d7d9 (MD5) Previous issue date: 2009
Resumo: Esse trabalho expõe brevemente o que são as Lógicas da Inconsistência Formal ¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital.
Abstract: This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations.
Mestrado
Filosofia
Mestre em Filosofia

Logic as a vehicle for sound reason has a long and lustrous history and while most developments follow the traditional notions of binary truth and crisp sentences, great efforts have been placed into the problem of reasoning with uncertainties. To this end the field of "fuzzy logic" is now of great importance both theoretically and practically. The present monograph seeks to extend and clarify the treatment of non-classical notions of logic and, more broadly, information representation in general. This is done using two theoretical developments presented with additional discussions concerning possible applications. The first theoretical development takes the form of a novel and strictly categorical term monad that readily allows for a multitude of non-classical situations and extensions of the classical term concept. For example, using monad composition we may represent and perform substitutions over many-valued sets of terms and thereby represent uncertainty of information. As a complementary example, we may extend this term monad to incorporate uncertainty on the level of variables and indeed the operators themselves. These two notions are embodied inthe catchphrases "computing with fuzzy" and "fuzzy computing". The second theoretical development is a direct generalization of the notion of general logics, a successful categorical framework to describe and interrelate the various concepts included under theumbrella term of 'logic'. The initial leap towards general logics was the introduction of institutions by Goguen and Burstall. This construction cover the semantic aspects of logics and in particular, axiomatizes the crucial satisfaction relation. Adding structures for, e.g., syntactic entailment and proof calculi, Meseguer established general logics as a framework capable of describing a wide range of logics. We will in our generalization further extend general logics to more readily encompass non-classical notions of truth such as in fuzzy logics and logics operating over non-classical notions of sets of sentences.
Logik är ett gammalt och kraftfullt verktyg för att föra korrekta resonemang och människor har under lång tid studerat och tillämpat olika logiska system. Dessa studier har till stor del fokuserat på logik som innefattar ett binärt sanningsbegrepp, det vill säga logik där en utsaga är antingen sann eller falsk. Givetvis är detta en väldigt begränsad vy då vi i vår vardag ofta måste värdera sanning på en betydligt mer flexibel skala. På samma sätt måste vi ofta resonera och fatta beslut utifrån information som på olika sätt kan vara osäker. En djupare förståelse för dessa otraditionella logiker är därför av stort intresse till exempel i expert-system som mekaniskt föreslår beslut utifrån osäker information. I denna monografi beskriver vi två matematiska ramverk som tillåter oss att beskriva dessa typer av otraditionella logiker och otraditionell representation av information i allmänhet. Dessa teoretiska konstruktioner är kompletterade med diskussioner relaterade till praktiska och vidare teoretiska tillämpningar. Den första av de två teoretiska konstruktionerna är en strikt kategoriteoretiskt definierad termmonad som kan beskriva termer och variabelsubstitution för en mängd olika otraditionella termkonstruktioner. Till exempel, genom monadkomposition kan vi representera flervärda mängder av termer och detta ger oss möjlighet att representera osäker information. Alternativt kan vi konstruera en termmonad som uttrycker osäkerhet på ett mer fundamental sätt genom att termernas ingående variabler och operatörer i sig kan ha associerad osäkerhet. Den andra teoretiska konstruktionen är en direkt generalisering av det matematiska ramverket "generell logik" som axiomatiserar de olika komponenter som ofta faller under logikbegreppet. I generell logik beskrivs dock dessa utifrån en traditionell vy och för att beskriva otraditionella logiker krävs därför ofta obekväma representationer. Den nämnda generaliseringen syftar därför till att förenkla konstruktionen av mer exotiska logiker inom ett ramverk som till stor del liknar generell logik.

 

 

Depuis l'antiquité jusqu'à aujourd'hui, le domaine de la logique a gagné une importance remarquable et contribue désormais à de nombreuses autres branches, telles que la philosophie, les mathématiques, la fabrication de matériel informatique, la linguistique, l'informatique, l'intelligence artificielle, etc. À chacun de ces scénarios correspondent des besoins spécifiques, qui vont d'exigences très concrètes, telles qu'une méthode d'inférence efficace, à des propriétés théoriques plus abstraites, telles qu'un système d'axiomes élégant. Étant donnée cette grande diversité d'utilisations, une palette hétéroclite de langages formels a été développée. Pendant de nombreuses années, les langages classiques (notamment la logique du premier ordre) étaient la seule alternative concevable, mais cet assortiment d'applications a rendu d'autres types de logiques également désirables dans de nombreuses situations. Imaginez que l'heure de choisir une logique pour une tâche spécifique arrive. Comment choisir la plus appropriée? Quelles propriétés devrions-nous rechercher? Comment "mesurer'' une logique par rapport aux autres? Ce sont des questions difficiles, et il n'existe pas de recette générale à suivre. Dans cette thèse, nous allons simplement restreindre ces questions à une famille particulière de logiques, et dans ce contexte, nous explorerons les aspects théoriques qui aideront à répondre à ces préoccupations. Beaucoup peut être découvert par une analyse attentive des cas les plus intéressants, et notre contribution sera développée selon cette philosophie. Les logiques modales propositionnelles offrent une alternative aux langages traditionnels. Elles peuvent être considérées comme un ensemble d'outils permettant de concevoir des logiques adaptées à des tâches précises, possédant un contrôle fin sur leur expressivité. De plus, il s'est avéré que les logiques modales possèdent un bon comportement computationnel, qui se trouve être robuste y compris malgré l'ajout d'extensions. Ces caractéristiques, parmi d'autres, ont élevé les logiques modales au rang d'alternatives désirables aux langages classiques. Dans ce thèse, nous allons présenter une nouvelle famille de logiques modales appelée logiques mémorielles. Les logiques modales traditionnelles permettent de décrire les structures relationnelles d'un point de vue local. Mais pourquoi ne pas changer cette structure? Nous voulons étudier l'ajout d'une structure de stockage explicite aux logiques modales, une mémoire, qui permet de modéliser un comportement dynamique à travers des opérateurs mémoriels explicites. Ces opérateurs sauvent ou restaurent de l'information vers et à partir de la mémoire. Naturellement, selon le type de structure de sauvegarde désiré et les opérateurs mémoriels disponibles, la logique résultante possèdera différentes propriétés qui valent la peine d'être étudiées. Cette thèse est organisée de la façon suivante. Dans le Chapitre 1, nous commençons par rappeler brièvement comment la logique modale est née, en montrant les différents points de vue historiques la concernant. Puis, nous présentons formellement la logique modale de base et un ensemble d'opérateurs étendus qui aident à capturer le ``goût'' modal de langages plus riches. Nous finissons ce chapitre en donnant un premier aperçu des logiques mémorielles, et montrons comment elles peuvent aider à modéliser l'état quand nous choisissons d'utiliser un ensemble comme une structure de sauvegarde. Le Chapitre 2 est dédié à la présentation détaillée des logiques mémorielles. Nous montrons quelques exemples qui peuvent être décrits en ajoutant un ensemble à des structures relationnelles usuelles, ainsi que les opérateurs ensemblistes usuels permettant l'ajout d'élément et le test d'appartenance. Puis, nous montrons que d'autres opérateurs mémoriels peuvent être envisagés, et nous discutons de la possibilité d'ajouter des contraintes à l'interaction entre la mémoire et les opérateurs modaux. Ces contraintes peuvent être vues comme une manière d'avoir un contrôle fin sur l'expressivité de la logique. Comme nous avons fait des changements aux logiques modales classiques, nous nous intéressons à l'analyse de l'impact de ces changements sur les logiques résultantes. Ainsi, le reste de ce chapitre présente une boite à outils logique basique avec laquelle nous pouvons analyser cette nouvelle famille de logiques. Cette boite à outils peut être vue comme un plan qui organise le reste de cette thèse et qui permet d'analyser les logiques mémorielles en termes d'expressivité, de complexité, d'interpolation et de théorie de la preuve. Le reste des chapitres consiste à étudier en détail chacun de ces aspects. Dans les Chapitres 3 et 4, nous explorons l'expressivité de plusieurs logiques mémorielles et nous étudions la décidabilité de leur problème de satisfiabilité. Dans les cas décidables, nous déterminons leur complexité. Nous analysons l'impact des différents opérateurs mémoriels considérés, et leur interaction. Nous étudions également d'autres conteneurs mémoriels, tels que la pile. Puis, dans le Chapitre 4, nous analysons l'interpolation de Craig et la définabilité de Beth pour certains fragments des logiques mémorielles. Nous étudions également les logiques mémorielles du point de vue de la théorie de la preuve. Dans les Chapitres 6 et 7, nous passons aux axiomatisations à la Hilbert et aux systèmes de tableaux, et nous caractérisons plusieurs fragments de la famille des logiques mémorielles, en utilisant principalement des techniques empruntées aux logiques hybrides. Nous concluons dans le Chapitre 8 avec quelques remarques, des problèmes ouverts et des directions pour de futures recherches
From ancient times to the present day, the field of logic has gained significant strength and now it actively contributes to many different areas, such as philos- ophy, mathematics, linguistic, computer science, artificial intelligence, hardware manufacture, etc. Each of these scenarios has specific needs, that range from very concrete requirements, like an efficient inference method, to more abstract theoretical properties, like a neat axiomatic system. Given this wide diversity of uses, a motley collection of formal languages has been developed. For many years, classical languages (mainly classical first order logic) were the alternative, but this assortment of applications made other types of logics also attractive in many situations. Imagine that the time for choosing a logic for some specific task arrives. How can we decide which is the one that fits best? Which properties should we look for? How can we “measure” a logic with respect to others? These are not easy questions, and there is not a general recipe one can follow. In this thesis we are just going to restrict these questions to a particular family of logics, and in that context we will investigate theoretical aspects that help to answer some of these concerns. Much can be discovered by carefully analyzing appealing cases, and our contribution will be developed having that philosophy in mind. Propositional modal logics offer an alternative to traditional languages. They can be regarded as a set of tools that allow to design logics specially tailored for specific tasks, having a fine-grained control on their expressivity. Additionally, modal logics turned out to have a good computational behavior, which proved to be quite robust under extensions. These characteristics, among others, placed modal logics as an attractive alternative to classical languages. In this dissertation we are going to present a new family of modal logics called memory logics. Traditional modal logics enables to describe relational structures from a local perspective. But what about changing the structure? We want to explore the addition of an explicit storage structure to modal logics, a mem- ory, that allows to model dynamic behavior through explicit memory operators. These operators store or retrieve information to and from the memory. Natu- rally, depending on which type of storage structure we want, and which memory operators are available, the resulting logic will enjoy different properties that are worth investigating. The thesis is organized as follows. In Chapter 1 we start by giving a brief recap of how modal logic was born, showing the different historical perspectives used to look at modal logic. Then we formally present the basic modal logic and a set of extended operators that helps grasp the modal “flavor” of some richer languages. We finish this chapter by giving a first glance of memory logics, and showing how they can help to model state when we choose to use a set as storage structure. Chapter 2 is devoted to present memory logics in detail. We show some examples that can be described by adding a set to standard relational structures, and the usual set operators to add elements and test membership. We then show some other memory operators that can be considered, and we discuss the possibility of adding constraints to the interplay between memory and modal operators. These constraints can be regarded as a way to have a finer-grained control on the logic expressivity. Since we have made changes to classical modal logics, we are interested in analyzing the impact those changes cause in the resulting logics. Therefore, the rest of this chapter presents a basic logic toolkit through which we can analyze this new family of logics. This toolkit can be seen as an outline that organizes the rest of the thesis and that allows to analyze memory logics in terms of expressivity, complexity, interpolation and proof theory. The rest of the chapters investigate each of these aspects in detail. In Chap- ters 3 and 4 we explore the expressive power of several memory logics and we study the decidability of their satisfiability problem. In the decidable cases, we determine their computational complexity. We analyze the impact of the differ- ent memory operators we consider, and how they interact. We also study other memory containers, such as a stack. Then, in Chapter 5, we analyze Craig inter- polation and Beth definability for some memory logic fragments. We also study memory logics from a proof theoretical perspective. In Chapter 6 and 7 we turn to Hilbert style axiomatizations and tableau systems, and we characterize several fragments of the memory logic family mostly using techniques borrowed from hy- brid logics. We close in Chapter 8 with some concluding remarks, open problems and directions for further research

Kyoto University (京都大学)
0048
新制・課程博士
博士(人間・環境学)
甲第10933号
人博第220号
15||175(吉田南総合図書館)
新制||人||55(附属図書館)
UT51-2004-G780
京都大学大学院人間・環境学研究科人間・環境学専攻
(主査)教授 宇敷 重廣, 教授 高崎 金久, 助教授 櫻川 貴司
学位規則第4条第1項該当

La croissance en taille et en complexité des logiciels actuels, ainsi que les contraintes du marché, rendent de plus en plus nécessaires les techniques d'ingénierie concurrente. Ces techniques servent à réduire les temps de développement en permettant à plusieurs développeurs de travailler simultanément sur les mêmes objets. Malheureusement, la concurrence pose de nombreux problèmes mal gérés par les systèmes de support à la collaboration qui existent aujourd'hui. Le contrôle de la concurrence est donc un défi pour les concepteurs d'environnements de génie logiciel. Cette thèse s'intéresse au support informatique des procédés collaboratifs de génie logiciel et, en particulier, au contrôle de la concurrence.
Notre proposition sera divisée en deux parties. Dans la première partie nous définissons un langage pour la modélisation des procédés de génie logiciel concurrents et nous expliquons les mécanismes qui permettent l'application dans la réalité des procédés ainsi définis. La deuxième partie propose un système dit d'augmentation de l'information contextuelle, qui prend avantage de l'existence des modèles de procédés, pour fournir aux utilisateurs une information pertinente pour leur travail.
La proposition est implémentée au sein du logiciel CELINE. Ce logiciel a été mis en service dans un environnement industriel au sein de deux équipes de conception de la société STMicroelectronics.

En août 2005, British Airways mit quatre jours à rétablir ses vols après une grève d'une journée d'un de ses sous-traitants. En interconnectant et intégrant leurs systèmes d'aide à la décision, les entreprises deviennent de plus en plus soumises aux changements. Parallèlement, avec le développement de technologies comme les puces RFID et la localisation par GPS les entreprises sont capables de suivre en temps réel le déroulement des opérations sur le terrain. Dans cette thèse nous nous intéressons au cas des problèmes de satisfaction de contraintes dans un cadre dynamique. En effet, depuis de nombreuses années la programmation par contraintes a fait la preuve de son efficacité pour résoudre des problèmes d'optimisation (tournées de véhicules, ordonnancements, etc) dans le cadre statique. Cependant le contexte dynamique soulève encore de nombreuses difficultés. Nous proposons donc un ensemble d'outils permettant la gestion et la prise en compte des événements, survenant de manière inattendue, dans le cadre de la programmation par contraintes. Chaque outil repose sur une approche particulière des problèmes dynamiques (tuples interdits, recherche locale, explications) et offre ainsi un éclairage différent et complémentaire.

Cette thèse concerne l'étude de différentes techniques modernes de génie logiciel qui peuvent être mises en ¦uvre pour développer des systèmes de Traitement Automatique des Langues Naturelles de façon générique et extensible. La première partie fait le point sur l'état de l'art en TALN à propos des Langages Spécialisés pour la Programmation Linguistique et permet d'identifier l'intégrabilité, l'extensibilité et la généricité comme trois qualités qu'il est souhaitable de fournir aux systèmes de TALN. La définition d'un modèle à objets (LEAF) et l'affinage d'un modèle d'architecture (tableau blanc) constituent deux premiers éléments de réponse au problème de l'intégration. Une première approche de la généricité et de l'extensibilité est également présentée avec une expérience de réingéniérie du langage LT. La seconde partie approfondit les problèmes de généricité et les illustre avec la définition d'un langage original de représentation linguistique (DECOR). L'introduction de protocoles internes et externes permet de rendre ce langage particulièrement générique et dynamique. La troisième partie fait état de la réingériérie de deux langages spécialisés (ATEF et ROBRA). Cette expérience permet d'introduire une grande extensibilité dans les moteurs de ces langages par une programmation par objets et protocoles. Une question transverse à ces trois parties concerne l'identification des limites et des écueils liés à la recherche de l'intégrabilité, de l'extensibilité et de la généricité. Ces difficultés viennent principalement de la complexité croissante des protocoles adéquats, dont la maîtrise pourrait rapidement échapper au développeur si l'on n'y prend garde.

Offrir un ensemble materiel-logiciel puissant, convivial, et complet pour la simulation de reseaux connexionnistes de grande taille et le traitement du signal, tel est le but du projet smart. La puissance de calcul est assuree par un coprocesseur vectoriel fortement inspire des architectures systoliques et particulierement adapte au calcul neuromimetique. En fait, c'est un anneau simd de cellules a controle pipeline disposant d'une puissance crete de 300 mflops. La convivialite provient d'un langage descriptif de haut niveau ouvrant le domaine du connexionnisme a l'ensemble de la communaute scientifique. Allier puissance de calcul et convivialite de programmation necessite un couplage harmonieux entre le materiel et le logiciel. Ceci implique un bon equilibre entre calcul et communication afin de garder une efficacite globale maximale. En particulier, un partage equilibre des taches entre la machine hote et smart et un debit de donnees suffisant sont indispensables. L'une des originalites de smart est de proposer un support materiel pour le traitement de matrices diluees (contenant un grand nombre de connexions nulles) et de supporter une gestion dynamique de ces connexions (ajout et suppression). Ainsi, les operations vectorielles de base sont generalisees au traitement creux d'une facon transparente. Le simulateur architectural de la machine smart, decrit dans ce travail, est un outil precieux d'analyse et d'optimisation des applications sur smart et par consequent de validation de l'architecture. Dans ce travail, nous avons traite des problemes de partitionnement de donnees, de gestion des structures creuses et de communication. Nous avons montre, sur des exemples concrets, la puissance et l'interet de l'approche smart. La methodologie utilisee peut servir de base pour le developpement d'outils automatiques qui seront eventuellement integres dans un generateur de code

En août 2005, British Airways mit quatre jours à rétablir ses vols après une grève d’une journée d’un de ses sous-traitants. En interconnectant et intégrant leurs systèmes d’aide à la décision, les entreprises deviennent de plus en plus soumises aux changements. Parallèlement, avec le développement de technologies comme les puces RFID et la localisation par GPS les entreprises sont capables de suivre en temps réel le déroulement des opérations sur le terrain. Dans cette thèse nous nous intéressons au cas des problèmes de satisfaction de contraintes dans un cadre dynamique. En effet, depuis de nombreuses années la programmation par contraintes a fait la preuve de son efficacité pour résoudre des problèmes d’optimisation (tournées de véhicules, ordonnancements, etc) dans le cadre statique. Cependant le contexte dynamique soulève encore de nombreuses difficultés. Nous proposons donc un ensemble d’outils permettant la gestion et la prise en compte des évènements, survenant de manière inattendue, dans le cadre de la programmation par contraintes. Chaque outil repose sur une approche particulière des problèmes dynamiques (tuples interdits, recherche locale, explications) et offre ainsi un éclairage différent et complémentaire
In August 2005, British Airways took four days to resume its operations after a one day strike of one of its subcontractors. Because of the interconnection and the integration of their decision support, companies become more and more sensitive to modifications. At the same time, with new technologies such as RFID or GPS, companies are able to monitor operations in real time. In this thesis, we consider constraint satisfaction problems in a dynamic context. Indeed, for many years constraint programming has proven its efficiency to solve optimization problems (vehicle routing, scheduling,. . . ) in static contexts. However, dynamic contexts raise many difficulties. We put forward a set of tools to manage and to take unexpected events into account in a constraint programming framework. Each tool is based on a specific approach for dynamic problems (forbidden tuples, local search, explanations) and gives a different and complementary overview of dynamicity

Ce mémoire présente le logiciel de calcul distribué Snowflakes, un outil conçu pour télécharger et exécuter des applications arbitraires de façon automatique. Snowflakes possède un économiseur d'écran qui peut être installé sur les ordinateurs d'un laboratoire informatique afin de récupérer la puissance de calcul de ces machines sans affecter leur utilisation par les utilisateurs. Lorsqu'il est activé, l'économiseur d'écran se connecte à un serveur Snowflakes et télécharge une application et des données à traiter. L'application effectue des calculs sur ces données jusqu'à ce que son exécution soit interrompue par l'arrivée d'un utilisateur. Le logiciel Snowflakes prend des dispositions pour assurer la sécurité des machines sur lesquelles il est installé. L'économiseur d'écran vérifie l'intégrité des applications qu'il télécharge en employant des techniques cryptographiques. Les applications sont exécutées dans un environnement contrôlé qui les empêche de causer des dommages. Par ailleurs, le logiciel Snowflakes possède un mécanisme qui filtre les mauvais résultats produits par des ordinateurs défectueux. Une attention particulière a été portée à la facilité d'utilisation ainsi qu'au développement des applications. Snowflakes fournit des interfaces graphiques conviviales qui facilitent sa configuration et son utilisation. En outre, le logiciel dispose d'une interface de programmation simple qui permet aux programmeurs de développer rapidement de nouvelles applications. Avec cette interface, nous avons parallélisé deux applications de bio-informatique, et nos expérimentations ont démontré que ces applications parallélisées produisent des résultats beaucoup plus rapidement que leur équivalent séquentiel.

Orientador: Walter Carnielli
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-08-12T05:55:31Z (GMT). No. of bitstreams: 1 Podiacki_Rodrigo_M.pdf: 538726 bytes, checksum: 3a51529177d89ce92122bde746a321c3 (MD5) Previous issue date: 2008
Resumo: Esta dissertação tem como objetivo desenvolver uma semântica correta e completa para uma classe de lógicas de primeira ordem conhecidas como Lógicas da Inconsistência Formal (LIFs). Após uma elucidação geral sobre semânticas paraconsistentes e de primeira ordem, uma LIF particular, chamada QmbC, será caracterizada axiomaticamente. Em seguida será construída uma semÂntica que se demonstrará correta e completa para a LIF em questão. Por fim, uma série de LIFs com propriedades sintáticas interessantes serão caracterizadas axiomaticamente, e será visto como a semântica construída para QmbC pode ser estendida para todas essas lógicas.
Abstract: This dissertation aims to develop a sound and complete semantics for a class of first-order logics known as Logics of Formal Inconsistency (LFIs). After general explanation about paraconsistent and first-order semantics, a particular LFI, labeled QmbC, will be characterized by means of an axiom system. Then a sound and complete semantics for it will be constructed. Finally, a variety of LFIs having nice syntactic properties will be axiomatically defined, and it will be shown how the semantics proposed for QmbC can be extended for all these logics.
Mestrado
Filosofia
Mestre em Filosofia

Orientador: Carlos Alberto Lungarzo
Tese (doutorado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-07-13T21:33:33Z (GMT). No. of bitstreams: 1 Guerzoni_JoseAlexandreDurry_D.pdf: 16832642 bytes, checksum: cf21f16c851f949466f36f0fcbc0dc58 (MD5) Previous issue date: 1989
Resumo: Não informado
Abstract: Not informed.
Doutorado
Doutor em Lógica e Filosofia da Ciência

Submitted by Maike Costa (maiksebas@gmail.com) on 2017-10-02T12:06:35Z No. of bitstreams: 1 arquivototal.pdf: 1109768 bytes, checksum: 2074c58c4f2ea59ae1d05abb75405ea1 (MD5)
Made available in DSpace on 2017-10-02T12:06:35Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1109768 bytes, checksum: 2074c58c4f2ea59ae1d05abb75405ea1 (MD5) Previous issue date: 2014-04-14
This research approaches the logicist project of the German philosopher, Frege, and what came to be named by the secondary literature as the “Context Principle”. Frege's logicist project is the thesis that Mathematics, specially Arithmetics, can be reduced to Logics, that is, the concepts of Arithmetics can be reduced to logical concepts and to logical theorem and axioms. The Context Principle is one of the three principles that Frege afirms to be basic for the development and execution of a project. Some questions arise to the reader that faces for the first time this principle: What a Mathematical thesis – the one that Arithmetics can be reduced to Logics has to do with a linguistic imposition – the one that we should never ask for the meaning of an isolated word, outside a sentence? The secondary literature seems to not come to any agreement about the questions around the context principle. Those questions conduct the methodological aspect of this research. The use of the Greek mith of Theseus and Daedalus labyrinth as a metaphor allows to understand the set of secondary literature interpretations regarding the context principle as an exegetical labyrinth that defyies the reader to come inside it and try to exit. At the end of the research considerations will be give about the fortune of the context principle in Frege's logicist project.
Esta pesquisa trata do “Projeto Logicista” do filósofo alemão Frege e do que veio a ser designado pela literatura secundária de “princípio do contexto”. O Projeto Logicista de Frege é a tese de que a Matemática, em particular a Aritmética, é redutível à Lógica, isto é, os conceitos da Aritmética podem ser redutíveis a conceitos lógicos e os teoremas a axiomas lógicos. O princípio do contexto é um dos três princípios que Frege afirma serem básicos para o desenvolvimento e execução de seu projeto. Algumas questões devem de pronto surgir ao leitor que pela primeira vez defronta-se com este princípio: o que uma tese matemática – a de que a Aritmética é redutível à Lógica tem a ver com uma imposição linguística – a de que nunca se deve perguntar pelo significado de uma palavra isoladamente, fora de uma proposição? A literatura secundária parece não chegar a nenhum acordo sobre as questões em torno do princípio do contexto. Assim, no desenvolvimento deste trabalho faremos uma revisão da literatura especializada sobre esse princípio. A utilização do mito grego do herói Teseu e do labirinto de Dédalo como metáfora permite entender o conjunto das interpretações da literatura secundária a respeito do princípio do contexto como um labirinto exegético, que desafia o leitor a adentrá-lo e tentar a sua saída. Ao final da pesquisa serão tecidas considerações sobre a fortuna do princípio do contexto no Projeto Logicista de Frege.

In this thesis we extend BDI logics, which are normal multimodal logics with an arbitrary set of normal modal operators, from three different perspectives. Firstly, based on some recent developments in modal logic, we examine BDI logics from a combining logic perspective and apply combination techniques like fibring/dovetailing for explaining them. The second perspective is to extend the underlying logics so as to include action constructs in an explicit way based on some recent action-related theories. The third perspective is to adopt a non-monotonic logic like defeasible logic to reason about intentions in BDI. As such, the research captured in this thesis is theoretical in nature and situated at the crossroads of various disciplines relevant to Artificial Intelligence (AI). More specifically this thesis makes the following contributions: 1. Combining BDI Logics through fibring/dovetailing: BDI systems modeling rational agents have a combined system of logics of belief, time and intention which in turn are basically combinations of well understood modal logics. The idea behind combining logics is to develop general techniques that allow to produce combinations of existing and well understood logics. To this end we adopt Gabbay's fibring/dovetailing technique to provide a general framework for the combinations of BDI logics. We show that the existing BDI framework is a dovetailed system. Further we give conditions on the fibring function to accommodate interaction axioms of the type G [superscript k,l,m,n] ([diamond][superscript k] [superscript l] [phi] [implies] [superscript m] [diamond][superscript n] [phi]) based on Catach's multimodal semantics. This is a major result when compared with other combining techniques like fusion which fails to accommodate axioms of the above type. 2. Extending the BDI framework to accommodate Composite Actions: Taking motivation from a recent work on BDI theory, we incorporate the notion of composite actions, [pi]-1; [pi]-2 (interpreted as [pi]-1 followed by [pi]-2), to the existing BDI framework. To this end we introduce two new constructs Result and Opportunity which helps in reasoning about the actual execution of such actions. We give a set of axioms that can accommodate the new constructs and analyse the set of commitment axioms as given in the original work in the background of the new framework. 3. Intention reasoning as Defeasible reasoning: We argue for a non-monotonic logic of intention in BDI as opposed to the usual normal modal logic one. Our argument is based on Bratman's policy-based intention. We show that policy-based intention has a defeasible/non-monotonic nature and hence the traditional normal modal logic approach to reason about such intentions fails. We give a formalisation of policy-based intention in the background of defeasible logic. The problem of logical omniscience which usually accompanies normal modal logics is avoided to a great extend through such an approach.

Creek is a system for diagnosis and problem solving. It makes heavily use of general knowledge, and is intended for open and weak theory domains. The system uses this general knowledge in combination with experiences from previous cases to solve new problems.We have implemented the core parts of Creek inside the Colibri studio framework, and shown that it is both possible and realistic to create a thorough Creek implementation. This has resulted in a system named Colibreek.In this implementation, we have replaced the knowledge representation in Creek, switching from the original frames to description logics. This has proven successful, and promising for further development.We have tested our system on the turbine sensor domain, and shown how our system can be used for condition monitoring on sensor-monitored equipment such as turbines. By doing this, we have also shown how the system can solve real problems people, companies and organisations have.

Orientadores: Walter Alexandre Carnielli, Carlos M. C. L. Caleiro
Texto em ingles e portugues
Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Tese (doutorado) - Universidade Tecnica de Lisboa, Instituto Superior Tecnico
Made available in DSpace on 2018-08-04T03:00:36Z (GMT). No. of bitstreams: 1 Almeida_JoaoMarcosde_D.pdf: 4760856 bytes, checksum: c6233b2352045368e0a3c7de2738d321 (MD5) Previous issue date: 2005
Resumo: Segundo a pressuposição de consistência clássica, as contradições têm um cará[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocínio sensato pode então ter lugar. Uma lógica é paraconsistente se ela rejeita uma tal pressuposição, e aceita ao invés que algumas teorias inconsistentes conquanto não-triviais façam perfeito sentido. A? Lógicas da Inconsistência Formal, LIFs, formam uma classe de lógicas paraconsistentes particularmente expressivas nas quais a noção meta-teónca de consistência pode ser internalizada ao nível da linguagem obje[c]to. Como consequência, as LIFs são capazes de recapturar o raciocínio consistente pelo acréscimo de assunções de consistência apropriadas. Assim, por exemplo, enquanto regras clássicas tais como o silogismo disjuntivo (de A e {não-,4)-ou-13, infira B) estão fadadas a falhar numa lógica paraconsistente (pois A e (nao-A) poderiam ambas ser verdadeiras para algum A, independentemente de B), elas podem ser recuperadas por uma LIF se o conjunto das premissas for ampliado pela presunção de que estamos raciocinando em um ambiente consistente (neste caso, pelo acréscimo de (consistente-.A) como uma hipótese adicional da regra). A presente monografia introduz as LIFs e apresenta diversas ilustrações destas lógicas e de suas propriedades, mostrando que tais lógicas constituem com efeito a maior parte dos sistemas paraconsistentes da literatura. Diversas formas de se efe[c]tuar a recaptura do raciocínio consistente dentro de tais sistemas inconsistentes são também ilustradas Em cada caso, interpretações em termos de semânticas polivalentes, de traduções possíveis ou modais são fornecidas, e os problemas relacionados à provisão de contrapartidas algébricas para tais lógicas são examinados. Uma abordagem formal abstra[cjta é proposta para todas as definições relacionadas e uma extensa investigação é feita sobre os princípios lógicos e as propriedades positivas e negativas da negação.
Abstract: According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logics of Formal Inconsistency, LFIs, form a particularly expressive class of paraconsistent logics in which the metatheoretical notion of consistency can be internalized at the object-language level. As a consequence, the LFIs are able to recapture consistent reasoning by the addition of appropriate consistency assumptions. So, for instance, while classical rules such as disjunctive syllogism (from A and (not-A)-or-B, infer B) are bound to fail in a paraconsistent logic (because A and (not-.4) could both be true for some A, independently of B), they can be recovered by an LFI if the set of premises is enlarged by the presumption that we are reasoning in a consistent environment (in this case, by the addition of (consistent-/!) as an extra hypothesis of the rule). The present monograph introduces the LFIs and provides several illustrations of them and of their properties, showing that such logics constitute in fact the majority of interesting paraconsistent systems from the literature. Several ways of performing the recapture of consistent reasoning inside such inconsistent systems are also illustrated. In each case, interpretations in terms of many-valued, possible-translations, or modal semantics are provided, and the problems related to providing algebraic counterparts to such logics are surveyed. A formal abstract approach is proposed to all related definitions and an extended investigation is carried out into the logical principles and the positive and negative properties of negation.
Doutorado
Filosofia
Doutor em Filosofia e Matemática