Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
  • 1
    Online-Ressource
    Online-Ressource
    Program Verification : Fundamental Issues in Computer Science (1993)
    Dordrecht : Springer
    Details
    ISBN: 9789401117937
    Sprache: Englisch
    Seiten: Online-Ressource (XIII, 458 p) , digital
    Ausgabe: Springer eBook Collection. Humanities, Social Sciences and Law
    Serie: Studies in Cognitive Systems 14
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Schlagwort(e): Computer science ; Humanities ; Science Philosophy ; Software engineering ; Artificial intelligence ; Mathematical optimization
    Kurzfassung: Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline
    DOI: 10.1007/978-94-011-1793-7
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    BSZ
    MPI Ethno. Forsch.
  • 2
    Online-Ressource
    Online-Ressource
    Epistemology and Cognition (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401137164
    Sprache: Englisch
    Seiten: Online-Ressource (XV, 302 p) , digital
    Ausgabe: Springer eBook Collection. Humanities, Social Sciences and Law
    Serie: Studies in Cognitive Systems 6
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Schlagwort(e): Computer science ; Genetic epistemology ; Humanities ; Philosophy of mind ; Artificial intelligence ; Knowledge, Theory of.
    Kurzfassung: Prologue -- Connectionism and Three Levels of Nativism -- I / Concepts and Content -- Explanation and the Language of Thought -- Conceptual Dependency as the Language of Thought -- Functionalism and Inverted Spectra -- Concepts and Conceptual Change -- Beyond the Exclusively Propositional Era -- II / Semantics and Knowledge -- Can Semantics by Syntactic? -- Form and Content in Semantics -- Knowledge and the Regularity Theory of Information -- Melancholic Epistemology -- Human Understanding -- Epilogue -- Framing the Frame Problem -- Index of Names -- Index of Subjects.
    Kurzfassung: This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data-processing systems of all kinds, no matter whether human, (other) animal, or machine. Its scope is intended to span the full range of interest from classical problems in the philosophy of mind and philosophical psychology through issues in cognitive psychology and sociobiology (concerning the mental powers of other species) to ideas related to artificial intelligence and computer science. While primary emphasis will be placed upon theoretical, conceptual, and epistemological aspects of these problems and domains, empirical, experimen­ tal, and methodological studies will also appear from time to time. The present volume reflects the kind of insights that can be obtained when research workers in philosophy, artificial intelligence, and computer science explore problems of common concern. The issues here tend to fall into two broad but varied sets, namely: those concerned with content and concepts, on the one hand, and those concerned with semantics and epistemology, on the other. The collection begins with a prologue that focuses upon the relations between connectionism and alternative conceptions of nativism and ends with an epilogue that examines the significance of alternative conceptions of the Frame Problem for artificial intelligence. Because these papers are rich and diverse, they ought to appeal to a wide and heterogeneous audience. J.H.F.
    DOI: 10.1007/978-94-011-3716-4
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    BSZ
    MPI Ethno. Forsch.
  • 3
    Online-Ressource
    Online-Ressource
    Knowledge Representation and Metaphor (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401579414
    Sprache: Englisch
    Seiten: Online-Ressource (XX, 272 p) , digital
    Ausgabe: Springer eBook Collection. Humanities, Social Sciences and Law
    Serie: Studies in Cognitive Systems 7
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Schlagwort(e): Computer science ; Genetic epistemology ; Humanities ; Artificial intelligence ; Computational linguistics ; Knowledge, Theory of.
    Kurzfassung: 1. The Literal and the Metaphoric -- 2. Views of Metaphor -- 3. Knowledge Representation -- 4. Representation Schemes and Conceptual Graphs -- 5. The Dynamic Type Hierarchy Theory of Metaphor -- 6. Computational Approaches to Metaphor -- 7. The Nature and Structure of Semantic Hierarchies -- 8. Language Games, Open Texture and Family Resemblances -- 9. Programming the Dynamic Type Hierarchy -- Author Index.
    Kurzfassung: This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data­ processing systems of all kinds, no matter whether human, (other) animal, or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and philosophical psychol­ ogy through issues in cognitive psychology and sociobiology (concerning the mental capabilities of other species) to ideas related to artificial intelligence and computer science. While primary emphasis will be placed upon theoretical, conceptual, and epistemological aspects of these problems and domains, empirical, experimental, and methodological studies will also appear from time to time. The problems posed by metaphor and analogy are among the most challenging that confront the field of knowledge representation. In this study, Eileen Way has drawn upon the combined resources of philosophy, psychology, and computer science in developing a systematic and illuminating theoretical framework for understanding metaphors and analogies. While her work provides solutions to difficult problems of knowledge representation, it goes much further by investigating some of the most important philosophical assumptions that prevail within artificial intelligence today. By exposing the limitations inherent in the assumption that languages are both literal and truth-functional, she has advanced our grasp of the nature of language itself. J.R.F.
    DOI: 10.1007/978-94-015-7941-4
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    BSZ
    MPI Ethno. Forsch.
  • 4
    Online-Ressource
    Online-Ressource
    Proceedings of the Second European Conference on Computer-Supported Cooperative Work ECSCW ’91 (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401135061
    Sprache: Englisch
    Seiten: Online-Ressource (xii, 349 p) , ill
    Ausgabe: Springer eBook Collection. Humanities, Social Sciences and Law
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Schlagwort(e): Humanities ; Computer science ; Social sciences ; User interfaces (Computer systems). ; Human-computer interaction.
    Kurzfassung: Riding a Tiger, or Computer Supported Cooperative Work -- Personalisable Groupware: Accommodating Individual Roles and Group Differences -- Office Systems Development and Gender: Implications for Computer-Supported Co-operative Work -- CSCW and Distributed Systems: The Problem of Control -- Collaborative Activity and Technological Design: Task Coordination in London Underground Control Rooms -- The Group Facilitator: A CSCW Perspective -- Idea Management in a Shared Drawing Tool -- Panel: Formalization in CSCW -- Experiences with the DOMINO Office Procedure System -- Distributed Computing and Organisational Change Enable Concurrent Engineering -- An Analysis of Design and Collaboration in a Distributed Environment -- ClearFace: Translucent Multiuser Interface for TeamWorkStation -- PEPYS: Generating Autobiographies by Automatic Tracking -- Panel: Organizational Memory -- Boosting Connectivity in a Student Generated Collaborative Database -- A Model for Real-Time Co-operation -- Questioning Representations -- Speech Acts or Communicative Action? -- The Concept of Activity as a Basic Unit of Analysis for CSCW Research -- Being Selectively Aware with the Khronika System -- Participation Frameworks for Computer Mediated Communication -- Sound Support for Collaboration -- CSCW: Discipline or Paradigm? A Sociological Perspective -- Small Workshop Abstracts -- ECSCW’91 Directory: Authors & Committee Members.
    Beschreibung / Inhaltsverzeichnis: Riding a Tiger, or Computer Supported Cooperative WorkPersonalisable Groupware: Accommodating Individual Roles and Group Differences -- Office Systems Development and Gender: Implications for Computer-Supported Co-operative Work -- CSCW and Distributed Systems: The Problem of Control -- Collaborative Activity and Technological Design: Task Coordination in London Underground Control Rooms -- The Group Facilitator: A CSCW Perspective -- Idea Management in a Shared Drawing Tool -- Panel: Formalization in CSCW -- Experiences with the DOMINO Office Procedure System -- Distributed Computing and Organisational Change Enable Concurrent Engineering -- An Analysis of Design and Collaboration in a Distributed Environment -- ClearFace: Translucent Multiuser Interface for TeamWorkStation -- PEPYS: Generating Autobiographies by Automatic Tracking -- Panel: Organizational Memory -- Boosting Connectivity in a Student Generated Collaborative Database -- A Model for Real-Time Co-operation -- Questioning Representations -- Speech Acts or Communicative Action? -- The Concept of Activity as a Basic Unit of Analysis for CSCW Research -- Being Selectively Aware with the Khronika System -- Participation Frameworks for Computer Mediated Communication -- Sound Support for Collaboration -- CSCW: Discipline or Paradigm? A Sociological Perspective -- Small Workshop Abstracts -- ECSCW’91 Directory: Authors & Committee Members.
    DOI: 10.1007/978-94-011-3506-1
    URL: Volltext
    URL: lizenzpflichtig
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    BSZ
    MPI Ethno. Forsch.
  • 5
    Online-Ressource
    Online-Ressource
    Connectionism and the Philosophy of Mind (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401135245
    Sprache: Englisch
    Seiten: Online-Ressource (XII, 473 p) , digital
    Ausgabe: Springer eBook Collection. Humanities, Social Sciences and Law
    Serie: Studies in Cognitive Systems 9
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Schlagwort(e): Humanities ; Philosophy of mind ; Artificial intelligence ; Philosophy.
    Kurzfassung: I. Overview -- Connectionism and the Philosophy of Mind: An Overview -- II. Connectionism vs. Classical Cognitive Science -- Connectionism, Computation, and Cognition -- Connectionism and the Notion of Levels -- Representation and Rule-Instantiation in Connectionist Systems -- What Connectionists Cannot Do: The Threat to Classical AI -- III. Connectionism and Conditioning -- Connectionism in Pavlovian Harness -- Connectionism and Conditioning -- IV. Does Cognition Require Syntactically Structured Representations? -- Systematicity, Structured Representations and Cognitive Architecture: A Reply to Fodor and Pylyshyn -- An Explanatory Budget for Connectionism and Eliminativism -- Settling into a New Paradigm -- Putting a Price on Cognition -- V. Can Connectionism Provide Syntactically Structured Representations? -- The Constituent Structure of Connectionist Mental States: A Reply to Fodor and Pylyshyn -- Representation in Pictorialism and Connectionism -- Connectionism and the Problem of Systematicity: Why Smolensky’s Solution Doesn’t Work -- Classical Questions, Radical Answers: Connectionism and the Structure of Mental Representations -- Connectionism versus Symbolism in High-Level Cognition -- VI. Connectionism and Philosophy -- Connectionism and the Specter of Representationalism -- Is Perception Cognitively Mediated -- Leaping to Conclusions: Connectionism, Consciousness, and the Computational Mind -- Name Index.
    Kurzfassung: This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information and data­ processing systems of all kinds, no matter whether human, (other) animal, or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and philosophical psychology through issues in cognitive psychology and sociobiology (concerning the mental capabilities of other species) to ideas related to artificial intelligence and to computer science. While primary emphasis will be placed upon theoretical, conceptual and epistemological aspects of these problems and domains, empirical, experimental and methodological studies will also appear from time to time. One of the most, if not the most, exciting developments within cognitive science has been the emergence of connectionism as an alternative to the computational conception of the mind that tends to dominate the discipline. In this volume, John Tienson and Terence Horgan have brought together a fine collection of stimulating studies on connectionism and its significance. As the Introduction explains, the most pressing questions concern whether or not connectionism can provide a new conception of the nature of mentality. By focusing on the similarities and differences between connectionism and other approaches to cognitive science, the chapters of this book supply valuable resources that advance our understanding of these difficult issues. J.H.F.
    DOI: 10.1007/978-94-011-3524-5
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    BSZ
    MPI Ethno. Forsch.
  • 6
    Online-Ressource
    Online-Ressource
    Partitioned Representations : A Study in Mental Representation, Language Understanding and Linguistic Structure (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401135740
    Sprache: Englisch
    Seiten: Online-Ressource (XVII, 333 p) , digital
    Ausgabe: Springer eBook Collection. Humanities, Social Sciences and Law
    Serie: Studies in Cognitive Systems 8
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Schlagwort(e): Humanities ; Artificial intelligence ; Psycholinguistics
    Kurzfassung: One: Nuts and Bolts -- 1. Mental Representation -- 2. Partitioned Representations -- 3. Language: Process and Structure -- 4. Three Levels of Language Processing -- Two: Studies in Language -- 5. Pedro’s Donkey and Oedipus’s Mother -- 6. Satisfying Presuppositions in Discourse -- 7. Space Frogs and Henry Ford -- 8. Temporal Aspect -- 9. General Conclusions -- Appendices: Formal Models -- 10. A Logic of Partitioned Representations -- 11. Generalized Natural Deduction -- 12. A Computational Model -- References -- Author Index.
    Kurzfassung: Cognitive science is a field that began with the realization that researchers in varied disciplines-psychology, artificial intelligence, linguistics, philosophy, formal semantics, neuroscience, and others-had taken on a common set of problems in representation and meaning, in reasoning and language. Nevertheless, cognitive science as a whole enjoys no common methodology or theoretical framework, and is in danger of becoming even more fragmented with time. There are two reasons for this. First, cognitive science is built on existing methodologies that have different historical origins. AB a result, the psychologist's truth is different from the linguist's truth. The artificial intelligence researcher's truth is different from the philosopher's truth. The neuroscientist's truth is different from the formal semanticist's truth. All too often there is little or no recognition of the relevance of work in other disciplines to one's own concerns. Second, cognitive scientists tend to develop theories around isolated problems. For instance, there are theories about how humans categorize concepts, about how humans analyze linguistic expressions syntactically, about how the English tense system works semantically, about how humans reason about space or reason about time, about how goal-directed problem solving occurs, about how the brain computes, and so on.
    DOI: 10.1007/978-94-011-3574-0
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    BSZ
    MPI Ethno. Forsch.
  • 7
    Online-Ressource
    Online-Ressource
    Artificial Intelligence: Its Scope and Limits (1990)
    Dordrecht : Springer
    Details
    ISBN: 9789400919006
    Sprache: Englisch
    Seiten: Online-Ressource (364p) , digital
    Ausgabe: Springer eBook Collection. Humanities, Social Sciences and Law
    Serie: Studies in Cognitive Systems 4
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Paralleltitel: Erscheint auch als
    Schlagwort(e): Computer science ; Humanities ; Science Philosophy ; Artificial intelligence
    Kurzfassung: I: Metamentality -- 1. What is Artificial Intelligence? -- 2. Symbol Systems and Semiotic Systems -- 3. Theories of Language and Mentality -- II: Knowledge and Expertise -- 4. The Nature of Knowledge -- 5. Varieties of Knowledge -- 6. Expert Systems -- III: Representation and Verification -- 7. Knowledge Representation -- 8. Program Verification -- 9. Minds, Bodies, and Machines -- References -- Numbered Definitions -- List of Figures -- Index of Names -- Index of Subjects.
    Kurzfassung: This series will include monographs and collections of studies devoted to the investigation and exploration of knowledge, information, and data­ processing systems of all kinds, no matter whether human, (other) animal, or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and philosophical psycholo­ gy through issues in cognitive psychology and sociobiology (concerning the mental capabilities of other species) to ideas related to artificial in­ telligence and to computer science. While primary emphasis will be placed upon theoretical, conceptual, and epistemological aspects of these prob­ lems and domains, empirical, experimental, and methodological studies will also appear from time to time. The perspective that prevails in artificial intelligence today suggests that the theory of computability defines the boundaries of the nature of thought, precisely because all thinking is computational. This paradigm draws its inspiration from the symbol-system hypothesis of Newell and Simon and finds its culmination in the computational conception of lan­ guage and mentality. The "standard conception" represented by these views is subjected to a thorough and sustained critique in the pages of this book. Employing a distinction between systems for which signs are signif­ icant for the users of a system and others for which signs are significant for use by a system, I have sought to define the boundaries of what AI, in principle, may be expected to achieve.
    DOI: 10.1007/978-94-009-1900-6
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    Online-Ressource
    BSZ
    MPI Ethno. Forsch.
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...