View topic on PhilPapers for more information
Related categories

36 found
Order:
More results on PhilPapers
  1. added 2020-09-13
    A Shift From Cloud Computing Model to Fog Computing.C. Sailesh & S. Svermani - 2016 - Journal of Applied Computing 1 (1).
    Cloud computing has provided many opportunities to businesses and individuals. It enables global and on demand network access to a shared pool of resources with minimal management effort. However, this bliss has become a problem for latency-sensitive applications. To improve efficiency of cloud and to reduce the amount of data that needs to be transported to the cloud for data processing, analysis and storage, a new network architect technology 'Fog Computing' has been introduced. In fog computing, small applications and resources (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2020-09-11
    What Have Google’s Random Quantum Circuit Simulation Experiments Demonstrated About Quantum Supremacy?Jack K. Horner & John Symons - forthcoming - In Hamid R. Arabnia, Leonidas Deligiannidis, Fernando G. Tinetti & Quoc-Nam Tran (eds.), Advances in Software Engineering, Education, and e-Learning. Cham, Switzerland: Springer Nature.
    Quantum computing is of high interest because it promises to perform at least some kinds of computations much faster than classical computers. Arute et al. 2019 (informally, “the Google Quantum Team”) report the results of experiments that purport to demonstrate “quantum supremacy” – the claim that the performance of some quantum computers is better than that of classical computers on some problems. Do these results close the debate over quantum supremacy? We argue that they do not. In the following, we (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2020-07-18
    パラコンシステント、決定不能、ランダム、計算可能、不完全とはどういう意味 ですか? 「ゴーデルの方法:決定不可能な世界への冒険:」のレビュー(Godel's Way: exploits into an Undecidable World) byA. da Costa 160p (2012) (2019年のレビュー改訂).Michael Richard Starks - 2020 - In 地獄へようこそ 赤ちゃん、気候変動、ビットコイン、カルテル、中国、民主主義、多様性、ディスジェニックス、平等、ハッカー、人権、イスラム教、自由主義、繁栄、ウェブ、カオス、飢餓、病気、暴力、人工知能、戦争. Las Vegas, NV , USA: Reality Press. pp. 158-171.
    「ゴーデルの道」では、3人の著名な科学者が、デシッド不能、不完全性、ランダム性、計算可能性、パラコンシステンションなどの問題について議論しています。私は、ウィトゲンシュタイニアンの視点から、全く異なる 解決策を持つ2つの基本的な問題があることをこれらの問題に取り組んでいます。科学的または経験的な問題は、言語がどのように理解的に使用できるか(数学と論理に特定の質問を含む)、特定の文脈で実際にどのように 単語を使用するかを調べて決定する必要がある、観察的および哲学的な問題を調査する必要がある世界に関する事実です。私たちがプレイしている言語ゲームについて明確になると、これらのトピックは他の人と同じように 普通の科学的、数学的な質問であると見なされます。ウィトゲンシュタインの洞察はめったに等しくなく、決して上回ることはなく、彼がブルーブックスとブラウンブックスを口述した80年前と同じくらい適切です。失敗 にもかかわらず、本当に完成した本ではなく一連のノートは、半世紀以上にわたって物理学、数学、哲学の出血エッジで働いてきたこれらの3人の有名な学者の作品のユニークな源です。ダ・コスタとドリアは、普遍的な計 算に書いて以来、ウォルパート(以下または私の記事を参照)によって引用されています(ウォルパートとヤナフスキーの「理由の外側の限界」の私のレビューを参照)、,そして彼の多くの成果の中で、ダ・コスタはパラ コンシタンションのパイオニアです。 現代の2つのシス・エムスの見解から人間の行動のための包括的な最新の枠組みを望む人は、私の著書「ルートヴィヒ・ヴィトゲンシュタインとジョン・サールの第2回(2019)における哲学、心理学、ミンと言語の論 理的構造」を参照することができます。私の著作の多くにご興味がある人は、運命の惑星における「話す猿--哲学、心理学、科学、宗教、政治―記事とレビュー2006-2019 第3回(2019)」と21世紀4日(2019年)の自殺ユートピア妄想st Century 4th ed (2019)などを見ることができます。 .
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2020-07-08
    Wolpert, Chaitin et Wittgenstein sur l’impossibilité, l’incomplétude, le paradoxe menteur, le théisme, les limites du calcul, un principe d’incertitude mécanique non quantique et l’univers comme ordinateur, le théorème ultime dans Turing Machine Theory (révisé 2019).Michael Richard Starks - 2020 - In Bienvenue en Enfer sur Terre : Bébés, Changement climatique, Bitcoin, Cartels, Chine, Démocratie, Diversité, Dysgénique, Égalité, Pirates informatiques, Droits de l'homme, Islam, Libéralisme, Prospérité, Le Web, Chaos, Famine, Maladie, Violence, Intellige. Las Vegas, NV , USA: Reality Press. pp. 185-189.
    J’ai lu de nombreuses discussions récentes sur les limites du calcul et de l’univers en tant qu’ordinateur, dans l’espoir de trouver quelques commentaires sur le travail étonnant du physicien polymathe et théoricien de la décision David Wolpert, mais n’ont pas trouvé une seule citation et je présente donc ce résumé très bref. Wolpert s’est avéré quelques théoricaux d’impossibilité ou d’incomplétude renversants (1992 à 2008-voir arxiv dot org) sur les limites de l’inférence (computation) qui sont si généraux qu’ils sont indépendants de (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2019-12-05
    Wolpert, Chaitin y Wittgenstein sobre la imposibilidad, la incompletitud, la paradoja mentirosa, el teísmo, los límites de la computación, un principio de incertidumbre mecánica no cuántica y el universo como computadora, el teorema definitivo en la teoría de la máquina de Turing (revisado en 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 278-282.
    He leído muchas discusiones recientes sobre los límites de la computación y el universo como computadora, con la esperanza de encontrar algunos comentarios sobre el increíble trabajo del físico polimatemático y teórico de la decisión David Wolpert pero no han encontrado una sola citación y así que presento esta muy breve Resumen. Wolpert demostró algunos teoremas sorprendentes de imposibilidad o incompletos (1992 a 2008-ver arxiv dot org) en los límites de la inferencia (computación) que son tan generales que son independientes (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2019-12-01
    Reseña de ‘Wittgenstein's Metaphilosophy’ de Paul Horwich 248p (2013) (revisión revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4TH Edición. Las Vegas, NV USA: Reality Press. pp. 145-167.
    The first group of articles attempt to give some insight into how we behave that is reasonably free of theoretical delusions. In the next three groups I comment on three of the principal delusions preventing a sustainable world— technology, religion and politics (cooperative groups). People believe that society can be saved by them, so I provide some suggestions in the rest of the book as to why this is unlikely via short articles and reviews of recent books by well-known writers. (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2019-09-20
    Isabelle for Philosophers.Ben Blumson - manuscript
    This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2019-08-28
    Pernyataan tentang kemustahilan, ketidaklengkapan, Paraconsistency,Undecidability, Randomness, Komputabilitas, paradoks, dan ketidakpastian dalam Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock dan Yanofsky.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    Hal ini sering berpikir bahwa kemustahilan, ketidaklengkapan, Paraconsistency, Undecidability, Randomness, komputasi, Paradox, ketidakpastian dan batas alasan yang berbeda ilmiah fisik atau matematika masalah memiliki sedikit atau tidak ada dalam Umum. Saya menyarankan bahwa mereka sebagian besar masalah filosofis standar (yaitu, Permainan bahasa) yang sebagian besar diselesaikan oleh Wittgenstein lebih dari 80years yang lalu. -/- "Apa yang kita ' tergoda untuk mengatakan ' dalam kasus seperti ini, tentu saja, bukan filsafat, tetapi bahan baku. Jadi, misalnya, apa yang seorang matematikawan cenderung mengatakan (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2019-08-25
    Замечания о невозможности, неполноте Paraconsistency, Нерешающость, Случайность вычислительности, парадокс, и неопределенность в Чайтин, Витгенштейн, Хофштадтер Вольперт, Дориа, да Коста, Годель, Сирл, Родыч Берто, Флойд, Мойал-Шаррок и Янофски.Michael Richard Starks - 2019 - Las Vegas, NV USA: Reality Press.
    Принято считать, что невозможность, неполнота, Парапоследовательность, Несоответствие, Случайность, вычислительность, парадокс, неопределенность и пределы разума являются разрозненными научными физическими или математическими вопросами, имеющими мало или ничего общего. Я полагаю, что они в значительной степени стандартные философские проблемы (т.е. языковые игры), которые были в основном решены Витгенштейном более 80 лет назад. -/- Я предоставляю краткое резюме некоторых из основных выводов двух из самых выдающихся студентов поведения о Fсовременности, Людвиг Витгенштейн и Джон Сирл, на логическую структуру преднамеренности (ум, язык, поведение), принимая в качестве (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. added 2019-07-18
    Understanding From Machine Learning Models.Emily Sullivan - forthcoming - British Journal for the Philosophy of Science:axz035.
    Simple idealized models seem to provide more understanding than opaque, complex, and hyper-realistic models. However, an increasing number of scientists are going in the opposite direction by utilizing opaque machine learning models to make predictions and draw inferences, suggesting that scientists are opting for models that have less potential for understanding. Are scientists trading understanding for some other epistemic or pragmatic good when they choose a machine learning model? Or are the assumptions behind why minimal models provide understanding misguided? In (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  11. added 2019-06-06
    Implementation is Semantic Interpretation.Willam J. Rapaport - 1999 - The Monist 82 (1):109-130.
    What is the computational notion of “implementation”? It is not individuation, instantiation, reduction, or supervenience. It is, I suggest, semantic interpretation.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   19 citations  
  12. added 2019-01-30
    Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization-- Articles and Reviews 2006-2017 2nd Edition Feb 2018.Michael Starks - 2016 - Las Vegas, USA: Reality Press.
    This collection of articles was written over the last 10 years and edited to bring them up to date (2019). All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having a recent monkey ancestry (8 million years or much less depending on viewpoint) and manifest words and deeds within the framework of our innate psychology as presented in the table of intentionality. As famous evolutionist Richard Leakey says, it (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. added 2018-07-31
    Socio-Technical Computation.Markus Luczak-Roesch, Ramine Tinati, Kieron O'Hara & Nigel Shadbolt - 2015 - In Proceedings of the 18th ACM Conference Companion on Computer Supported Cooperative Work & Social Computing.
    Motivated by the significant amount of successful collaborative problem solving activity on the Web, we ask: Can the accumulated information propagation behavior on the Web be conceived as a giant machine, and reasoned about accordingly? In this paper we elaborate a thesis about the computational capability embodied in information sharing activities that happen on the Web, which we term socio-technical computation, reflecting not only explicitly conditional activities but also the organic potential residing in information on the Web.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. added 2018-01-26
    Simple or Complex Bodies? Trade-Offs in Exploiting Body Morphology for Control.Matej Hoffmann & Vincent C. Müller - 2017 - In Gordana Dodig-Crnkovic & Raffaela Giovagnoli (eds.), Representation of Reality: Humans, Other Living Organisms and Intelligent Machines. Berlin: Springer. pp. 335-345.
    Engineers fine-tune the design of robot bodies for control purposes, however, a methodology or set of tools is largely absent, and optimization of morphology (shape, material properties of robot bodies, etc.) is lagging behind the development of controllers. This has become even more prominent with the advent of compliant, deformable or ”soft” bodies. These carry substantial potential regarding their exploitation for control—sometimes referred to as ”morphological computation”. In this article, we briefly review different notions of computation by physical systems and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. added 2017-12-03
    Psychological and Other Aspects of the Sign Arbitrariness.Miroslav Brada - 2017 - le Cours de Linguistique Générale 1916-2016.
    I confront arbitrariness of the sign to a criterion assessing the quality of language, logical system, psychometrics and art.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2017-07-30
    Intractability and the Use of Heuristics in Psychological Explanations.Iris Rooij, Cory Wright & Todd Wareham - 2012 - Synthese 187 (2):471-487.
    Many cognitive scientists, having discovered that some computational-level characterization f of a cognitive capacity φ is intractable, invoke heuristics as algorithmic-level explanations of how cognizers compute f. We argue that such explanations are actually dysfunctional, and rebut five possible objections. We then propose computational-level theory revision as a principled and workable alternative.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  17. added 2017-03-20
    Philosophy of Computer Science: An Introductory Course.William J. Rapaport - 2005 - Teaching Philosophy 28 (4):319-341.
    There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along with suggested readings and assignments.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   14 citations  
  18. added 2017-03-15
    Is There Any Real Substance to the Claims for a 'New Computationalism'?Alberto Hernandez-Espinosa, Hernandez-Quiroz Francisco & Zenil Hector - forthcoming - In CiE Computability in Europe 2017. Springer Verlag.
    'Computationalism' is a relatively vague term used to describe attempts to apply Turing's model of computation to phenomena outside its original purview: in modelling the human mind, in physics, mathematics, etc. Early versions of computationalism faced strong objections from many (and varied) quarters, from philosophers to practitioners of the aforementioned disciplines. Here we will not address the fundamental question of whether computational models are appropriate for describing some or all of the wide range of processes that they have been applied (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2017-02-19
    Nature as a Network of Morphological Infocomputational Processes for Cognitive Agents.Gordana Dodig Crnkovic - 2017 - Eur. Phys. J. Special Topics 226 (2):181-195.
    This paper presents a view of nature as a network of infocomputational agents organized in a dynamical hierarchy of levels. It provides a framework for unification of currently disparate understandings of natural, formal, technical, behavioral and social phenomena based on information as a structure, differences in one system that cause the differences in another system, and computation as its dynamics, i.e. physical process of morphological change in the informational structure. We address some of the frequent misunderstandings regarding the natural/morphological computational (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. added 2017-01-06
    An Evolutionary Argument for a Self-Explanatory, Benevolent Metaphysics.Ward Blondé - 2015 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 2 (2):143-166.
    In this paper, a metaphysics is proposed that includes everything that can be represented by a well-founded multiset. It is shown that this metaphysics, apart from being self-explanatory, is also benevolent. Paradoxically, it turns out that the probability that we were born in another life than our own is zero. More insights are gained by inducing properties from a metaphysics that is not self-explanatory. In particular, digital metaphysics is analyzed, which claims that only computable things exist. First of all, it (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. added 2016-04-07
    Gaming the Attention Economy.Daniel Estrada & Jon Lawhead - 2013 - In Pietro Michelucci (ed.), The Handbook of Human Computation. Springer. pp. 961-978.
    The future of human computation benefits from examining tasks that agents already perform and designing environments to give those tasks computational significance. We call this natural human computation. We consider the possible future of NHC through the lens of Swarm!, an application under development for Google Glass. Swarm! motivates users to compute the solutions to a class of economic optimization problems by engaging the attention dynamics of crowds. We argue that anticipating and managing economies of attention provides one of the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. added 2016-03-17
    Validation and Verification in Social Simulation: Patterns and Clarification of Terminology.Nuno David - 2009 - 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   Download  
     
    Export citation  
     
    Bookmark  
  23. added 2016-03-17
    Simulation as Formal and Generative Social Science: The Very Idea.Nuno David, Jaime Sichman & Helder Coelho - 2007 - In Carlos Gershenson, Diederik Aerts & Bruce Edmonds (eds.), Worldviews, Science, and Us: Philosophy and Complexity. World Scientific. pp. 266--275.
    The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. added 2016-03-17
    The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs.Nuno David, Jaime Sichman & Helder Coleho - 2005 - 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. added 2016-03-17
    The Structure and Logic of Interdisciplinary Research in Agent-Based Social Simulation.Nuno David, Maria Marietto, Jaime Sichman & Helder Coelho - 2004 - 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. added 2016-01-16
    Opinions and Outlooks on Morphological Computation.Helmut Hauser, Rudolf M. Füchslin & Rolf Pfeifer (eds.) - 2014 - E-Book.
    Morphological Computation is based on the observation that biological systems seem to carry out relevant computations with their morphology (physical body) in order to successfully interact with their environments. This can be observed in a whole range of systems and at many different scales. It has been studied in animals – e.g., while running, the functionality of coping with impact and slight unevenness in the ground is "delivered" by the shape of the legs and the damped elasticity of the muscle-tendon (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. added 2015-09-29
    A Contradiction and P=NP Problem.Farzad Didehvar - manuscript
    Here, by introducing a version of “Unexpected hanging paradox” first we try to open a new way and a new explanation for paradoxes, similar to liar paradox. Also, we will show that we have a semantic situation which no syntactical logical system could support it. Finally, we propose a claim in Theory of Computation about the consistency of this Theory. One of the major claim is:Theory of Computation and Classical Logic leads us to a contradiction.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. added 2015-09-17
    Inexplicit Information.Robert C. Cummins - 1986 - In Myles Brand & Robert M. Harnish (eds.), The Representation of Knowledge and Belief. University of Arizona Press.
    A discussion of a number of ways that information can be present in a computer program without being explicitly represented.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   47 citations  
  29. added 2015-08-24
    Well-Structured Biology: Numerical Taxonomy's Epistemic Vision for Systematics.Beckett Sterner - 2014 - In Andrew Hamilton (ed.), The Evolution of Phylogenetic Systematics. University of California Press. pp. 213-244.
    What does it look like when a group of scientists set out to re-envision an entire field of biology in symbolic and formal terms? I analyze the founding and articulation of Numerical Taxonomy between 1950 and 1970, the period when it set out a radical new approach to classification and founded a tradition of mathematics in systematic biology. I argue that introducing mathematics in a comprehensive way also requires re-organizing the daily work of scientists in the field. Numerical taxonomists sought (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. added 2013-12-14
    The Significance and Use of Absence.Varanasi Ramabrahmam - manuscript
    The significance and use of absence of a thing is highlighted taking examples from mathematics, physics, semi-conductor electronics, computer science and cognitive science. The profundity of absence is discussed.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  31. added 2013-12-09
    Single-Tape and Multi-Tape Turing Machines Through the Lens of the Grossone Methodology.Yaroslav Sergeyev & Alfredo Garro - 2013 - Journal of Supercomputing 65 (2):645-663.
    The paper investigates how the mathematical languages used to describe and to observe automatic computations influence the accuracy of the obtained results. In particular, we focus our attention on Single and Multi-tape Turing machines which are described and observed through the lens of a new mathematical language which is strongly based on three methodological ideas borrowed from Physics and applied to Mathematics, namely: the distinction between the object (we speak here about a mathematical object) of an observation and the instrument (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. added 2013-07-13
    Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases.Jonathan Simon, James M. Fielding, Mariana C. Dos Santos & Barry Smith - 2005 - International Journal of Medical Informatics 75 (3-4):224-231.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. added 2013-03-14
    Three Concepts of Decidability for General Subsets of Uncountable Spaces.Matthew W. Parker - 2003 - Theoretical Computer Science 351 (1):2-13.
    There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: R.S. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. added 2012-10-09
    Bayesian Models and Simulations in Cognitive Science.Giuseppe Boccignone & Roberto Cordeschi - 2007 - Workshop Models and Simulations 2, Tillburg, NL.
    Bayesian models can be related to cognitive processes in a variety of ways that can be usefully understood in terms of Marr's distinction among three levels of explanation: computational, algorithmic and implementation. In this note, we discuss how an integrated probabilistic account of the different levels of explanation in cognitive science is resulting, at least for the current research practice, in a sort of unpredicted epistemological shift with respect to Marr's original proposal.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. added 2012-03-08
    Object Spaces: An Organizing Strategy for Biological Theorizing.Beckett Sterner - 2009 - Biological Theory 4 (3):280-286.
    A classic analytic approach to biological phenomena seeks to refine definitions until classes are sufficiently homogenous to support prediction and explanation, but this approach founders on cases where a single process produces objects with similar forms but heterogeneous behaviors. I introduce object spaces as a tool to tackle this challenging diversity of biological objects in terms of causal processes with well-defined formal properties. Object spaces have three primary components: (1) a combinatorial biological process such as protein synthesis that generates objects (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. added 2011-05-29
    A Paradox Related to the Turing Test.Samuel Alexander - 2011 - The Reasoner 5 (6):90-90.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark