Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • BSZ  (13)
  • 1990-1994  (13)
  • Dordrecht : Springer
Datasource
Material
Language
Years
Year
Author, Corporation
Publisher
Keywords
  • 1
    Journal/Serial
    Journal/Serial
    Dialectical anthropology (from 1975-)
    Dordrecht : Springer | Amsterdam : Elsevier | Dordrecht : Nijhoff | Dordrecht : Kluwer ; 1.1975/76(1975) -
    Details
    ISSN: 0304-4092 , 1573-0786 , 1573-0786
    Language: English
    Dates of Publication: 1.1975/76(1975) -
    Parallel Title: Erscheint auch als Dialectical anthropology
    DDC: 100
    Keywords: Zeitschrift ; Anthropologie ; Anthropologie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Journal/Serial
    BSZ
    GBV
    MPI Ethno. Forsch.
    GRASSI Mus. Leipzig
  • 2
    Journal/Serial
    Journal/Serial
    Monographiae biologicae : MOBI (from 1957-)
    Dordrecht : Springer | Den Haag : Junk ; 5.1957 -
    Details
    ISSN: 0077-0639
    Language: English
    Dates of Publication: 5.1957 -
    Additional Information: 18=1; 19=2 von Biogeography and ecology in South America The Hague, 1968
    Parallel Title: Erscheint auch als Monographiae biologicae
    Former Title: Vorg. Physiologia comparata et oecologia
    DDC: 570
    Keywords: Monografische Reihe ; Physiologie ; Medizin
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Journal/Serial
    DNB
    BSZ
    GBV
    Ethn. Museum Berlin
    GRASSI Mus. Leipzig
  • 3
    Journal/Serial
    Journal/Serial
    Dialectical anthropology (from 1975-)
    Dordrecht : Springer | Amsterdam : Elsevier | Dordrecht : Nijhoff | Dordrecht : Kluwer ; 1.1975/76(1975) -
    Details
    ISSN: 0304-4092 , 1573-0786 , 1573-0786
    Language: English
    Dates of Publication: 1.1975/76(1975) -
    Parallel Title: Erscheint auch als Dialectical anthropology
    DDC: 100
    Keywords: Zeitschrift ; Anthropologie ; Anthropologie
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Journal/Serial
    BSZ
    GBV
  • 4
    Online Resource
    Online Resource
    Program Verification : Fundamental Issues in Computer Science (1993)
    Dordrecht : Springer
    Details
    ISBN: 9789401117937
    Language: English
    Pages: Online-Ressource (XIII, 458 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Studies in Cognitive Systems 14
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Computer science ; Humanities ; Science Philosophy ; Software engineering ; Artificial intelligence ; Mathematical optimization
    Abstract: 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
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
  • 5
    Online Resource
    Online Resource
    De Motu and the Analyst : A Modern Edition, with Introductions and Commentary (1992)
    Dordrecht : Springer
    Details
    ISBN: 9789401125925
    Language: English
    Pages: Online-Ressource (XI, 232 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: The New Synthese Historical Library, Texts and Studies in the History of Philosophy 41
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Computer science ; Text processing (Computer science ; Natural language processing (Computer science). ; Physics
    Abstract: De Motu -- Editor’s Introduction -- The Analyst -- Editor’s Introduction -- Indexes.
    Abstract: Berkeley's philosophy has been much studied and discussed over the years, and a growing number of scholars have come to the realization that scientific and mathematical writings are an essential part of his philosophical enterprise. The aim of this volume is to present Berkeley's two most important scientific texts in a form which meets contemporary standards of scholarship while rendering them accessible to the modern reader. Although editions of both are contained in the fourth volume of the Works, these lack adequate introductions and do not provide com­ plete and corrected texts. The present edition contains a complete and critically established text of both De Motu and The Analyst, in addi­ tion to a new translation of De Motu. The introductions and notes are designed to provide the background necessary for a full understanding of Berkeley's account of science and mathematics. Although these two texts are very different, they are united by a shared a concern with the work of Newton and Leibniz. Berkeley's De Motu deals extensively with Newton's Principia and Leibniz's Specimen Dynamicum, while The Analyst critiques both Leibnizian and Newto­ nian mathematics. Berkeley is commonly thought of as a successor to Locke or Malebranche, but as these works show he is also a successor to Newton and Leibniz.
    DOI: 10.1007/978-94-011-2592-5
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
  • 6
    Online Resource
    Online Resource
    Proceedings of the Second European Conference on Computer-Supported Cooperative Work ECSCW ’91 (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401135061
    Language: English
    Pages: Online-Ressource (xii, 349 p) , ill
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Humanities ; Computer science ; Social sciences ; User interfaces (Computer systems). ; Human-computer interaction.
    Abstract: 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.
    Description / Table of Contents: 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
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
  • 7
    Online Resource
    Online Resource
    Epistemology and Cognition (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401137164
    Language: English
    Pages: Online-Ressource (XV, 302 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Studies in Cognitive Systems 6
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Computer science ; Genetic epistemology ; Humanities ; Philosophy of mind ; Artificial intelligence ; Knowledge, Theory of.
    Abstract: 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.
    Abstract: 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
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
  • 8
    Online Resource
    Online Resource
    Knowledge Representation and Metaphor (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401579414
    Language: English
    Pages: Online-Ressource (XX, 272 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Studies in Cognitive Systems 7
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Computer science ; Genetic epistemology ; Humanities ; Artificial intelligence ; Computational linguistics ; Knowledge, Theory of.
    Abstract: 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.
    Abstract: 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
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
  • 9
    Online Resource
    Online Resource
    Connectionism and the Philosophy of Mind (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401135245
    Language: English
    Pages: Online-Ressource (XII, 473 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Studies in Cognitive Systems 9
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Humanities ; Philosophy of mind ; Artificial intelligence ; Philosophy.
    Abstract: 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.
    Abstract: 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
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
  • 10
    Online Resource
    Online Resource
    Partitioned Representations : A Study in Mental Representation, Language Understanding and Linguistic Structure (1991)
    Dordrecht : Springer
    Details
    ISBN: 9789401135740
    Language: English
    Pages: Online-Ressource (XVII, 333 p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Studies in Cognitive Systems 8
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Humanities ; Artificial intelligence ; Psycholinguistics
    Abstract: 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.
    Abstract: 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
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
  • 11
    Online Resource
    Online Resource
    Diagnosis: Philosophical and Medical Perspectives (1990)
    Dordrecht : Springer
    Details
    ISBN: 9789400920859
    Language: English
    Pages: Online-Ressource (288p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Episteme, A Series in the Foundational, Methodological, Philosophical, Psychological, Sociological, and Political Aspects of the Sciences, Pure and Applied 15
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Computer science ; Medical ethics ; Ethics ; medicine Philosophy ; Technology Philosophy ; Artificial intelligence ; Bioethics.
    Abstract: 1: Introduction -- 2: The Problem Situation -- 3: The Computer Revolution -- 4: Ethics of Diagnostic Systems -- 5: Systems and Medicine -- 6: Diagnostic Theory -- 7: Diagnostic Practice -- 8: Some Interfaces -- 9: The Human Factor -- 10: Conclusion: -- Selected Bibliography for Further Reading -- Index of Names -- Index of Subjects.
    Abstract: 1. GENERAL The term "diagnostics" refers to the general theory of diagnosis, not to the study of specific diagnoses but to their general framework. It borrows from different sciences and from different philosophies. Traditionally, the general framework of diagnostics was not distinguished from the framework of medicine. It was not taught in special courses in any systematic way; it was not accorded special attention: students absorbed it intuitively. There is almost no comprehensive study of diagnostics. The instruction in diagnosis provided in medical schools is exclusively specific. Clinical instruction includes (in addition to vital background information, such as anatomy and physiology) specific instruction in nosology, the theory and classification of diseases, and this includes information on diagnoses and prognoses of diverse diseases. What is the cause of the neglect of diagnostics, and of its integrated teaching? The main cause may be the prevalence of the view of diagnostics as part-and­ parcel of nosology. In this book nosology is taken as a given, autonomous field of study, which invites almost no comments; we shall freely borrow from it a few important general theses and a few examples. We attempt to integrate here three studies: ll of the way nosology is used in the diagnostic process; of the diagnostic process as a branch of applied ethics; ~ of the diagnostic process as a branch of social science and social technology.
    DOI: 10.1007/978-94-009-2085-9
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
  • 12
    Online Resource
    Online Resource
    Artificial Intelligence: Its Scope and Limits (1990)
    Dordrecht : Springer
    Details
    ISBN: 9789400919006
    Language: English
    Pages: Online-Ressource (364p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Studies in Cognitive Systems 4
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Computer science ; Humanities ; Science Philosophy ; Artificial intelligence
    Abstract: 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.
    Abstract: 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
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
  • 13
    Online Resource
    Online Resource
    Knowledge Representation and Defeasible Reasoning (1990)
    Dordrecht : Springer
    Details
    ISBN: 9789400905535
    Language: English
    Pages: Online-Ressource (446p) , digital
    Edition: Springer eBook Collection. Humanities, Social Sciences and Law
    Series Statement: Studies in Cognitive Systems 5
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Parallel Title: Erscheint auch als
    Keywords: Computer science ; Logic ; Artificial intelligence ; Linguistics. ; Philosophy.
    Abstract: I / Defeasible Reasoning and the Frame Problem -- Defeasible Logic and The Frame Problem -- Monotonic Solution of The Frame Problem in The Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions -- A Framework for Reasoning with Defaults -- The Frame Problem and Relevant Predication -- II / Representation Problems and Ordinary Language -- Thing and Thought -- Bare Plurals as Plural Indefinite Noun Phrases -- Seeing To it That: A Canonical Form for Agentives -- Speaker Plans, Linguistic Contexts, and Indirect Speech Acts -- III / Inference Rules and Belief Revision -- Belief Revision, Non-Monotonic Reasoning, and the Ramsey Test -- Jeffrey’s Rule, Passage of Experience, and Neo-Bayesianism -- Two Perspectives on Consensus for (Bayesian) Inference and Decisions -- Conditionals and Conditional Probabilities: Three Triviality Theorems -- IV / Logical Problems in Representing Knowledge -- Inheritance Theory and Path-Based Reasoning: An Introduction -- Defeasible Specification of Utilities -- to A Logic of Assertions -- A New Normative Theory of Probabilistic Logic -- Index of Names -- Index of Subjects.
    Abstract: 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) ani­ mal, or machine. Its scope is intended to span the full range of interests from classical problems in the philosophy of mind and philosophical psy­ chology through issues in cognitive psychology and sociobiology (concerning the mental capabilities of other species) to ideas related to artificial intelli­ gence 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 ap­ pear from time to time. The present volume provides a collection of studies that focus on some of the central problems within the domain of artificial intelligence. These difficulties fall into four principal areas: defeasible reasoning (including the frame problem as apart), ordinary language (and the representation prob­ lems that it generates), the revision of beliefs (and its rules of inference), and knowledge representation (and the logical problems that are encountered there). These papers make original contributions to each of these areas of inquiry and should be of special interest to those who understand the crucial role that is played by questions of logical form. They vividly illustrate the benefits that can emerge from collaborative efforts involving scholars from linguistics, philosophy, computer science, and AI. J. H. F.
    DOI: 10.1007/978-94-009-0553-5
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    BSZ
    MPI Ethno. Forsch.
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...