Most recently added entries found
Search inside:
(import / add options)   Order:
  1. added 2016-05-16
    Hisham Khdair (2015). SP2MN: A Software Process Meta-Modeling Language. International Review on Computers and Software 10 (7):726-734.
    In the last two decades, software process modeling has been an area of interest within both academia and industry. Software process modeling aims at defining and representing software processes in the form of models. A software process model represents the medium that allows better understanding, management and control of the software process. Software process metamodeling rather, provides standard metamodels which enable the defining of customized software process models for a specific project in hand by instantiation. Several software process modeling/meta-modeling languages (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  2. added 2016-04-23
    David Ellerman, On Classical and Quantum Logical Entropy.
    The notion of a partition on a set is mathematically dual to the notion of a subset of a set, so there is a logic of partitions dual to Boole's logic of subsets (Boolean logic is usually mis-specified as "propositional" logic). The notion of an element of a subset has as its dual the notion of a distinction of a partition (a pair of elements in different blocks). Boole developed finite logical probability as the normalized counting measure on elements of (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  3. added 2016-04-11
    Joe Dewhurst (forthcoming). Gualtiero Piccinini: Physical Computation. [REVIEW] Philosophical Psychology.
    Physical Computation is the summation of Piccinini’s work on computation and mechanistic explanation over the past decade. It draws together material from papers published during that time, but also provides additional clarifications and restructuring that make this the definitive presentation of his mechanistic account of physical computation. This review will first give a brief summary of the account that Piccinini defends, followed by a chapter-by-chapter overview of the book, before finally discussing one aspect of the account in more critical detail.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  4. added 2016-04-11
    Joe Dewhurst (forthcoming). Individuation Without Representation. British Journal for the Philosophy of Science.
    Shagrir (2001) and Sprevak (2010) explore the apparent necessity of representation for the individuation of digits (and processors) in computational systems. I will first offer a response to Sprevak’s argument that does not mention Shagrir’s original formulation, which was more complex. I then extend my initial response to cover Shagrir’s argument, thus demonstrating that it is possible to individuate digits in non-representational computing mechanisms. I also consider the implications that the non-representational individuation of digits would have for the broader theory (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  5. added 2016-04-11
    Gregory Wheeler (forthcoming). Machine Epistemology and Big Data. In Lee McIntyre & Alex Rosenburg (eds.), Routledge Companion to Philosophy of Social Science. Routledge
  6. added 2016-04-02
    Andrew Arana (2015). Review of Computability: Turing, Gödel, Church, and Beyond. [REVIEW] Notre Dame Philosophical Reviews 3 (20).
    A review of Computability: Turing, Gödel, Church, and Beyond by Copeland, Posy and Shagrir.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  7. added 2016-03-24
    Boaz Miller & Isaac Record (forthcoming). Responsible Epistemic Technologies: A Social-Epistemological Analysis of Autocompleted Web Search. New Media and Society.
    Information providing and gathering increasingly involve technologies like search ‎engines, which actively shape their <span class='Hi'>epistemic</span> surroundings. Yet, a satisfying account ‎of the <span class='Hi'>epistemic</span> responsibilities associated with them does not exist. We analyze ‎automatically generated search suggestions from the perspective of social ‎epistemology to illustrate how <span class='Hi'>epistemic</span> responsibilities associated with a ‎technology can be derived and assigned. Drawing on our previously developed ‎theoretical framework that connects responsible <span class='Hi'>epistemic</span> behavior to ‎practicability, we address two questions: first, given the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. added 2016-03-17
    Nuno David (2009). Validation and Verification in Social Simulation: Patterns and Clarification of Terminology. Epistemological Aspects of Computer Simulation in the Social Sciences, EPOS 2006, Revised Selected and Invited Papers, Lecture Notes in Artificial Intelligence, Squazzoni, Flaminio (Ed.) 5466:117-129.
    The terms ‘verification’ and ‘validation’ are widely used in science, both in the natural and the social sciences. They are extensively used in simulation, often associated with the need to evaluate models in different stages of the simulation development process. Frequently, terminological ambiguities arise when researchers conflate, along the simulation development process, the technical meanings of both terms with other meanings found in the philosophy of science and the social sciences. This article considers the problem of verification and validation in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. added 2016-03-17
    Nuno David, Jaime Sichman & Helder Coleho (2005). The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs. Journal of Artificial Societies and Social Simulation 8 (4).
    The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We demonstrate (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. added 2016-03-17
    Nuno David, Maria Marietto, Jaime Sichman & Helder Coelho (2004). The Structure and Logic of Interdisciplinary Research in Agent-Based Social Simulation. Journal of Artificial Societies and Social Simulation 7 (3).
    This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to identify (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. added 2016-03-15
    Joe Dewhurst (2016). Computing Mechanisms and Autopoietic Systems. In Vincent Müller (ed.), Computing and Philosophy. Springer International Publishing 17-26.
    This chapter draws an analogy between computing mechanisms and autopoietic systems, focusing on the non-representational status of both kinds of system (computational and autopoietic). It will be argued that the role played by input and output components in a computing mechanism closely resembles the relationship between an autopoietic system and its environment, and in this sense differs from the classical understanding of inputs and outputs. The analogy helps to make sense of why we should think of computing mechanisms as non-representational, (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  12. added 2016-03-11
    Matteo Colombo (2016). Why Build a Virtual Brain? Large-Scale Neural Simulations as Jump Start for Cognitive Computing. Journal of Experimental and Theoretical Artificial Intelligence.
    Despite the impressive amount of financial resources recently invested in carrying out large-scale brain simulations, it is controversial what the pay-offs are of pursuing this project. One idea is that from designing, building, and running a large-scale neural simulation, scientists acquire knowledge about the computational performance of the simulating system, rather than about the neurobiological system represented in the simulation. It has been claimed that this knowledge may usher in a new era of neuromorphic, cognitive computing systems. This study elucidates (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. added 2016-03-11
    Vincent C. Müller (2002). Communicating the Same Information to a Human and to a Machine: Is There a Difference in Principle? In Konstantinos Boudouris & Takis Poulakos (eds.), Philosophy of communication: Proceedings of the 13th international conference on Greek philosophy (IAGP 13). Ionia 168-176.
    We try to show that there is no difference in principle between communicating a piece of information to a human and to a machine. The argumentation depends on the following theses: Communicating is transfer of information; information has propositional form; propositional form can be modelled as categorization; categorisation can be modelled in a machine; a suitably equipped machine can grasp propositional content designed for human communication. What I suggest is that the discussion should focus on the truth and precise meaning (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography