-
32Algorithmic Iteration for Computational IntelligenceMinds and Machines 27 (3): 521-543. 2017.Machine awareness is a disputed research topic, in some circles considered a crucial step in realising Artificial General Intelligence. Understanding what that is, under which conditions such feature could arise and how it can be controlled is still a matter of speculation. A more concrete object of theoretical analysis is algorithmic iteration for computational intelligence, intended as the theoretical and practical ability of algorithms to design other algorithms for actions aimed at solving w…Read more
-
82A Computationally Grounded, Weighted Doxastic LogicStudia Logica 104 (4): 679-703. 2016.Modelling, reasoning and verifying complex situations involving a system of agents is crucial in all phases of the development of a number of safety-critical systems. In particular, it is of fundamental importance to have tools and techniques to reason about the doxastic and epistemic states of agents, to make sure that the agents behave as intended. In this paper we introduce a computationally grounded logic called COGWED and we present two types of semantics that support a range of practical s…Read more
-
111On the Ontology of the Computing Process and the Epistemology of the ComputedPhilosophy and Technology 27 (3): 485-489. 2014.Software-intensive science challenges in many ways our current scientific methods. This affects significantly our notion of science and scientific interpretation of the world, driving at the same time the philosophical debate. We consider some issues prompted by SIS in the light of the philosophical categories of ontology and epistemology
-
195Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (review)Minds and Machines 21 (1): 119-122. 2011.Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information Content Type Journal Article Pages 119-122 DOI 10.1007/s11023-011-9228-0 Authors Giuseppe Primiero, Centre for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, Ghent, 9000 Belgium Journal Minds and Machines Online ISSN 1572-8641 Print ISSN 0924-6495 Journal Volume Volume 21 Journal Issue Volume 21, Number 1
-
98A Formal Approach to Vague Expressions with IndexicalsIn Alastair Butler (ed.), Proceedings of the Ninth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS 9), Japan Society For Artificial Intelligence. 2012.
-
117Majority merging by adaptive countingSynthese 165 (2). 2008.The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADM c (Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle. The results obtained are proven to be equivalent t…Read more
-
142A modal type theory for formalizing trusted communicationsJournal of Applied Logic 10 (1): 92-114. 2012.This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads …Read more
-
100Facing Computing as Technique: Towards a History and Philosophy of ComputingPhilosophy and Technology 27 (3): 321-326. 2014.We present the methodological principles underlying the scientific activities of the DHST Commission on the History and Philosophy of Computing. This volume collects refereed selected papers from the First International Conference organized by the Commission
-
141Proceeding in Abstraction. From Concepts to Types and the recent perspective on InformationHistory and Philosophy of Logic 30 (3): 257-282. 2009.This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and p…Read more
-
106Honesty, Competence, and Trust for Systems DesignPhilosophy and Technology 26 (4): 431-435. 2013.We briefly present three problems related to promiscuous trust in connection to germane notions of honesty and competence in systems design
-
190A contextual type theory with judgemental modalities for reasoning from open assumptionsLogique and Analyse 220 579-600. 2012.Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness…Read more
-
188Offline and Online Data: on upgrading functional information to knowledgePhilosophical Studies 164 (2): 371-392. 2013.This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are…Read more
Areas of Specialization
Epistemology |
Logic and Philosophy of Logic |
Philosophy of Computing and Information |
PhilPapers Editorships
9 more