APA Newsletter on Philosophy and Computers, Vol. 15, No. 1 (Fall 2015)
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Artificial Intelligence? 1 V2.0 © J
TU Darmstadt, WS 2012/13 Einführung in die Künstliche Intelligenz Einführung in die Künstliche Intelligenz Dozenten Prof. Johannes Fürnkranz (Knowledge Engineering) Prof. Ulf Brefeld (Knowledge Mining and Assessment) Homepage http://www.ke.informatik.tu-darmstadt.de/lehre/ki/ Termine: Dienstag 11:40-13:20 S202/C205 Donnerstag 11:40-13:20 S202/C205 3 VO + 1 UE Vorlesungen und Übungen werden in Doppelstunden abgehalten Übungen Terminplan wird auf der Web-Seite aktualisiert Ü voraussichtlich: 30.10., 13.11., 27.11., 11.12., 15.1., 29.1. Tafelübungen What is Artificial Intelligence? 1 V2.0 © J. Fürnkranz TU Darmstadt, WS 2012/13 Einführung in die Künstliche Intelligenz Text Book The course will mostly follow Stuart Russell und Peter Norvig: Artificial Intelligence: A Modern Approach. Prentice Hall, 2nd edition, 2003. Deutsche Ausgabe: Stuart Russell und Peter Norvig: Künstliche Intelligenz: Ein Moderner Ansatz. Pearson- Studium, 2004. ISBN: 978-3-8273-7089-1. 3. Auflage 2012 Home-page for the book: http://aima.cs.berkeley.edu/ Course slides in English (lecture is in German) will be availabe from Home-page What is Artificial Intelligence? 2 V2.0 © J. Fürnkranz TU Darmstadt, WS 2012/13 Einführung in die Künstliche Intelligenz What is Artificial Intelligence Different definitions due to different criteria Two dimensions: Thought processes/reasoning vs. behavior/action Success according to human standards vs. success according to an ideal concept of intelligence: rationality. Systems that think like humans Systems that think rationally Systems that act like humans Systems that act rationally What is Artificial Intelligence? 3 V2.0 © J. Fürnkranz TU Darmstadt, WS 2012/13 Einführung in die Künstliche Intelligenz Definitions of Artificial Intelligence What is Artificial Intelligence? 4 V2.0 © J. -
Information in Reality: Logic and Metaphysics
tripleC 9(2): 332-341, 2011 ISSN 1726-670X http://www.triple-c.at Information in Reality: Logic and Metaphysics Joseph E. Brenner [email protected], Chemin du Collège, Les Diablerets, Switzerland Abstract: The recent history of information theory and science shows a trend in emphasis from quantitative measures to qualitative characterizations. In parallel, aspects of information are being developed, for example by Pedro Marijuan, Wolf- gang Hofkirchner and others that are extending the notion of qualitative, non-computational information in the biological and cognitive domain to include meaning and function. However, there is as yet no consensus on whether a single acceptable definition or theory of the concept of information is possible, leading to many attempts to view it as a complex, a notion with varied meanings or a group of different entities. In my opinion, the difficulties in developing a Unified Theory of Information (UTI) that would include its qualitative and quantita- tive aspects and their relation to meaning are a consequence of implicit or explicit reliance on the principles of standard, truth-functional bivalent or multivalent logics. In reality, information processes, like those of time, change and human con- sciousness, are contradictory: they are regular and irregular; consistent and inconsistent; continuous and discontinuous. Since the indicated logics cannot accept real contradictions, they have been incapable of describing the multiple but interre- lated characteristics of information. The framework for the discussion of information in this paper will be the new extension of logic to real complex processes that I have made, Logic in Reality (LIR), which is grounded in the dualities and self-dualities of quantum physics and cos- mology. -
The Machine That Builds Itself: How the Strengths of Lisp Family
Khomtchouk et al. OPINION NOTE The Machine that Builds Itself: How the Strengths of Lisp Family Languages Facilitate Building Complex and Flexible Bioinformatic Models Bohdan B. Khomtchouk1*, Edmund Weitz2 and Claes Wahlestedt1 *Correspondence: [email protected] Abstract 1Center for Therapeutic Innovation and Department of We address the need for expanding the presence of the Lisp family of Psychiatry and Behavioral programming languages in bioinformatics and computational biology research. Sciences, University of Miami Languages of this family, like Common Lisp, Scheme, or Clojure, facilitate the Miller School of Medicine, 1120 NW 14th ST, Miami, FL, USA creation of powerful and flexible software models that are required for complex 33136 and rapidly evolving domains like biology. We will point out several important key Full list of author information is features that distinguish languages of the Lisp family from other programming available at the end of the article languages and we will explain how these features can aid researchers in becoming more productive and creating better code. We will also show how these features make these languages ideal tools for artificial intelligence and machine learning applications. We will specifically stress the advantages of domain-specific languages (DSL): languages which are specialized to a particular area and thus not only facilitate easier research problem formulation, but also aid in the establishment of standards and best programming practices as applied to the specific research field at hand. DSLs are particularly easy to build in Common Lisp, the most comprehensive Lisp dialect, which is commonly referred to as the “programmable programming language.” We are convinced that Lisp grants programmers unprecedented power to build increasingly sophisticated artificial intelligence systems that may ultimately transform machine learning and AI research in bioinformatics and computational biology. -
Backpropagation with Callbacks
Backpropagation with Continuation Callbacks: Foundations for Efficient and Expressive Differentiable Programming Fei Wang James Decker Purdue University Purdue University West Lafayette, IN 47906 West Lafayette, IN 47906 [email protected] [email protected] Xilun Wu Grégory Essertel Tiark Rompf Purdue University Purdue University Purdue University West Lafayette, IN 47906 West Lafayette, IN, 47906 West Lafayette, IN, 47906 [email protected] [email protected] [email protected] Abstract Training of deep learning models depends on gradient descent and end-to-end differentiation. Under the slogan of differentiable programming, there is an increas- ing demand for efficient automatic gradient computation for emerging network architectures that incorporate dynamic control flow, especially in NLP. In this paper we propose an implementation of backpropagation using functions with callbacks, where the forward pass is executed as a sequence of function calls, and the backward pass as a corresponding sequence of function returns. A key realization is that this technique of chaining callbacks is well known in the programming languages community as continuation-passing style (CPS). Any program can be converted to this form using standard techniques, and hence, any program can be mechanically converted to compute gradients. Our approach achieves the same flexibility as other reverse-mode automatic differ- entiation (AD) techniques, but it can be implemented without any auxiliary data structures besides the function call stack, and it can easily be combined with graph construction and native code generation techniques through forms of multi-stage programming, leading to a highly efficient implementation that combines the per- formance benefits of define-then-run software frameworks such as TensorFlow with the expressiveness of define-by-run frameworks such as PyTorch. -
Hypertext Semiotics in the Commercialized Internet
Hypertext Semiotics in the Commercialized Internet Moritz Neumüller Wien, Oktober 2001 DOKTORAT DER SOZIAL- UND WIRTSCHAFTSWISSENSCHAFTEN 1. Beurteiler: Univ. Prof. Dipl.-Ing. Dr. Wolfgang Panny, Institut für Informationsver- arbeitung und Informationswirtschaft der Wirtschaftsuniversität Wien, Abteilung für Angewandte Informatik. 2. Beurteiler: Univ. Prof. Dr. Herbert Hrachovec, Institut für Philosophie der Universität Wien. Betreuer: Gastprofessor Univ. Doz. Dipl.-Ing. Dr. Veith Risak Eingereicht am: Hypertext Semiotics in the Commercialized Internet Dissertation zur Erlangung des akademischen Grades eines Doktors der Sozial- und Wirtschaftswissenschaften an der Wirtschaftsuniversität Wien eingereicht bei 1. Beurteiler: Univ. Prof. Dr. Wolfgang Panny, Institut für Informationsverarbeitung und Informationswirtschaft der Wirtschaftsuniversität Wien, Abteilung für Angewandte Informatik 2. Beurteiler: Univ. Prof. Dr. Herbert Hrachovec, Institut für Philosophie der Universität Wien Betreuer: Gastprofessor Univ. Doz. Dipl.-Ing. Dr. Veith Risak Fachgebiet: Informationswirtschaft von MMag. Moritz Neumüller Wien, im Oktober 2001 Ich versichere: 1. daß ich die Dissertation selbständig verfaßt, andere als die angegebenen Quellen und Hilfsmittel nicht benutzt und mich auch sonst keiner unerlaubten Hilfe bedient habe. 2. daß ich diese Dissertation bisher weder im In- noch im Ausland (einer Beurteilerin / einem Beurteiler zur Begutachtung) in irgendeiner Form als Prüfungsarbeit vorgelegt habe. 3. daß dieses Exemplar mit der beurteilten Arbeit überein -
The Onlife Manifesto Luciano Floridi Editor
The Onlife Manifesto Luciano Floridi Editor The Onlife Manifesto Being Human in a Hyperconnected Era Editor Luciano Floridi Oxford Internet Institute University of Oxford Oxford, Oxfordshire United Kingdom Image made from models used to track debris in Earth orbit. Of the approximately 19,000 man-made objects larger than 10 centimetres in Earth orbit as of July 2009, most orbit close to the Earth. Source: NASA Earth Observatory / Orbital Debris Program Office: http://commons. wikimedia.org/wiki/File:Space_Debris_Low_Earth_Orbit.png original publication date 12 September 2009. ISBN 978-3-319-04092-9 ISBN 978-3-319-04093-6 (eBook) DOI 10.1007/978-3-319-04093-6 Springer Cham Heidelberg New York Dordrecht London Library of Congress Control Number: 2014948552 © The Editor(s) (if applicable) and the Author(s) 2015. The book is published with open access at SpringerLink.com Open Access This book is distributed under the terms of the Creative Commons Attribution Noncom- mercial License, which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited. This work is subject to copyright. All commercial rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publica- tion does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. -
Stuart Russell and Peter Norvig, Artijcial Intelligence: a Modem Approach *
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Artificial Intelligence ELSEVIER Artificial Intelligence 82 ( 1996) 369-380 Book Review Stuart Russell and Peter Norvig, Artijcial Intelligence: A Modem Approach * Nils J. Nilsson Robotics Laboratory, Department of Computer Science, Stanford University, Stanford, CA 94305, USA 1. Introductory remarks I am obliged to begin this review by confessing a conflict of interest: I am a founding director and a stockholder of a publishing company that competes with the publisher of this book, and I am in the process of writing another textbook on AI. What if Russell and Norvig’s book turns out to be outstanding? Well, it did! Its descriptions are extremely clear and readable; its organization is excellent; its examples are motivating; and its coverage is scholarly and thorough! End of review? No; we will go on for some pages-although not for as many as did Russell and Norvig. In their Preface (p. vii), the authors mention five distinguishing features of their book: Unified presentation of the field, Intelligent agent design, Comprehensive and up-to-date coverage, Equal emphasis on theory and practice, and Understanding through implementation. These features do indeed distinguish the book. I begin by making a few brief, summary comments using the authors’ own criteria as a guide. l Unified presentation of the field and Intelligent agent design. I have previously observed that just as Los Angeles has been called “twelve suburbs in search of a city”, AI might be called “twelve topics in search of a subject”. -
Semiotics of Strategy Graeme Carswell Macleod Smith MA. Dipm
Knowledge Management through Storytelling and Narrative – Semiotics of Strategy Graeme Carswell MacLeod Smith MA. DipM. PGCLTHE. MCIM. FIDM. AFHEA School of Business, Law and Communications Solent University Southampton A thesis submitted in partial fulfilment of the requirements of the Nottingham Trent University and Solent University for the degree of Doctor of Philosophy. A thesis submitted in fulfilment of the requirements of Solent University for the degree of Doctor of Philosophy October 2019 i Copyright Statement This work is the intellectual property of Graeme Smith. You may copy up to 5% of this work for private study, or personal, non-commercial research. Any re-use of the information contained within this document should be fully referenced, quoting the author, title, university, degree level and pagination. Queries or requests for any other use, or if a more substantial copy is required, should be directed to the owner of the Intellectual Property Rights. ii Acknowledgments The author wishes to acknowledge the invaluable assistance of the following people whose contribution, advice and encouragement have done so much to bring this work to fruition. To Professor Steven Henderson, my former Director of Studies, whose advice, interest and expertise was always inspiring. You instilled in me so many research skills, such as critical thinking and helped to guide me away from many a youthful folly. And Professor Deborah Blackman who set me on this road of discovery in the field of knowledge management. To Emeritus Professor Mike Wilkinson, who stepped in as Director of Studies and instilled some ‘management’ rigour to the project and immediately saw merit in this whole endeavour. -
THE LOGIC of BEING INFORMED LUCIANO FLORIDI∗ Abstract One of the Open Problems in the Philosophy of Information Is Wheth- Er T
Logique & Analyse 196 (2006), x–x THE LOGIC OF BEING INFORMED ∗ LUCIANO FLORIDI Abstract One of the open problems in the philosophy of information is wheth- er there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation “a is in- formed that p” (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer's system) are well suited to formalise the relation of “being informed”. After having shown that IL can be constructed as an informational read- ing of KTB, four consequences of a KTB-based IL are explored: information overload; the veridicality thesis (Iap ! p); the relation between IL and EL; and the Kp ! Bp principle or entailment prop- erty, according to which knowledge implies belief. Although these issues are discussed later in the article, they are the motivations be- hind the development of IL. Introduction As anyone acquainted with modal logic (ML) knows, epistemic logic (EL) formalises the relation “a knows that p” (Kap), whereas doxastic logic (DL) formalises the relation “a believes that p” (Bap). One of the open problems in the philosophy of information (Floridi, 2004c) is whether there is also an information logic (IL), different from EL and from DL, that formalises the relation “a is informed that p” (Iap) equally well. The keyword here is “equally” not “well”. One may contend that EL and DL do not capture the relevant relations very well or even not well at all. -
Non-Anthropogenic Mind and Complexes of Cultural Codes
Semiotica 2016; 213: 63–73 Sergey Kulikov* Non-anthropogenic mind and complexes of cultural codes DOI 10.1515/sem-2015-0034 Abstract: The object of research is to clarify the connections between non- anthropogenic mind and culture as sign systems. Investigation of such an object discloses the perspectives on construction of the generalized model of mind and can help to build the bridge between traditional and digital humanities. The subject of traditional humanities is natural human activity; the subject of digital humanities is computer-based forms of activity and communication. Finding signs created not only by human but also by natural circumstances helps to define the sign system that unites the natural (non-anthropogenic) and artificial kinds of mind. Methodology of research includes the principles of semiotics previously developed by Charles Peirce and Ferdinand de Saussure and expanded by Yuri Lotman and Boris Uspensky. Semiotic interpretation of mind as the object of culture allows the building of a generalized model of mind as one of textual constructions, presenting the history of mankind as the replacement of natural events by secondary models. The author concludes that the revealing of a generalized model of mind opens new opportunities for the construction of the intelligent activity strictly interpreted as special sign systems. Semiotic studies interpret culture as a rationality making machine, and activity of mind is caused by the work of such a machine. Because of that, if traditional meaning sign systems were estimated as human-made kinds of complex of primary signs, then modern statements help to see the absence of an irresistible limit to interpret such complex as a nature-made but non-anthropogenic phenomenon. -
Still Minding the Gap? Reflecting on Transitions Between Concepts of Information in Varied Domains
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by City Research Online City Research Online City, University of London Institutional Repository Citation: Bawden, D. ORCID: 0000-0002-0478-6456 and Robinson, L. ORCID: 0000- 0001-5202-8206 (2020). Still minding the gap? Reflecting on transitions between concepts of information in varied domains. Information, This is the accepted version of the paper. This version of the publication may differ from the final published version. Permanent repository link: https://openaccess.city.ac.uk/id/eprint/23561/ Link to published version: Copyright and reuse: City Research Online aims to make research outputs of City, University of London available to a wider audience. Copyright and Moral Rights remain with the author(s) and/or copyright holders. URLs from City Research Online may be freely distributed and linked to. City Research Online: http://openaccess.city.ac.uk/ [email protected] 1 Review 2 Still Minding the Gap? Reflecting on Transitions 3 between Concepts of Information in Varied Domains 4 David Bawden 1,* and Lyn Robinson 2 5 1 Centre for Information Science, City, University of London, Northampton Square, London, EC1V 0HB, 6 United Kingdom; [email protected] 7 2 Centre for Information Science, City, University of London, Northampton Square, London, EC1V 0HB, 8 United Kingdom; [email protected] 9 * Correspondence: [email protected] 10 Abstract: This conceptual paper, a contribution to the tenth anniversary special issue of information, 11 gives a cross-disciplinary review of general and unified theories of information. -
Online Identity in the Case of the Share Phenomenon. a Glimpse Into the on Lives of Romanian Millennials
Online identity in the case of the share phenomenon. A glimpse into the on lives of Romanian millennials Demetra GARBAȘEVSCHI PhD Student National University of Political Science and Public Administration E-Mail: [email protected] Abstract. In less than a decade, the World Wide Web has evolved from a predominantly search medium to a predominantly share medium, from holding a functional role to being endowed with a social one.In the context of a reontologisation of the infosphere and of an unprecedented display of mass self-communication, the identity system has gained a legitimate dimension – online identity –, as individuals have become the sum of impressions openly offered online and decoded into a coherent story by the receiver. In the network society, there are consequences to both having and not having an online identity. Originating in an interactionist perspective, the present paper looks into Romanian Millennials in trying to find out whether online identity is undergoing a process of intentionalization, in other words whether it becomes a conscious, planned effort of the individual to build himself/ herself a legitimate and profitable dimension in the digital space. Keywords: online identity; infosphere; mass self-communication; Millennials; Generation Y. 1. Introduction and theoretical background This paper examines online identity as part of an individual’s identity system, in the specific context of current Internet development, generalized connectivity Journal of Media Research, Vol. 8 Issue 2(22) / 2015,14 pp. 14-26 and participation through the share web. The discussion centers on Romanian young adults, seeking to uncover their perceptions of online identity as a potentially strategic self-representation process.